| Copyright | (c) Ashley Yakeley 2007 |
|---|---|
| License | BSD-style (see the LICENSE file in the distribution) |
| Maintainer | ashley@semantic.org |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Control.Category
Description
Documentation
A class for categories. Instances should satisfy the laws
Instances
| Category Op # | |
| Monad m => Category (Kleisli m :: Type -> Type -> TYPE LiftedRep) # | Since: base-3.0 |
| Category (Coercion :: k -> k -> Type) # | Since: base-4.7.0.0 |
| Category ((:~:) :: k -> k -> Type) # | Since: base-4.7.0.0 |
| Category (->) # | Since: base-3.0 |
Defined in Control.Category | |
| Category ((:~~:) :: k -> k -> Type) # | Since: base-4.10.0.0 |