package clarity

  1. Overview
  2. Docs

Parameters

module M : Monad.Basic3

Signature

include sig ... end
val traverse : ('a -> ('u, 'v, 'b) M.t) -> 'a t -> ('u, 'v, 'b t) M.t
val traverse_ : ('a -> ('u, 'v, 'b) M.t) -> 'a t -> ('u, 'v, unit) M.t
val sequence : ('a, 'b, 'c) M.t t -> ('a, 'b, 'c t) M.t
val sequence_ : ('a, 'b, 'c) M.t t -> ('a, 'b, unit) M.t
val foldr_m : ('a -> 'b -> ('c, 'd, 'b) M.t) -> 'b -> 'a t -> ('c, 'd, 'b) M.t
val foldl_m : ('a -> 'b -> ('c, 'd, 'a) M.t) -> 'a -> 'b t -> ('c, 'd, 'a) M.t