| Copyright | (c) Ashley Yakeley 2007 |
|---|---|
| License | BSD-style (see the LICENSE file in the distribution) |
| Maintainer | [email protected] |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
class Category cat where Source
A class for categories. id and (.) must form a monoid.
the identity morphism
(.) :: cat b c -> cat a b -> cat a c infixr 9 Source
morphism composition
(<<<) :: Category cat => cat b c -> cat a b -> cat a c infixr 1 Source
Right-to-left composition
(>>>) :: Category cat => cat a b -> cat b c -> cat a c infixr 1 Source
Left-to-right composition
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/7.10.3/docs/html/libraries/base-4.8.2.0/Control-Category.html