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

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