std.traversable

Implementation of the Traversable type

Types

type Traversable t = {
    functor : Functor t,
    foldable : Foldable t,
    traverse : forall a b m . Applicative m -> (a -> m b) -> t a -> m (t b)
}

Values

let traverse ?t ?a : forall t .
    forall a b m .
    [Traversable t] -> [Applicative m] -> (a -> m b) -> t a -> m (t b)

let sequence : forall a m t . [Traversable t] -> [Applicative m] -> t (m a) -> m (t a)

let for x f : forall b a m t .
    [Traversable t] -> [Applicative m] -> t a -> (a -> m b) -> m (t b)