Data.Isomorphism

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

Instances3Category, Groupoid, Semigroupoid

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