Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xc7d136e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12

Modulesemigroupoids-6.0.2

Data.Semigroupoid.Categorical

1 type
1 value

Packagesemigroupoids-6.0.2
Exports2
LicenceBSD-2-Clause

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

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

Constructors

Id :: Categorical s a a
Embed :: s a b -> Categorical s a b

Instances2Category, Semigroupoid

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