semigroupoid-extras-3.0.1: Semigroupoids requiring Haskell extensions

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

Data.Semigroupoid.Ob

Description

 

Documentation

class Semigroupoid k => Ob k a whereSource

Methods

semiid :: k a aSource

Instances

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