package traverse
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

module List' : sig ... end
type ('a, 'is_empty, 'f, 'array_result) traverse_aux =
  1. | Traverse_aux : {
    1. list_arity : ('a Applicative.t, 'a Stdcompat.Stdlib.List.t Applicative.t, 'f, 'list_result, 'is_empty) List.Arity.t;
    2. apply_arguments : 'list_result -> 'array_result;
    } -> ('a, 'is_empty, 'f, 'array_result) traverse_aux
val traverse_aux : 'a 'f 'array_result 'is_empty. ('a Applicative.t, 'a Stdcompat.Array.t Applicative.t, 'f, 'array_result, 'is_empty) Arity.t -> ('a, 'is_empty, 'f, 'array_result) traverse_aux
val traverse : ('a Applicative.t, 'a Stdcompat.Array.t Applicative.t, 'f, 'result, [ `Not_empty ]) Arity.t -> 'f0 -> 'result0