category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Morphism.Para Portability non-portable (rank-2 polymorphism) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Contents Refold Sugar

Description

Synopsis

para :: Functor f => AlgW f (Para f) a -> Fix f -> a g_para :: (Functor f, Comonad w) => Dist f w -> AlgW f (ParaT w f) a -> Fix f -> a type Para f a = (Fix f, a) type ParaT w f a = ReaderCT w (Fix f) a distParaT :: (Functor f, Comonad w) => Dist f w -> Dist f (ParaT w f)

Refold Sugar

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

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

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

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

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

Produced by Haddock version 2.1.0