Module type `Interface.TRAVERSABLE`

include FUNCTOR

type 'a t

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

include FOLDABLE with type 'a t := 'a t

type 'a t

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

module Fold_Map : functor (M : MONOID) -> sig ... end

module Fold_Map_Any : functor (M : MONOID_ANY) -> sig ... end

module Fold_Map_Plus : functor (P : PLUS) -> sig ... end

type 'a applicative_t

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