Copyright	(C) 2011-2012 Edward Kmett,
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable (flexible MPTCs)
Safe Haskell	Safe-Inferred
Language	Haskell98

Data.Semigroupoid.Ob

Description

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 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)