Data.Semigroupoid.Ob

Documentation

class Semigroupoid k => Ob k a where

Methods

semiid :: k a a

Instances

Ob * (->) a

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

(Extend w, Comonad w) => Ob * (Cokleisli w) a

(Semigroupoid k l, Ob k1 r a) => Ob (Either k k) (Coproduct k k k k l r) (Right k k a)

(Ob k1 l a, Semigroupoid k r) => Ob (Either k k) (Coproduct k k k k l r) (Left k k a)

(Ob k l a, Ob k1 r b) => Ob ((,) k k) (Product k k k k l r) ((,) k k a b)