std.traversable

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 a a0 a1 a2 .
    [std.traversable.Traversable a]
        -> [std.applicative.Applicative a0]
        -> (a1 -> a0 a2)
        -> a a1
        -> a0 (a a2)

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

let for x f : forall a a0 a1 a2 .
    [std.traversable.Traversable a]
        -> [std.applicative.Applicative a0]
        -> a a1
        -> (a1 -> a0 a2)
        -> a0 (a a2)