IdrisDoc: Control.Isomorphism.Primitives

Control.Isomorphism.Primitives

integerIsoZZ : Iso Integer ZZ
packUnpackIso : Iso (List Char) String