compdata-0.6.1.3: Compositional Data Types

Portabilitynon-portable (GHC Extensions)
Stabilityexperimental
MaintainerPatrick Bahr <paba@diku.dk>
Safe HaskellSafe-Inferred

Data.Comp.Multi.HTraversable

Description

This module defines higher-order traversable functors.

Documentation

class HFoldable t => HTraversable t whereSource

Methods

hmapM :: Monad m => NatM m a b -> NatM m (t a) (t b)Source

Map each element of a structure to a monadic action, evaluate these actions from left to right, and collect the results.

Alternative type in terms of natural transformations using functor composition :.::

hmapM :: Monad m => (a :-> m :.: b) -> t a :-> m :.: (t b)

htraverse :: Applicative f => NatM f a b -> NatM f (t a) (t b)Source