Modulesemigroupoids-6.0.1Haskell2010

Data.Semigroupoid.Categorical

Provides a way to attach an identity to any semigroupoid.

datadata Categorical (s :: Type -> Type -> Type) a b where

Attaches an identity.

Instances2Category, Semigroupoid

Semigroupoid s => Category (Categorical s)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Categorical
Semigroupoid s => Semigroupoid (Categorical s)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Categorical

valuerunCategorical :: (a ~ b => r) -> (s a b -> r) -> Categorical s a b -> r