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

Data.Semigroupoid.Ob

Description

Documentation

class Semigroupoid k => Ob k a where #

Methods

semiid :: k a a #

Instances

(Bind m, Monad m) => Ob (Kleisli m :: Type -> Type -> Type) (a :: Type) #
Instance details Defined in Data.Semigroupoid.Ob Methods semiid :: Kleisli m a a #
Ob ((->) :: Type -> Type -> Type) (a :: Type) #
Instance details Defined in Data.Semigroupoid.Ob Methods semiid :: a -> a #
(Extend w, Comonad w) => Ob (Cokleisli w :: Type -> Type -> Type) (a :: Type) #
Instance details Defined in Data.Semigroupoid.Ob Methods semiid :: Cokleisli w a a #