Documentation
depListIso :: ISO [t] (Nat, [t])Source
assocProdI :: ISO (a, (b, c)) ((a, b), c)Source
prodLUnitI :: ISO ((), a) aSource
prodRUnitI :: ISO (a, ()) aSource
depListIso :: ISO [t] (Nat, [t])Source
assocProdI :: ISO (a, (b, c)) ((a, b), c)Source
prodLUnitI :: ISO ((), a) aSource
prodRUnitI :: ISO (a, ()) aSource