Control.Category
| Авторские права | (c) Ashley Yakeley 2007 |
|---|---|
| Лицензия | BSD-стиль (см. файл LICENSE в дистрибутиве) |
| Поддержка | ashley@semantic.org |
| Стабильность | экспериментальная |
| Переносимость | переносимый |
| Безопасный Haskell | Надёжный |
| Язык | Haskell2010 |
Описание
class Category cat where Источник
Класс для категорий. id и (.) должны образовывать моноид.
Методы
тождественное морфизм
(.) :: cat b c -> cat a b -> cat a c infixr 9 Источник
композиция морфизмов
Примеры
(<<<) :: Category cat => cat b c -> cat a b -> cat a c infixr 1 Источник
Композиция справа налево
(>>>) :: Category cat => cat a b -> cat b c -> cat a c infixr 1 Источник
Композиция слева направо
© 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
