#:
ListCompat
*--*
nat
*--:
nat
*->*
UnaryTCConstraint
+
HMap RecordOps
++
SizedOps HListOps TupleOps
++:
HListOps TupleOps
+:
SizedOps HListOps TupleOps
-
HMap RecordOps
->
PolyDefns
->>
FieldOf SingletonOps
:+
SizedOps HListOps TupleOps
:+:
shapeless
:--*
nat
:--:
nat
::
shapeless ListCompat HNil HListOps
:::
HListOps TupleOps
<
LT0
<:!<
shapeless
<<:
LUBConstraint
<=
LTEq0
=:!=
shapeless
>
GT
>->
PolyDefns
>=
GTEq
>>
Lens
@@
tag
^
shapeless
_0
Nat shapeless
_0Tpe
ToIntMacros
_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
|¬|
shapeless
|∨|
shapeless
~
Lens Prism ProductLensBuilder ProductPrismBuilder
~>
PolyDefns
~>>
PolyDefns
~?>
shapeless
¬
shapeless
¬¬
shapeless
shapeless
shapeless
shapeless
shapeless