category-extras-0.44.1: 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