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

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <[email protected]>

Control.Morphism.Para

Contents

Description

 

Synopsis

Refold Sugar

type Para f = (,) (FixF f)Source

type ParaT w f = CoreaderT w (FixF f)Source

para :: Functor f => GAlgebra f (Para f) a -> FixF f -> aSource

g_para :: (Functor f, Comonad w) => Dist f w -> GAlgebra f (ParaT w f) a -> FixF f -> aSource

distParaT :: (Functor f, Comonad w) => Dist f w -> Dist f (ParaT w f)Source