category-extras-0.50.3: Various modules and constructs inspired by category theoryContentsIndex
Control.Morphism.Para
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Contents
Refold Sugar
Description
Synopsis
type Para f = (,) (FixF f)
type ParaT w f = CoreaderT w (FixF 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
distParaT :: (Functor f, Comonad w) => Dist f w -> Dist f (ParaT w f)
Refold Sugar
type Para f = (,) (FixF f)
type ParaT w f = CoreaderT w (FixF 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
distParaT :: (Functor f, Comonad w) => Dist f w -> Dist f (ParaT w f)
Produced by Haddock version 2.1.0