 | category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
| Control.Morphism.Para | | Portability | non-portable (rank-2 polymorphism) | | Stability | experimental | | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
| Description |
|
|
| Synopsis |
|
|
|
| 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 |