Data.Isomorphism

datadata Iso (k1 :: k -> k -> Type) (a :: k) (b :: k)

Instances3Category, Groupoid, Semigroupoid

Category k => Category (Iso k)Defined in semigroupoids-6.0.2 · Data.Isomorphism
Semigroupoid k => Groupoid (Iso k)Defined in semigroupoids-6.0.2 · Data.Isomorphism
Semigroupoid k => Semigroupoid (Iso k)Defined in semigroupoids-6.0.2 · Data.Isomorphism