category-extras-0.52.3: Various modules and constructs inspired by category theory
Control.Morphism.Para
Contents
Description
Synopsis
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