Safe Haskell	Safe-Infered

Data.Groupoid.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)