#:
ListCompat
*->*
UnaryTCConstraint
+
HMap
RecordOps
++
HListOps
SizedOps
++:
HListOps
+:
HListOps
SizedOps
-
HMap
RecordOps
->
shapeless
:+
HListOps
SizedOps
::
shapeless
ListCompat
HListOps
HNil
:::
HListOps
<
LT
<:!<
TypeOperators
<<:
LUBConstraint
<=
LTEq
=:!=
TypeOperators
>->
shapeless
>>
Lens
@@
TypeOperators
_0
Nat
_1
Nats
_10
Nats
_11
Nats
_12
Nats
_13
Nats
_14
Nats
_15
Nats
_16
Nats
_17
Nats
_18
Nats
_19
Nats
_2
Nats
_20
Nats
_21
Nats
_22
Nats
_3
Nats
_4
Nats
_5
Nats
_6
Nats
_7
Nats
_8
Nats
_9
Nats
|¬|
TypeOperators
|∨|
TypeOperators
~
Lens
ProductLens
~>
shapeless
~>>
shapeless
~?>
shapeless
¬
TypeOperators
¬¬
TypeOperators
∀
TypeOperators
∃
TypeOperators
∧
TypeOperators
∨
TypeOperators