Control.Category

Авторские права	(c) Ashley Yakeley 2007
Лицензия	BSD (см. файл LICENSE в дистрибутиве)
Поддержка	ashley@semantic.org
Стабильность	экспериментальная
Переносимость	переносимый
Безопасный Haskell	Надёжный
Язык	Haskell2010

Класс для категорий. Экземпляры должны удовлетворять законам

тождественное морфизм

(.) :: cat b c -> cat a b -> cat a c infixr 9 Источник

состав морфизмов

Подробности примеров

Категория (Преобразование :: k -> k -> Тип)	С версии: base-4.7.0.0
Подробности примера Определено в Control.Category Методы id :: forall (a :: k0). Преобразование a a Исходный код (.) :: forall (b :: k0) (c :: k0) (a :: k0). Преобразование b c -> Преобразование a b -> Преобразование a c Исходный код
Категория ((:~:) :: k -> k -> Тип)	С версии: base-4.7.0.0
Подробности примера Определено в Control.Category Методы id :: forall (a :: k0). a :~: a Исходный код (.) :: forall (b :: k0) (c :: k0) (a :: k0). (b :~: c) -> (a :~: b) -> a :~: c Исходный код
Категория ((:~~:) :: k -> k -> Тип)	С версии: base-4.10.0.0
Подробности примера Определено в Control.Category Методы id :: forall (a :: k0). a :~~: a Исходный код (.) :: forall (b :: k0) (c :: k0) (a :: k0). (b :~~: c) -> (a :~~: b) -> a :~~: c Исходный код
Категория Оператор
Подробности примера Определено в Data.Functor.Contravariant Методы id :: forall (a :: k). Оператор a a Исходный код (.) :: forall (b :: k) (c :: k) (a :: k). Оператор b c -> Оператор a b -> Оператор a c Исходный код

Монад m => Категория (Kleisli m :: Тип -> Тип -> Тип)	С момента: base-3.0
Подробности экземпляра Определено в Control.Arrow Методы id :: forall (a :: k). Kleisli m a a Исходный код (.) :: forall (b :: k) (c :: k) (a :: k). Kleisli m b c -> Kleisli m a b -> Kleisli m a c Исходный код
Категория ((->) :: Тип -> Тип -> Тип)	С момента: base-3.0
Подробности экземпляра Определено в Control.Category Методы id :: forall (a :: k). a -> a Исходный код (.) :: forall (b :: k) (c :: k) (a :: k). (b -> c) -> (a -> b) -> a -> c Исходный код

(<<<) :: Категория cat => cat b c -> cat a b -> cat a c infixr 1 Исходный код

Композиция справа налево

(>>>) :: Категория 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/8.10.2/docs/html/libraries/base-4.14.1.0/Control-Category.html