Control.Morphism.Apo

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

Description

Traditional operators, shown here to show how to roll your own

Documentation

apo :: Functor f => GCoalgebra f (Apo f) a -> a -> FixF f

g_apo :: Functor f => Coalgebra f b -> GCoalgebra f (GApo b) a -> a -> FixF f

postpro_apo :: Functor f => GCoalgebra f (Apo f) a -> (f :~> f) -> a -> FixF f

g_postpro_apo :: Functor f => Coalgebra f b -> GCoalgebra f (GApo b) a -> (f :~> f) -> a -> FixF f

type Apo f a = Either (FixF f) a

type ApoT f m a = EitherT (FixF f) m a

distApoT :: (Functor f, Monad m) => Dist m f -> Dist (ApoT f m) f

type GApo b a = Either b a

type GApoT b m a = EitherT b m a

distGApo :: Functor f => Coalgebra f b -> Dist (Either b) f

distGApoT :: (Functor f, Monad m) => GCoalgebra f m b -> Dist m f -> Dist (EitherT b m) f

Produced by Haddock version 2.1.0