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
/
queryplanner
queryplanner
object
queryplanner
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
queryplanner
.type
Type members
Type members
Classlikes
case
class
Api
[
K
,
V
](
f:
String
=>
(
K
,
V
))
extends
Query
[
K
,
V
]
case
class
DMap
[
K
,
A
,
B
](
self:
Query
[
K
,
A
],
f:
A
=>
B
)
extends
Query
[
K
,
B
]
object
ExecPlan
sealed
trait
Query
[
K
,
V
]
Types
type
ExecPlan
[
As
<:
HList
,
K
,
A
] =
Ops
[
As
, [
_
]
=>>
Query
[
K
,
_$5
],
A
]