category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

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

Description

Synopsis

ana :: Functor f => Coalgebra f a -> a -> FixF f g_ana :: (Functor f, Monad m) => Dist m f -> GCoalgebra f m a -> a -> FixF f distAna :: Functor f => Dist Identity f 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 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

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 higher-order 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