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.constraintless.examples
/
CondE
CondE
case
class
CondE
[
As
<:
HList
,
A
](
expr:
Expr
[
As
,
Boolean
],
ifCond:
Expr
[
As
,
A
],
thenCond:
Expr
[
As
,
A
],
c1:
Elem
[
A
,
As
],
c2:
Elem
[
Boolean
,
As
])
extends
Expr
[
As
,
A
]
Graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
trait
Expr
[
As
,
A
]
class
Object
trait
Matchable
class
Any
Value members
Value members
Inherited methods
def
/
(
expr:
Expr
[
As
,
A
])(
implicit
ev:
Elem
[
A
,
As
],
ev2:
Elem
[
Int
,
As
]):
Expr
[
As
,
Int
]
Inherited from:
Expr
def
productElementNames
:
Iterator
[
String
]
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from:
Product