|Functor composition, standard functors, and more.
(Note: Some compilers will let you write f `O` g rather than O f g;
we'll be doing so here for readability.)
Functor composition is associative, so f `O` (g `O` h) and (f `O` g) `O` h
are equivalent. The functions lComp and rComp convert between the two.
(Operationally, they are equivalent to id. Their only purpose is to affect
the type system.)
The unit functor.
(Note: this is not the same as (). In fact, Unit is the
fixpoint of ().)
|Constant functors. Essentially the same as Unit, except that they also
carry a value.
A type constructor which takes two arguments and an associated map function.
Informally, Bifunctor f implies Functor (f a) with fmap = bimap id.
|bimap :: (a -> c) -> (b -> d) -> f a b -> f c d||Source|
|class Trifunctor f where||Source|
A type constructor which takes three arguments and an associated map function.
Informally, Trifunctor f implies Bifunctor (f a) with bimap = trimap id.
|trimap :: (a -> a') -> (b -> b') -> (c -> c') -> f a b c -> f a' b' c'||Source|
|Produced by Haddock version 2.3.0|