Data.Groupoid.Isomorphism

Documentation

data Iso k a b

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)