Skip to content

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

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11

Modulesemigroupoids-6.0.2Haskell2010

Data.Semigroupoid.Ob

1 class

Packagesemigroupoids-6.0.2
Exports1
LanguageHaskell2010
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