package clarity

  1. Overview
  2. Docs

Parameters

Signature

include Traversable.Basic3 with type 'a t := 'a t with type ('u, 'v, 'a) f := ('u, 'v, 'a) A.t
val traverse : ('a -> ('u, 'v, 'b) A.t) -> 'a t -> ('u, 'v, 'b t) A.t
val traverse_ : ('a -> ('u, 'v, 'b) A.t) -> 'a t -> ('u, 'v, unit) A.t
val sequence : ('a, 'b, 'c) A.t t -> ('a, 'b, 'c t) A.t
val sequence_ : ('a, 'b, 'c) A.t t -> ('a, 'b, unit) A.t