semigroupoids-4.0: Semigroupoids: Category sans id

Portabilitynon-portable (flexible MPTCs)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Inferred

Data.Semigroupoid.Ob

Description

 

Documentation

class Semigroupoid k => Ob k a whereSource

Methods

semiid :: k a aSource

Instances

Ob (->) a 
(Bind m, Monad m) => Ob (Kleisli m) a 
(Extend w, Comonad w) => Ob (Cokleisli w) a 
(Semigroupoid l, Ob r a) => Ob (Coproduct l r) (R a) 
(Ob l a, Semigroupoid r) => Ob (Coproduct l r) (L a) 
(Ob l a, Ob r b) => Ob (Product l r) (a, b)