package traverse

  1. Overview
  2. Docs
package traverse
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of Modules.Applicative

Applicative.S is a signature for an applicative functor (a type 'a `t` with `map`, `pure` and `apply`). This module contains many instances of applicative functors.

Applicative.S is a signature for an applicative functor (a type 'a `t` with `map`, `pure` and `apply`). This module contains many instances of applicative functors.

module type S = Modules.Applicative.S
include module type of Values.Applicative
include sig ... end
include sig ... end
include sig ... end
type ('a, 'b) eq =
  1. | Eq : ('a, 'a) eq
    (*

    Equality witness between types.

    *)
module type MonomorphicS = Values.Applicative.MonomorphicS
type 'a desc =
  1. | A : (module MonomorphicS with type t0 = 't0 and type t0_t = 't0_t and type t1 = 't1 and type t10 = 't10 and type t10_t = 't10_t and type t11 = 't11 and type t11_t = 't11_t and type t12 = 't12 and type t12_t = 't12_t and type t13 = 't13 and type t13_t = 't13_t and type t14 = 't14 and type t14_t = 't14_t and type t15 = 't15 and type t15_t = 't15_t and type t16 = 't16 and type t16_t = 't16_t and type t17 = 't17 and type t17_t = 't17_t and type t18 = 't18 and type t18_t = 't18_t and type t19 = 't19 and type t19_t = 't19_t and type t1_t = 't1_t and type t2 = 't2 and type t20 = 't20 and type t20_t = 't20_t and type t21 = 't21 and type t21_t = 't21_t and type t22 = 't22 and type t22_t = 't22_t and type t23 = 't23 and type t23_t = 't23_t and type t24 = 't24 and type t24_t = 't24_t and type t25 = 't25 and type t25_t = 't25_t and type t26 = 't26 and type t26_t = 't26_t and type t27 = 't27 and type t27_t = 't27_t and type t28 = 't28 and type t28_t = 't28_t and type t29 = 't29 and type t29_t = 't29_t and type t2_t = 't2_t and type t3 = 't3 and type t30 = 't30 and type t30_t = 't30_t and type t31 = 't31 and type t31_t = 't31_t and type t3_t = 't3_t and type t4 = 't4 and type t4_t = 't4_t and type t5 = 't5 and type t5_t = 't5_t and type t6 = 't6 and type t6_t = 't6_t and type t7 = 't7 and type t7_t = 't7_t and type t8 = 't8 and type t8_t = 't8_t and type t9 = 't9 and type t9_t = 't9_t) -> ('t0 * 't0_t * ('t1 * 't1_t * ('t2 * 't2_t * ('t3 * 't3_t * ('t4 * 't4_t * ('t5 * 't5_t * ('t6 * 't6_t * ('t7 * 't7_t * ('t8 * 't8_t * ('t9 * 't9_t * ('t10 * 't10_t * ('t11 * 't11_t * ('t12 * 't12_t * ( 't13 * 't13_t * ( 't14 * 't14_t * ( 't15 * 't15_t * ( 't16 * 't16_t * ( 't17 * 't17_t * ( 't18 * 't18_t * ( 't19 * 't19_t * ( 't20 * 't20_t * ( 't21 * 't21_t * ( 't22 * 't22_t * ( 't23 * 't23_t * ( 't24 * 't24_t * ( 't25 * 't25_t * ( 't26 * 't26_t * ( 't27 * 't27_t * ( 't28 * 't28_t * ( 't29 * 't29_t * ( 't30 * 't30_t * ( 't31 * 't31_t * unit)))))))))))))))))))))))))))))))) desc
type 'a t = unit -> 'a desc

'a t Applicative.t is a first-class representation for applicative functors.

module type InstanceS = Values.Applicative.InstanceS
val reduce : 'm Modules.Monoid.t -> unit -> ('a * 'm0 * ('b * 'm0 * ('c * 'm0 * ('d * 'm0 * ('e * 'm0 * ('f * 'm0 * ('g * 'm0 * ('h * 'm0 * ('i * 'm0 * ('j * 'm0 * ('k * 'm0 * ('l * 'm0 * ('n * 'm0 * ('o * 'm0 * ('p * 'm0 * ('q * 'm0 * ('r * 'm0 * ('s * 'm0 * ('t * 'm0 * ('u * 'm0 * ('v * 'm0 * ('w * 'm0 * ( 'x * 'm0 * ( 'y * 'm0 * ( 'z * 'm0 * ( 'a1 * 'm0 * ( 'b1 * 'm0 * ( 'c1 * 'm0 * ( 'd1 * 'm0 * ( 'e1 * 'm0 * ( 'f1 * 'm0 * ( 'g1 * 'm0 * unit)))))))))))))))))))))))))))))))) Traverse__Interface.desc
include sig ... end
val env : ('t0 * 't0_tBase * ('t1 * 't1_tBase * ('t2 * 't2_tBase * ('t3 * 't3_tBase * ('t4 * 't4_tBase * ('t5 * 't5_tBase * ('t6 * 't6_tBase * ('t7 * 't7_tBase * ('t8 * 't8_tBase * ('t9 * 't9_tBase * ('t10 * 't10_tBase * ('t11 * 't11_tBase * ('t12 * 't12_tBase * ('t13 * 't13_tBase * ('t14 * 't14_tBase * ('t15 * 't15_tBase * ('t16 * 't16_tBase * ('t17 * 't17_tBase * ('t18 * 't18_tBase * ('t19 * 't19_tBase * ('t20 * 't20_tBase * ('t21 * 't21_tBase * ( 't22 * 't22_tBase * ( 't23 * 't23_tBase * ( 't24 * 't24_tBase * ( 't25 * 't25_tBase * ( 't26 * 't26_tBase * ( 't27 * 't27_tBase * ( 't28 * 't28_tBase * ( 't29 * 't29_tBase * ( 't30 * 't30_tBase * ( 't31 * 't31_tBase * unit)))))))))))))))))))))))))))))))) t -> ('t00 * ('env -> 't0_tBase0) * ('t110 * ('env0 -> 't1_tBase0) * ('t210 * ('env1 -> 't2_tBase0) * ('t32 * ('env2 -> 't3_tBase0) * ('t40 * ('env3 -> 't4_tBase0) * ('t50 * ('env4 -> 't5_tBase0) * ('t60 * ('env5 -> 't6_tBase0) * ('t70 * ('env6 -> 't7_tBase0) * ('t80 * ('env7 -> 't8_tBase0) * ('t90 * ('env8 -> 't9_tBase0) * ('t100 * ('env9 -> 't10_tBase0) * ('t111 * ('env10 -> 't11_tBase0) * ('t120 * ('env11 -> 't12_tBase0) * ('t130 * ('env12 -> 't13_tBase0) * ('t140 * ('env13 -> 't14_tBase0) * ('t150 * ('env14 -> 't15_tBase0) * ('t160 * ('env15 -> 't16_tBase0) * ('t170 * ('env16 -> 't17_tBase0) * ('t180 * ('env17 -> 't18_tBase0) * ('t190 * ('env18 -> 't19_tBase0) * ('t200 * ('env19 -> 't20_tBase0) * ('t211 * ( 'env20 -> 't21_tBase0) * ( 't220 * ( 'env21 -> 't22_tBase0) * ( 't230 * ( 'env22 -> 't23_tBase0) * ( 't240 * ( 'env23 -> 't24_tBase0) * ( 't250 * ( 'env24 -> 't25_tBase0) * ( 't260 * ( 'env25 -> 't26_tBase0) * ( 't270 * ( 'env26 -> 't27_tBase0) * ( 't280 * ( 'env27 -> 't28_tBase0) * ( 't290 * ( 'env28 -> 't29_tBase0) * ( 't300 * ( 'env29 -> 't30_tBase0) * ( 't310 * ( 'env30 -> 't31_tBase0) * unit)))))))))))))))))))))))))))))))) t
val fold : unit -> ('a * ('acc -> 'acc) * ('b * ('acc -> 'acc) * ('c * ('acc -> 'acc) * ('d * ('acc -> 'acc) * ('e * ('acc -> 'acc) * ('f * ('acc -> 'acc) * ('g * ('acc -> 'acc) * ('h * ('acc -> 'acc) * ('i * ('acc -> 'acc) * ('j * ('acc -> 'acc) * ('k * ('acc -> 'acc) * ('l * ('acc -> 'acc) * ('m * ('acc -> 'acc) * ('n * ('acc -> 'acc) * ('o * ('acc -> 'acc) * ('p * ('acc -> 'acc) * ('q * ('acc -> 'acc) * ('r * ('acc -> 'acc) * ('s * ('acc -> 'acc) * ('t * ('acc -> 'acc) * ('u * ('acc -> 'acc) * ('v * ( 'acc -> 'acc) * ( 'w * ( 'acc -> 'acc) * ( 'x * ( 'acc -> 'acc) * ( 'y * ( 'acc -> 'acc) * ( 'z * ( 'acc -> 'acc) * ( 'a1 * ( 'acc -> 'acc) * ( 'b1 * ( 'acc -> 'acc) * ( 'c1 * ( 'acc -> 'acc) * ( 'd1 * ( 'acc -> 'acc) * ( 'e1 * ( 'acc -> 'acc) * ( 'f1 * ( 'acc -> 'acc) * unit)))))))))))))))))))))))))))))))) Traverse__Interface.desc
val pair : ('t0 * 't0_tU * ('t1 * 't1_tU * ('t2 * 't2_tU * ('t3 * 't3_tU * ('t4 * 't4_tU * ('t5 * 't5_tU * ('t6 * 't6_tU * ('t7 * 't7_tU * ('t8 * 't8_tU * ('t9 * 't9_tU * ('t10 * 't10_tU * ('t11 * 't11_tU * ('t12 * 't12_tU * ('t13 * 't13_tU * ('t14 * 't14_tU * ('t15 * 't15_tU * ('t16 * 't16_tU * ('t17 * 't17_tU * ('t18 * 't18_tU * ('t19 * 't19_tU * ('t20 * 't20_tU * ('t21 * 't21_tU * ( 't22 * 't22_tU * ( 't23 * 't23_tU * ( 't24 * 't24_tU * ( 't25 * 't25_tU * ( 't26 * 't26_tU * ( 't27 * 't27_tU * ( 't28 * 't28_tU * ( 't29 * 't29_tU * ( 't30 * 't30_tU * ( 't31 * 't31_tU * unit)))))))))))))))))))))))))))))))) t -> ('t00 * 't0_tV * ('t110 * 't1_tV * ('t210 * 't2_tV * ('t32 * 't3_tV * ('t40 * 't4_tV * ('t50 * 't5_tV * ('t60 * 't6_tV * ('t70 * 't7_tV * ('t80 * 't8_tV * ('t90 * 't9_tV * ('t100 * 't10_tV * ('t111 * 't11_tV * ('t120 * 't12_tV * ('t130 * 't13_tV * ('t140 * 't14_tV * ('t150 * 't15_tV * ('t160 * 't16_tV * ('t170 * 't17_tV * ('t180 * 't18_tV * ('t190 * 't19_tV * ('t200 * 't20_tV * ('t211 * 't21_tV * ( 't220 * 't22_tV * ( 't230 * 't23_tV * ( 't240 * 't24_tV * ( 't250 * 't25_tV * ( 't260 * 't26_tV * ( 't270 * 't27_tV * ( 't280 * 't28_tV * ( 't290 * 't29_tV * ( 't300 * 't30_tV * ( 't310 * 't31_tV * unit)))))))))))))))))))))))))))))))) t -> ('t01 * ('t0_tU0 * 't0_tV0) * ('t112 * ('t1_tU0 * 't1_tV0) * ('t212 * ('t2_tU0 * 't2_tV0) * ('t33 * ('t3_tU0 * 't3_tV0) * ('t41 * ('t4_tU0 * 't4_tV0) * ('t51 * ('t5_tU0 * 't5_tV0) * ('t61 * ('t6_tU0 * 't6_tV0) * ('t71 * ('t7_tU0 * 't7_tV0) * ('t81 * ('t8_tU0 * 't8_tV0) * ('t91 * ('t9_tU0 * 't9_tV0) * ('t101 * ('t10_tU0 * 't10_tV0) * ('t113 * ('t11_tU0 * 't11_tV0) * ('t121 * ('t12_tU0 * 't12_tV0) * ('t131 * ('t13_tU0 * 't13_tV0) * ('t141 * ('t14_tU0 * 't14_tV0) * ('t151 * ('t15_tU0 * 't15_tV0) * ('t161 * ('t16_tU0 * 't16_tV0) * ('t171 * ('t17_tU0 * 't17_tV0) * ('t181 * ('t18_tU0 * 't18_tV0) * ('t191 * ('t19_tU0 * 't19_tV0) * ('t201 * ('t20_tU0 * 't20_tV0) * ('t213 * ( 't21_tU0 * 't21_tV0) * ( 't221 * ( 't22_tU0 * 't22_tV0) * ( 't231 * ( 't23_tU0 * 't23_tV0) * ( 't241 * ( 't24_tU0 * 't24_tV0) * ( 't251 * ( 't25_tU0 * 't25_tV0) * ( 't261 * ( 't26_tU0 * 't26_tV0) * ( 't271 * ( 't27_tU0 * 't27_tV0) * ( 't281 * ( 't28_tU0 * 't28_tV0) * ( 't291 * ( 't29_tU0 * 't29_tV0) * ( 't301 * ( 't30_tU0 * 't30_tV0) * ( 't311 * ( 't31_tU0 * 't31_tV0) * unit)))))))))))))))))))))))))))))))) t
val option : ('t0 * 't0_tBase * ('t1 * 't1_tBase * ('t2 * 't2_tBase * ('t3 * 't3_tBase * ('t4 * 't4_tBase * ('t5 * 't5_tBase * ('t6 * 't6_tBase * ('t7 * 't7_tBase * ('t8 * 't8_tBase * ('t9 * 't9_tBase * ('t10 * 't10_tBase * ('t11 * 't11_tBase * ('t12 * 't12_tBase * ('t13 * 't13_tBase * ('t14 * 't14_tBase * ('t15 * 't15_tBase * ('t16 * 't16_tBase * ('t17 * 't17_tBase * ('t18 * 't18_tBase * ('t19 * 't19_tBase * ('t20 * 't20_tBase * ('t21 * 't21_tBase * ( 't22 * 't22_tBase * ( 't23 * 't23_tBase * ( 't24 * 't24_tBase * ( 't25 * 't25_tBase * ( 't26 * 't26_tBase * ( 't27 * 't27_tBase * ( 't28 * 't28_tBase * ( 't29 * 't29_tBase * ( 't30 * 't30_tBase * ( 't31 * 't31_tBase * unit)))))))))))))))))))))))))))))))) t -> ('t00 * 't0_tBase0 option * ('t110 * 't1_tBase0 option * ('t210 * 't2_tBase0 option * ('t32 * 't3_tBase0 option * ('t40 * 't4_tBase0 option * ('t50 * 't5_tBase0 option * ('t60 * 't6_tBase0 option * ('t70 * 't7_tBase0 option * ('t80 * 't8_tBase0 option * ('t90 * 't9_tBase0 option * ('t100 * 't10_tBase0 option * ('t111 * 't11_tBase0 option * ('t120 * 't12_tBase0 option * ('t130 * 't13_tBase0 option * ('t140 * 't14_tBase0 option * ('t150 * 't15_tBase0 option * ('t160 * 't16_tBase0 option * ('t170 * 't17_tBase0 option * ('t180 * 't18_tBase0 option * ('t190 * 't19_tBase0 option * ('t200 * 't20_tBase0 option * ('t211 * 't21_tBase0 option * ( 't220 * 't22_tBase0 option * ( 't230 * 't23_tBase0 option * ( 't240 * 't24_tBase0 option * ( 't250 * 't25_tBase0 option * ( 't260 * 't26_tBase0 option * ( 't270 * 't27_tBase0 option * ( 't280 * 't28_tBase0 option * ( 't290 * 't29_tBase0 option * ( 't300 * 't30_tBase0 option * ( 't310 * 't31_tBase0 option * unit)))))))))))))))))))))))))))))))) t
val result : ('t0 * 't0_tBase * ('t1 * 't1_tBase * ('t2 * 't2_tBase * ('t3 * 't3_tBase * ('t4 * 't4_tBase * ('t5 * 't5_tBase * ('t6 * 't6_tBase * ('t7 * 't7_tBase * ('t8 * 't8_tBase * ('t9 * 't9_tBase * ('t10 * 't10_tBase * ('t11 * 't11_tBase * ('t12 * 't12_tBase * ('t13 * 't13_tBase * ('t14 * 't14_tBase * ('t15 * 't15_tBase * ('t16 * 't16_tBase * ('t17 * 't17_tBase * ('t18 * 't18_tBase * ('t19 * 't19_tBase * ('t20 * 't20_tBase * ('t21 * 't21_tBase * ( 't22 * 't22_tBase * ( 't23 * 't23_tBase * ( 't24 * 't24_tBase * ( 't25 * 't25_tBase * ( 't26 * 't26_tBase * ( 't27 * 't27_tBase * ( 't28 * 't28_tBase * ( 't29 * 't29_tBase * ( 't30 * 't30_tBase * ( 't31 * 't31_tBase * unit)))))))))))))))))))))))))))))))) t -> ('t00 * ('t0_tBase0, 'err) Stdcompat.result * ('t110 * ('t1_tBase0, 'err0) Stdcompat.result * ('t210 * ('t2_tBase0, 'err1) Stdcompat.result * ('t32 * ('t3_tBase0, 'err2) Stdcompat.result * ('t40 * ('t4_tBase0, 'err3) Stdcompat.result * ('t50 * ('t5_tBase0, 'err4) Stdcompat.result * ('t60 * ('t6_tBase0, 'err5) Stdcompat.result * ('t70 * ('t7_tBase0, 'err6) Stdcompat.result * ('t80 * ('t8_tBase0, 'err7) Stdcompat.result * ('t90 * ('t9_tBase0, 'err8) Stdcompat.result * ('t100 * ('t10_tBase0, 'err9) Stdcompat.result * ('t111 * ('t11_tBase0, 'err10) Stdcompat.result * ('t120 * ('t12_tBase0, 'err11) Stdcompat.result * ('t130 * ('t13_tBase0, 'err12) Stdcompat.result * ('t140 * ('t14_tBase0, 'err13) Stdcompat.result * ('t150 * ('t15_tBase0, 'err14) Stdcompat.result * ('t160 * ('t16_tBase0, 'err15) Stdcompat.result * ('t170 * ('t17_tBase0, 'err16) Stdcompat.result * ('t180 * ('t18_tBase0, 'err17) Stdcompat.result * ('t190 * ('t19_tBase0, 'err18) Stdcompat.result * ('t200 * ('t20_tBase0, 'err19) Stdcompat.result * ('t211 * ('t21_tBase0, 'err20) Stdcompat.result * ( 't220 * ('t22_tBase0, 'err21) Stdcompat.result * ( 't230 * ('t23_tBase0, 'err22) Stdcompat.result * ( 't240 * ('t24_tBase0, 'err23) Stdcompat.result * ( 't250 * ('t25_tBase0, 'err24) Stdcompat.result * ( 't260 * ('t26_tBase0, 'err25) Stdcompat.result * ( 't270 * ('t27_tBase0, 'err26) Stdcompat.result * ( 't280 * ('t28_tBase0, 'err27) Stdcompat.result * ( 't290 * ('t29_tBase0, 'err28) Stdcompat.result * ( 't300 * ('t30_tBase0, 'err29) Stdcompat.result * ( 't310 * ('t31_tBase0, 'err30) Stdcompat.result * unit)))))))))))))))))))))))))))))))) t
val list : ('t0 * 't0_tBase * ('t1 * 't1_tBase * ('t2 * 't2_tBase * ('t3 * 't3_tBase * ('t4 * 't4_tBase * ('t5 * 't5_tBase * ('t6 * 't6_tBase * ('t7 * 't7_tBase * ('t8 * 't8_tBase * ('t9 * 't9_tBase * ('t10 * 't10_tBase * ('t11 * 't11_tBase * ('t12 * 't12_tBase * ('t13 * 't13_tBase * ('t14 * 't14_tBase * ('t15 * 't15_tBase * ('t16 * 't16_tBase * ('t17 * 't17_tBase * ('t18 * 't18_tBase * ('t19 * 't19_tBase * ('t20 * 't20_tBase * ('t21 * 't21_tBase * ( 't22 * 't22_tBase * ( 't23 * 't23_tBase * ( 't24 * 't24_tBase * ( 't25 * 't25_tBase * ( 't26 * 't26_tBase * ( 't27 * 't27_tBase * ( 't28 * 't28_tBase * ( 't29 * 't29_tBase * ( 't30 * 't30_tBase * ( 't31 * 't31_tBase * unit)))))))))))))))))))))))))))))))) t -> ('t00 * 't0_tBase0 list * ('t110 * 't1_tBase0 list * ('t210 * 't2_tBase0 list * ('t32 * 't3_tBase0 list * ('t40 * 't4_tBase0 list * ('t50 * 't5_tBase0 list * ('t60 * 't6_tBase0 list * ('t70 * 't7_tBase0 list * ('t80 * 't8_tBase0 list * ('t90 * 't9_tBase0 list * ('t100 * 't10_tBase0 list * ('t111 * 't11_tBase0 list * ('t120 * 't12_tBase0 list * ('t130 * 't13_tBase0 list * ('t140 * 't14_tBase0 list * ('t150 * 't15_tBase0 list * ('t160 * 't16_tBase0 list * ('t170 * 't17_tBase0 list * ('t180 * 't18_tBase0 list * ('t190 * 't19_tBase0 list * ('t200 * 't20_tBase0 list * ('t211 * 't21_tBase0 list * ( 't220 * 't22_tBase0 list * ( 't230 * 't23_tBase0 list * ( 't240 * 't24_tBase0 list * ( 't250 * 't25_tBase0 list * ( 't260 * 't26_tBase0 list * ( 't270 * 't27_tBase0 list * ( 't280 * 't28_tBase0 list * ( 't290 * 't29_tBase0 list * ( 't300 * 't30_tBase0 list * ( 't310 * 't31_tBase0 list * unit)))))))))))))))))))))))))))))))) t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct