Portability	non-portable (flexible MPTCs)
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>
Safe Haskell	Safe-Infered

Data.Semigroupoid.Ob

Description

Documentation

class Semigroupoid k => Ob k a whereSource

Methods

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)