package traverse

  1. Overview
  2. Docs

Parameters

Signature

val traverse_ok : 'a 'b 'f 'g 'result 'is_empty. ('a Applicative.t, 'b Applicative.t, ('a, 'b) Stdcompat.Result.t Applicative.t, 'f, 'g, 'result, 'is_empty) Arity.t -> 'f -> 'result
val traverse_error : 'a 'b 'f 'g 'result 'is_empty. ('a Applicative.t, 'b Applicative.t, ('a, 'b) Stdcompat.Result.t Applicative.t, 'f, 'g, 'result, 'is_empty) Arity.t -> 'g -> 'result
val traverse : 'a 'b 'f 'g 'result. ('a Applicative.t, 'b Applicative.t, ('a, 'b) Stdcompat.Result.t Applicative.t, 'f, 'g, 'result, [ `Not_empty ]) Arity.t -> 'f -> 'g -> 'result