free package:compdata

free :: forall f h a b . Functor f => Alg f b -> (a -> b) -> Cxt h f a -> b
compdata Data.Comp.Algebra
Construct a catamorphism for contexts over f with holes of type a, from the given algebra.
free :: forall f h a b . HFunctor f => Alg f b -> (a :-> b) -> Cxt h f a :-> b
compdata Data.Comp.Multi.Algebra
Construct a catamorphism for contexts over f with holes of type b, from the given algebra.
freeM :: forall h f a m b . (Traversable f, Monad m) => AlgM m f b -> (a -> m b) -> Cxt h f a -> m b
compdata Data.Comp.Algebra
Construct a monadic catamorphism for contexts over f with holes of type a, from the given monadic algebra.
freeM :: forall f m h a b . (HTraversable f, Monad m) => AlgM m f b -> NatM m a b -> NatM m (Cxt h f a) b
compdata Data.Comp.Multi.Algebra
Construct a monadic catamorphism for contexts over f with holes of type b, from the given monadic algebra.