HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulererebase-1.21.2Haskell2010

Data.Semigroupoid.Ob

  • 1 class
classclass Semigroupoid k1 => Ob (k1 :: k -> k -> Type) (a :: k) where
#

Methods

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