| |||||||||
| |||||||||
| |||||||||
Description | |||||||||
Synopsis | |||||||||
| |||||||||
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 |