std.traversable

Modules

Implementation of the Traversable type

Types

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

Values

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

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

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