Safe Haskell	None

Data.Isomorphism

Documentation

data Iso k a b Source

Constructors

Iso
Fields embed :: k a b project :: k b a

Instances

Category k => Category (Iso k)
Semigroupoid k => Semigroupoid (Iso k)
(Semigroupoid (Iso k), Semigroupoid k) => Groupoid (Iso k)