Data.Iso.Common

Constructor-destructor isomorphisms for some common datatypes.

()

unit :: Iso t (() :- t)

(,)

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

(,,)

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

Maybe a

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

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

maybe :: Iso t (a :- t) -> Iso t (Maybe a :- t)

[a]

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

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

Either a b

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

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

either :: Iso t1 (a :- t2) -> Iso t1 (b :- t2) -> Iso t1 (Either a b :- t2)

Bool

false :: Iso t (Bool :- t)

true :: Iso t (Bool :- t)

bool :: Iso t (Bool :- t)