preface.make
Traversable.Core
preface
preface.core
preface.specs
preface.stdlib
module Req : Preface_specs.Traversable.WITH_TRAVERSE
type 'a t = 'a Req.t
The type held by the Traversable.
Traversable
type 'a iter = 'a Req.iter
The iterable type held by the Traversable.
val traverse : ('a -> 'b t) -> 'a iter -> 'b iter t
Map each element of a structure to an action, evaluate these actions from left to right, and collect the results. *