category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
Control.Morphism.Para
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Synopsis
type Para f = (,) (FixF f)
type ParaT w f = CoreaderT w (FixF f)
distParaT :: (Functor f, Comonad w) => Dist f w -> Dist f (ParaT w f)
para :: Functor f => GAlgebra f (Para f) a -> FixF f -> a
g_para :: (Functor f, Comonad w) => Dist f w -> GAlgebra f (ParaT w f) a -> FixF f -> a
prepro_para :: Functor f => GAlgebra f (Para f) a -> (f :~> f) -> FixF f -> a
g_prepro_para :: (Functor f, Comonad w) => Dist f w -> GAlgebra f (ParaT w f) a -> (f :~> f) -> FixF f -> a
Documentation
type Para f = (,) (FixF f)
type ParaT w f = CoreaderT w (FixF f)
distParaT :: (Functor f, Comonad w) => Dist f w -> Dist f (ParaT w f)
para :: Functor f => GAlgebra f (Para f) a -> FixF f -> a
g_para :: (Functor f, Comonad w) => Dist f w -> GAlgebra f (ParaT w f) a -> FixF f -> a
Generalized paramorphisms using a comonad reader transformer to carry the primitive recursive state
prepro_para :: Functor f => GAlgebra f (Para f) a -> (f :~> f) -> FixF f -> a
A paramorphic prepromorphism
g_prepro_para :: (Functor f, Comonad w) => Dist f w -> GAlgebra f (ParaT w f) a -> (f :~> f) -> FixF f -> a
A generalized paramorphic prepromorphism
Produced by Haddock version 2.1.0