Safe Haskell	Trustworthy
Language	Haskell98

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 k => Groupoid (Iso k)