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