category-extras-0.44.4: Various modules and constructs inspired by category theory
Control.Morphism.Para
Contents
Description
Synopsis
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