IdrisDoc: Control.Isomorphism.Primitives

Control.Isomorphism.Primitives

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