| 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 k => Ob k a where Source #
Instances
| ( Bind m, Monad m) => Ob ( Kleisli m :: Type -> Type -> Type ) (a :: Type ) Source # | |
|
Defined in Data.Semigroupoid.Ob |
|
| Ob ((->) :: Type -> Type -> Type ) (a :: Type ) Source # | |
|
Defined in Data.Semigroupoid.Ob |
|
| ( Extend w, Comonad w) => Ob ( Cokleisli w :: Type -> Type -> Type ) (a :: Type ) Source # | |
|
Defined in Data.Semigroupoid.Ob |
|