 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Morphism.Apo  Portability  nonportable (rank2 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 