Data.Semigroupoid.Ob

Documentation

class Semigroupoid k => Ob k a where

Methods

semiid :: k a a

Instances

(Bind m, Monad m, Ob (->) a) => Ob (Kleisli m) a

(Comonad w, Ob (->) a) => 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)