package traverse

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module Applicative : Modules.Applicative.S

Signature

module List' : sig ... end

type ('a, 'is_empty, 'f, 'array_result) traverse_aux =

| 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 ->
  'f ->
  'result