std.traversable

[src]

Implementation of the Traversable type

Types

#[implicit]
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)

[src] 

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

[src] 

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

[src]