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	Safe
Language	Haskell2010

Data.Semigroupoid.Ob

Description

Documentation

class Semigroupoid k1 => Ob (k1 :: k -> k -> Type) (a :: k) where Source #

Methods

Instances details

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