category-extras-0.44.1: 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