package clarity

  1. Overview
  2. Docs

Parameters

Signature

include Traversable.Basic with type 'a t := 'a t with type 'a f := 'a A.t
val traverse : ('a -> 'b A.t) -> 'a t -> 'b t A.t
val traverse_ : ('a -> 'b A.t) -> 'a t -> unit A.t
val sequence : 'a A.t t -> 'a t A.t
val sequence_ : 'a A.t t -> unit A.t