category-extras-0.44.4: Various modules and constructs inspired by category theory
Control.Functor.Fix
Description
newtype Fix f Source
Constructors
Fields
outM :: (Functor f, Monad m) => CoAlgM f m (Fix f)Source
inW :: (Functor f, Comonad w) => AlgW f w (Fix f)Source