| 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 | |