papa-base-export-0.3.1: Prelude with only useful functions
Papa.Base.Export.Control.Category
Synopsis
class Category k cat where #
A class for categories. id and (.) must form a monoid.
Minimal complete definition
id, (.)
Methods
id :: cat a a #
the identity morphism
(.) :: cat b c -> cat a b -> cat a c infixr 9 #
morphism composition
Instances
(.) :: cat b c -> cat a b -> cat a c #