Data.Piso.Common

Constructor-destructor isomorphisms for some common datatypes.

()

unit :: Piso t (() :- t)

(,)

tup :: Piso (a :- (b :- t)) ((a, b) :- t)

(,,)

tup3 :: Piso (a :- (b :- (c :- t))) ((a, b, c) :- t)

Maybe a

nothing :: Piso t (Maybe a :- t)

just :: Piso (a :- t) (Maybe a :- t)

[a]

nil :: Piso t ([a] :- t)

cons :: Piso (a :- ([a] :- t)) ([a] :- t)

Either a b

left :: Piso (a :- t) (Either a b :- t)

right :: Piso (b :- t) (Either a b :- t)

Bool

false :: Piso t (Bool :- t)

true :: Piso t (Bool :- t)