package clarity

  1. Overview
  2. Docs

Parameters

module M : Monad.Basic2

Signature

include Traversable.S2 with type 'a t := 'a t and type ('u, 'a) f := ('u, 'a) M.t
include Traversable.Basic2 with type 'a t := 'a t with type ('u, 'a) f := ('u, 'a) M.t
val traverse : ('a -> ('u, 'b) M.t) -> 'a t -> ('u, 'b t) M.t
val traverse_ : ('a -> ('u, 'b) M.t) -> 'a t -> ('u, unit) M.t
val sequence : ('u, 'a) M.t t -> ('u, 'a t) M.t
val sequence_ : ('u, 'a) M.t t -> ('u, unit) M.t
include Foldable.M2 with type 'a t := 'a t and type ('u, 'a) m := ('u, 'a) M.t
val foldr_m : ('a -> 'b -> ('u, 'b) M.t) -> 'b -> 'a t -> ('u, 'b) M.t
val foldl_m : ('b -> 'a -> ('u, 'b) M.t) -> 'b -> 'a t -> ('u, 'b) M.t