package clarity

  1. Overview
  2. Docs

Parameters

module T : Basic3

Signature

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