category-extras-0.44.1: Various modules and constructs inspired by category theory.

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Monad.Parameterized

Description

 

Documentation

paugment :: PMonad f => (forall c. (f a c -> c) -> c) -> (a -> FixB f b) -> FixB f bSource