package clarity

  1. Overview
  2. Docs

Parameters

module M : Monad.Basic

Signature

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