Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x45dd5372026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

Modulesemigroupoids-6.0.2Haskell2010

Data.Semigroupoid.Ob

1 class

Packagesemigroupoids-6.0.2
Exports1
LanguageHaskell2010
LicenceBSD-2-Clause

classclass Semigroupoid k1 => Ob (k1 :: k -> k -> Type) (a :: k) where

Methods

semiid :: k1 a a

Instances3Ob

(Bind m, Monad m) => Ob (Kleisli m) aDefined in semigroupoids-6.0.2 · Data.Semigroupoid.Ob
Ob (->) aDefined in semigroupoids-6.0.2 · Data.Semigroupoid.Ob
(Extend w, Comonad w) => Ob (Cokleisli w) aDefined in semigroupoids-6.0.2 · Data.Semigroupoid.Ob