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
/
Ops
Ops
sealed
trait
Ops
[
As
<:
HList
,
F
[
_
],
O
]
Ops is an exec planner whose leaf node is a higher kinded type
Companion:
object
Graph
Supertypes
Known subtypes
Self type
class
Object
trait
Matchable
class
Any
class
Pure
[
As
,
F
,
A
]
class
Ratio
[
As
,
F
,
B
]
class
Zip
[
As
,
F
,
A
,
B
]
Ops
[
As
,
F
,
O
]
Value members
Value members
Concrete methods
def
/
(
that:
Ops
[
As
,
F
,
O
])(
implicit
elem:
Elem
[
O
,
As
]):
Ops
[
As
,
F
,
O
]
def
<*>
[
B
](
that:
Ops
[
As
,
F
,
B
])(
implicit
elem1:
Elem
[
O
,
As
],
elem2:
Elem
[
B
,
As
]):
Ops
[
As
,
F
, (
O
,
B
)]