package clarity

  1. Overview
  2. Docs

Parameters

module M : Monad.Basic2

Signature

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