semigroupoids-5.0.0.1: 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 HaskellSafe-Inferred
LanguageHaskell98

Data.Semigroupoid.Ob

Description

 

Documentation

class Semigroupoid k => Ob k a where Source

Methods

semiid :: k a a Source

Instances

Ob * (->) a 
(Bind m, Monad m) => Ob * (Kleisli m) a 
(Extend w, Comonad w) => Ob * (Cokleisli w) a