Documentation

data ISO t s Source

type Nat = IntSource

singleIso :: a -> ISO a ()Source

splitIso :: (a -> Bool) -> ISO a (Either a a)Source

boolIso :: ISO Bool (Either () ())Source

succIso :: ISO Nat (Either () Nat)Source

parityIso :: ISO Nat (Either Nat Nat)Source

listIso :: ISO [t] (Either () (t, [t]))Source

depListIso :: ISO [t] (Nat, [t])Source

idI :: ISO a aSource

seqI :: ISO a b -> ISO b c -> ISO a cSource

sumI :: ISO a b -> ISO c d -> ISO (Either a c) (Either b d)Source

prodI :: ISO a b -> ISO c d -> ISO (a, c) (b, d)Source

invI :: ISO a b -> ISO b aSource

swapProdI :: ISO (a, b) (b, a)Source

swapSumI :: ISO (Either a b) (Either b a)Source

assocProdI :: ISO (a, (b, c)) ((a, b), c)Source

assocSumI :: ISO (Either a (Either b c)) (Either (Either a b) c)Source

prodLUnitI :: ISO ((), a) aSource

prodRUnitI :: ISO (a, ()) aSource

prodRSumI :: ISO (a, Either b c) (Either (a, b) (a, c))Source

prodLSumI :: ISO (Either b c, a) (Either (b, a) (c, a))Source