Module

Matryoshka.Util

#mapR

mapR :: forall t f u g. Recursive t f => Corecursive u g => (f t -> g u) -> t -> u

#traverseR

traverseR :: forall t f u g m. Recursive t f => Corecursive u g => Functor m => (f t -> m (g u)) -> t -> m u

Modules