category-extras-0.51.3: Various modules and constructs inspired by category theory
Source code
Contents
Index
Control.Category
Documentation
(>>>)
::
Category
~> => (a ~> b) -> (b ~> c) -> a ~> c
Source
(<<<)
::
Category
~> => (b ~> c) -> (a ~> b) -> a ~> c
Source
class
Category
(~>)
where
Source
Methods
(.)
:: (b ~> c) -> (a ~> b) -> a ~> c
Source
id
:: a ~> a
Source
Instances
Category
(->)
Category
k =>
Category
(
Dual
k)
Produced by
Haddock
version 2.3.0