category-extras-0.44.4: Various modules and constructs inspired by category theory

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Morphism.Para

Contents

Description

 

Synopsis

Refold Sugar

para :: Functor f => AlgW f (Para f) a -> Fix f -> aSource

g_para :: (Functor f, Comonad w) => Dist f w -> AlgW f (ParaT w f) a -> Fix f -> aSource

type Para f a = (Fix f, a)Source

type ParaT w f a = ReaderCT w (Fix f) aSource

distParaT :: (Functor f, Comonad w) => Dist f w -> Dist f (ParaT w f)Source