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.Ob

1 class

Packagesemigroupoids-6.0.2
Exports1
LicenceBSD-2-Clause

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

Methods

semiid :: k 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