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
class Category cat where Source #
A class for categories. Instances should satisfy the laws
Methods
the identity morphism
(.) :: cat b c -> cat a b -> cat a c infixr 9 Source #
morphism composition