semigroupoids-5.3.3: Semigroupoids: Category sans id

Copyright(C) 2011-2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable (flexible MPTCs)
Safe HaskellNone
LanguageHaskell98

Data.Semigroupoid.Ob

Description

 

Documentation

class Semigroupoid k => Ob k a where Source #

Methods

semiid :: k a a Source #

Instances
(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 #

Ob ((->) :: Type -> Type -> Type) (a :: Type) Source # 
Instance details

Defined in Data.Semigroupoid.Ob

Methods

semiid :: 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 #