Data.Semigroupoid.Dual

newtypenewtype Dual (k2 :: k -> k1 -> Type) (a :: k1) (b :: k)

Instances3Category, Groupoid, Semigroupoid

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