Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x04404a62026-10-19Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 04404a6 · 2026-10-19

Modulesemigroupoids-6.0.2

Data.Semigroupoid.Ob

Synopsis

class Ob

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