Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulesemigroupoids-6.0.1Haskell2010

Data.Semigroupoid.Ob

1 class

Packagesemigroupoids-6.0.1
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.1 · Data.Semigroupoid.Ob
Ob (->) aDefined in semigroupoids-6.0.1 · Data.Semigroupoid.Ob
(Extend w, Comonad w) => Ob (Cokleisli w) aDefined in semigroupoids-6.0.1 · Data.Semigroupoid.Ob