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

Control.Morphism.Ana  Portability  nonportable (rank2 polymorphism)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



Description 


Synopsis 



Documentation 

ana :: Functor f => Coalgebra f a > a > FixF f 
Anamorphisms are a generalized form of unfoldr


g_ana :: (Functor f, Monad m) => Dist m f > GCoalgebra f m a > a > FixF f 
Generalized anamorphisms allow you to work with a monad given a distributive law


distAna :: Functor f => Dist Identity f 
The distributive law for the identity monad


biana :: QFunctor f Hask Hask => Coalgebra (f b) a > a > Fix f b 

g_biana :: (QFunctor f Hask Hask, Monad m) => Dist m (f b) > GCoalgebra (f b) m a > a > Fix f b 

hana :: HFunctor f => HCoalgebra f a > a :~> FixH f 
A higherorder anamorphism for constructing higher order functors.


kana :: HFunctor f => CointerpreterT f g h > Lan g h :~> FixH f 

runkana :: HFunctor f => CointerpreterT f g h > (g b > a) > h b > FixH f a 

Produced by Haddock version 2.1.0 