IdrisDoc
: Control.Isomorphism.Primitives
Index
Control.Isomorphism.Primitives
integerIsoZZ
:
Iso
Integer
ZZ
packUnpackIso
:
Iso
(
List
Char
)
String