| Portability | non-portable (flexible MPTCs) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | None |
Data.Semigroupoid.Ob
Description
Documentation
class Semigroupoid k => Ob k a whereSource
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) |