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/8.2.1/docs/html/libraries/base-4.10.0.0/Control-Category.html