constraintless
constraintless
thaj.constraintless
All
All
Trap
Elem
Elem
Evidence
HCons
HList
HList
HNil
Head
MathOp
MathOp
Proxy
Tail
~>
thaj.constraintless.examples
CondE
Eq
EqE
Expr
Expr
ExprExample
IntBool
IntBool
ProdE
Ratio
Show
Show
ValueE
compiler
thaj.constraints.examples
Ops
Ops
Pure
Ratio
Zip
QueryPlannerSpec
queryplanner
Api
DMap
ExecPlan
Query
queryplannercompiler
ExecSummary
constraintless
/
thaj.constraints.examples
/
QueryPlannerSpec
QueryPlannerSpec
object
QueryPlannerSpec
extends
App
Graph
Supertypes
Self type
trait
App
trait
DelayedInit
class
Object
trait
Matchable
class
Any
QueryPlannerSpec
.type
Type members
Value members
Type members
Types
type
PlannerTypes
=
HCons
[
Int
,
HCons
[(
Int
,
Int
),
HNil
]]
Value members
Concrete methods
def
myPlan
:
ExecPlan
[
PlannerTypes
,
String
,
Int
]
def
queryCompiler
: [
_
]
=>>
Query
[
String
,
_$16
]
~>
[
_
]
=>>
Map
[
String
,
_$17
]
def
zippedPlan_
:
ExecPlan
[
PlannerTypes
,
String
, (
Int
,
Int
)]
Inherited methods
final protected
def
args
:
Array
[
String
]
Inherited from:
App
final
def
main
(
args:
Array
[
String
]):
Unit
Inherited from:
App
Deprecated and Inherited methods
@deprecated
(message = "the delayedInit mechanism will disappear", since = "2.11.0")
override
def
delayedInit
(
body:
=>
Unit
):
Unit
Deprecated
[Since version 2.11.0]
the delayedInit mechanism will disappear
Definition Classes
App
->
DelayedInit
Inherited from:
App
Concrete fields
val
result
:
Map
[
String
, (
Int
,
Int
)]
val
v1
:
ExecPlan
[
PlannerTypes
,
String
,
Int
]
val
v2
:
ExecPlan
[
PlannerTypes
,
String
,
Int
]
val
zippedPlan
:
ExecPlan
[
PlannerTypes
,
String
, (
Int
,
Int
)]