Module `Default.Traverse`

module List_Traversable : sig ... end

type !'a t = 'a list

val map : ('a -> 'b) -> 'a t -> 'b t
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
val fold_right : ('b -> 'a -> 'a) -> 'a -> 'b t -> 'a

module Fold_Map = List_Traversable.Fold_Map

module Fold_Map_Any = List_Traversable.Fold_Map_Any

module Fold_Map_Plus = List_Traversable.Fold_Map_Plus

type 'a applicative_t = 'a Option.Applicative.t

val traverse : ('a -> 'b applicative_t) -> 'a t -> 'b t applicative_t
val sequence : 'a applicative_t t -> 'a t applicative_t