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 |
Documentation
class Category cat where Source #
A class for categories. Instances should satisfy the laws
f.
id
= f -- (right identity)id
.
f = f -- (left identity) f.
(g.
h) = (f.
g).
h -- (associativity)
Instances
Category (Coercion :: k -> k -> Type) Source # | Since: 4.7.0.0 |
Category ((:~:) :: k -> k -> Type) Source # | Since: 4.7.0.0 |
Category ((:~~:) :: k -> k -> Type) Source # | Since: 4.10.0.0 |
Category Op Source # | |
Monad m => Category (Kleisli m :: Type -> Type -> Type) Source # | Since: 3.0 |
Category ((->) :: Type -> Type -> Type) Source # | Since: 3.0 |