Via (preface.Preface_make.Traversable.Via)

Parameters

module C : Preface_specs.Traversable.CORE

module O : 
  Preface_specs.Traversable.OPERATION
    with type 'a t = 'a C.t
     and type 'a iter = 'a C.iter

type 'a t = 'a C.t

The type held by the Traversable.

type 'a iter = 'a C.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. *

val sequence : 'a t iter -> 'a iter t

Evaluate each action in the structure from left to right, and collect the results