category-extras-0.44.4: Various modules and constructs inspired by category theory

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Functor.Fix

Description

 

Documentation

newtype Fix f Source

Constructors

InF 

Fields

outF :: f (Fix f)
 

outM :: (Functor f, Monad m) => CoAlgM f m (Fix f)Source

inW :: (Functor f, Comonad w) => AlgW f w (Fix f)Source