every-bit-counts-0.1: A functional pearl on encoding and decoding using question-and-answer strategies

Iso

Documentation

data ISO t s Source

Constructors

Iso
Fields to :: t -> s from :: s -> t

type Nat = Int Source

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