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
/
Elem
Elem
object
Elem
Companion:
class
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
Elem
.type
Value members
Implicits
Value members
Concrete methods
def
apply
[
A
,
As
<:
HList
](
implicit
ev:
Elem
[
A
,
As
]):
Elem
[
A
,
As
]
Implicits
Implicits
implicit
def
elemA
[
A
,
As
<:
HList
]:
Elem
[
A
,
HCons
[
A
,
As
]]
implicit
def
elemeB
[
A
,
B
,
As
<:
HList
](
implicit
ev:
Elem
[
A
,
As
]):
Elem
[
A
,
HCons
[
B
,
As
]]