package traverse

  1. Overview
  2. Docs
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 = sig ... end
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 = sig ... end
module Make (Applicative : sig ... end) : InstanceS with module Applicative = Applicative
val iter : unit -> ('a * unit * ('b * unit * ('c * unit * ('d * unit * ('e * unit * ('f * unit * ('g * unit * ('h * unit * ('i * unit * ('j * unit * ('k * unit * ('l * unit * ('m * unit * ('n * unit * ('o * unit * ('p * unit * ('q * unit * ('r * unit * ('s * unit * ('t * unit * ('u * unit * ('v * unit * ( 'w * unit * ( 'x * unit * ( 'y * unit * ( 'z * unit * ( 'a1 * unit * ( 'b1 * unit * ( 'c1 * unit * ( 'd1 * unit * ( 'e1 * unit * ( 'f1 * unit * unit)))))))))))))))))))))))))))))))) desc
val map : unit -> ('a * 'a * ('b * 'b * ('c * 'c * ('d * 'd * ('e * 'e * ('f * 'f * ('g * 'g * ('h * 'h * ('i * 'i * ('j * 'j * ('k * 'k * ('l * 'l * ('m * 'm * ('n * 'n * ('o * 'o * ('p * 'p * ('q * 'q * ('r * 'r * ('s * 's * ('t * 't * ('u * 'u * ('v * 'v * ( 'w * 'w * ( 'x * 'x * ( 'y * 'y * ( 'z * 'z * ( 'a1 * 'a1 * ( 'b1 * 'b1 * ( 'c1 * 'c1 * ( 'd1 * 'd1 * ( 'e1 * 'e1 * ( 'f1 * 'f1 * unit)))))))))))))))))))))))))))))))) desc
val reduce : (module Traverse__.Traverse_modules.Monoid.S with type t = 'm) -> ('a * 'm * ('b * 'm * ('c * 'm * ('d * 'm * ('e * 'm * ('f * 'm * ('g * 'm * ('h * 'm * ('i * 'm * ('j * 'm * ('k * 'm * ('l * 'm * ('n * 'm * ('o * 'm * ('p * 'm * ('q * 'm * ('r * 'm * ('s * 'm * ('t * 'm * ('u * 'm * ('v * 'm * ('w * 'm * ( 'x * 'm * ( 'y * 'm * ( 'z * 'm * ( 'a1 * 'm * ( 'b1 * 'm * ( 'c1 * 'm * ( 'd1 * 'm * ( 'e1 * 'm * ( 'f1 * 'm * ( 'g1 * 'm * unit)))))))))))))))))))))))))))))))) t
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 -> ('t0 * ('env -> 't0_tBase) * ('t1 * ('env -> 't1_tBase) * ('t2 * ('env -> 't2_tBase) * ('t3 * ('env -> 't3_tBase) * ('t4 * ('env -> 't4_tBase) * ('t5 * ('env -> 't5_tBase) * ('t6 * ('env -> 't6_tBase) * ('t7 * ('env -> 't7_tBase) * ('t8 * ('env -> 't8_tBase) * ('t9 * ('env -> 't9_tBase) * ('t10 * ('env -> 't10_tBase) * ('t11 * ('env -> 't11_tBase) * ('t12 * ('env -> 't12_tBase) * ('t13 * ('env -> 't13_tBase) * ('t14 * ('env -> 't14_tBase) * ('t15 * ('env -> 't15_tBase) * ('t16 * ('env -> 't16_tBase) * ('t17 * ('env -> 't17_tBase) * ('t18 * ('env -> 't18_tBase) * ('t19 * ('env -> 't19_tBase) * ('t20 * ('env -> 't20_tBase) * ('t21 * ( 'env -> 't21_tBase) * ( 't22 * ( 'env -> 't22_tBase) * ( 't23 * ( 'env -> 't23_tBase) * ( 't24 * ( 'env -> 't24_tBase) * ( 't25 * ( 'env -> 't25_tBase) * ( 't26 * ( 'env -> 't26_tBase) * ( 't27 * ( 'env -> 't27_tBase) * ( 't28 * ( 'env -> 't28_tBase) * ( 't29 * ( 'env -> 't29_tBase) * ( 't30 * ( 'env -> 't30_tBase) * ( 't31 * ( 'env -> 't31_tBase) * 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)))))))))))))))))))))))))))))))) 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 -> ('t0 * 't0_tV * ('t1 * 't1_tV * ('t2 * 't2_tV * ('t3 * 't3_tV * ('t4 * 't4_tV * ('t5 * 't5_tV * ('t6 * 't6_tV * ('t7 * 't7_tV * ('t8 * 't8_tV * ('t9 * 't9_tV * ('t10 * 't10_tV * ('t11 * 't11_tV * ('t12 * 't12_tV * ('t13 * 't13_tV * ('t14 * 't14_tV * ('t15 * 't15_tV * ('t16 * 't16_tV * ('t17 * 't17_tV * ('t18 * 't18_tV * ('t19 * 't19_tV * ('t20 * 't20_tV * ('t21 * 't21_tV * ( 't22 * 't22_tV * ( 't23 * 't23_tV * ( 't24 * 't24_tV * ( 't25 * 't25_tV * ( 't26 * 't26_tV * ( 't27 * 't27_tV * ( 't28 * 't28_tV * ( 't29 * 't29_tV * ( 't30 * 't30_tV * ( 't31 * 't31_tV * unit)))))))))))))))))))))))))))))))) t -> ('t0 * ('t0_tU * 't0_tV) * ('t1 * ('t1_tU * 't1_tV) * ('t2 * ('t2_tU * 't2_tV) * ('t3 * ('t3_tU * 't3_tV) * ('t4 * ('t4_tU * 't4_tV) * ('t5 * ('t5_tU * 't5_tV) * ('t6 * ('t6_tU * 't6_tV) * ('t7 * ('t7_tU * 't7_tV) * ('t8 * ('t8_tU * 't8_tV) * ('t9 * ('t9_tU * 't9_tV) * ('t10 * ('t10_tU * 't10_tV) * ('t11 * ('t11_tU * 't11_tV) * ('t12 * ('t12_tU * 't12_tV) * ('t13 * ('t13_tU * 't13_tV) * ('t14 * ('t14_tU * 't14_tV) * ('t15 * ('t15_tU * 't15_tV) * ('t16 * ('t16_tU * 't16_tV) * ('t17 * ('t17_tU * 't17_tV) * ('t18 * ('t18_tU * 't18_tV) * ('t19 * ('t19_tU * 't19_tV) * ('t20 * ('t20_tU * 't20_tV) * ('t21 * ( 't21_tU * 't21_tV) * ( 't22 * ( 't22_tU * 't22_tV) * ( 't23 * ( 't23_tU * 't23_tV) * ( 't24 * ( 't24_tU * 't24_tV) * ( 't25 * ( 't25_tU * 't25_tV) * ( 't26 * ( 't26_tU * 't26_tV) * ( 't27 * ( 't27_tU * 't27_tV) * ( 't28 * ( 't28_tU * 't28_tV) * ( 't29 * ( 't29_tU * 't29_tV) * ( 't30 * ( 't30_tU * 't30_tV) * ( 't31 * ( 't31_tU * 't31_tV) * unit)))))))))))))))))))))))))))))))) t
val forall : unit -> ('a * bool * ('b * bool * ('c * bool * ('d * bool * ('e * bool * ('f * bool * ('g * bool * ('h * bool * ('i * bool * ('j * bool * ('k * bool * ('l * bool * ('m * bool * ('n * bool * ('o * bool * ('p * bool * ('q * bool * ('r * bool * ('s * bool * ('t * bool * ('u * bool * ('v * bool * ( 'w * bool * ( 'x * bool * ( 'y * bool * ( 'z * bool * ( 'a1 * bool * ( 'b1 * bool * ( 'c1 * bool * ( 'd1 * bool * ( 'e1 * bool * ( 'f1 * bool * unit)))))))))))))))))))))))))))))))) desc
val exists : unit -> ('a * bool * ('b * bool * ('c * bool * ('d * bool * ('e * bool * ('f * bool * ('g * bool * ('h * bool * ('i * bool * ('j * bool * ('k * bool * ('l * bool * ('m * bool * ('n * bool * ('o * bool * ('p * bool * ('q * bool * ('r * bool * ('s * bool * ('t * bool * ('u * bool * ('v * bool * ( 'w * bool * ( 'x * bool * ( 'y * bool * ( 'z * bool * ( 'a1 * bool * ( 'b1 * bool * ( 'c1 * bool * ( 'd1 * bool * ( 'e1 * bool * ( 'f1 * bool * unit)))))))))))))))))))))))))))))))) desc
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 -> ('t0 * 't0_tBase option * ('t1 * 't1_tBase option * ('t2 * 't2_tBase option * ('t3 * 't3_tBase option * ('t4 * 't4_tBase option * ('t5 * 't5_tBase option * ('t6 * 't6_tBase option * ('t7 * 't7_tBase option * ('t8 * 't8_tBase option * ('t9 * 't9_tBase option * ('t10 * 't10_tBase option * ('t11 * 't11_tBase option * ('t12 * 't12_tBase option * ('t13 * 't13_tBase option * ('t14 * 't14_tBase option * ('t15 * 't15_tBase option * ('t16 * 't16_tBase option * ('t17 * 't17_tBase option * ('t18 * 't18_tBase option * ('t19 * 't19_tBase option * ('t20 * 't20_tBase option * ('t21 * 't21_tBase option * ( 't22 * 't22_tBase option * ( 't23 * 't23_tBase option * ( 't24 * 't24_tBase option * ( 't25 * 't25_tBase option * ( 't26 * 't26_tBase option * ( 't27 * 't27_tBase option * ( 't28 * 't28_tBase option * ( 't29 * 't29_tBase option * ( 't30 * 't30_tBase option * ( 't31 * 't31_tBase 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 -> ('t0 * ('t0_tBase, 'err) Stdcompat.result * ('t1 * ('t1_tBase, 'err) Stdcompat.result * ('t2 * ('t2_tBase, 'err) Stdcompat.result * ('t3 * ('t3_tBase, 'err) Stdcompat.result * ('t4 * ('t4_tBase, 'err) Stdcompat.result * ('t5 * ('t5_tBase, 'err) Stdcompat.result * ('t6 * ('t6_tBase, 'err) Stdcompat.result * ('t7 * ('t7_tBase, 'err) Stdcompat.result * ('t8 * ('t8_tBase, 'err) Stdcompat.result * ('t9 * ('t9_tBase, 'err) Stdcompat.result * ('t10 * ('t10_tBase, 'err) Stdcompat.result * ('t11 * ('t11_tBase, 'err) Stdcompat.result * ('t12 * ('t12_tBase, 'err) Stdcompat.result * ('t13 * ('t13_tBase, 'err) Stdcompat.result * ('t14 * ('t14_tBase, 'err) Stdcompat.result * ('t15 * ('t15_tBase, 'err) Stdcompat.result * ('t16 * ('t16_tBase, 'err) Stdcompat.result * ('t17 * ('t17_tBase, 'err) Stdcompat.result * ('t18 * ('t18_tBase, 'err) Stdcompat.result * ('t19 * ('t19_tBase, 'err) Stdcompat.result * ('t20 * ('t20_tBase, 'err) Stdcompat.result * ('t21 * ('t21_tBase, 'err) Stdcompat.result * ( 't22 * ('t22_tBase, 'err) Stdcompat.result * ( 't23 * ('t23_tBase, 'err) Stdcompat.result * ( 't24 * ('t24_tBase, 'err) Stdcompat.result * ( 't25 * ('t25_tBase, 'err) Stdcompat.result * ( 't26 * ('t26_tBase, 'err) Stdcompat.result * ( 't27 * ('t27_tBase, 'err) Stdcompat.result * ( 't28 * ('t28_tBase, 'err) Stdcompat.result * ( 't29 * ('t29_tBase, 'err) Stdcompat.result * ( 't30 * ('t30_tBase, 'err) Stdcompat.result * ( 't31 * ('t31_tBase, 'err) 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 -> ('t0 * 't0_tBase list * ('t1 * 't1_tBase list * ('t2 * 't2_tBase list * ('t3 * 't3_tBase list * ('t4 * 't4_tBase list * ('t5 * 't5_tBase list * ('t6 * 't6_tBase list * ('t7 * 't7_tBase list * ('t8 * 't8_tBase list * ('t9 * 't9_tBase list * ('t10 * 't10_tBase list * ('t11 * 't11_tBase list * ('t12 * 't12_tBase list * ('t13 * 't13_tBase list * ('t14 * 't14_tBase list * ('t15 * 't15_tBase list * ('t16 * 't16_tBase list * ('t17 * 't17_tBase list * ('t18 * 't18_tBase list * ('t19 * 't19_tBase list * ('t20 * 't20_tBase list * ('t21 * 't21_tBase list * ( 't22 * 't22_tBase list * ( 't23 * 't23_tBase list * ( 't24 * 't24_tBase list * ( 't25 * 't25_tBase list * ( 't26 * 't26_tBase list * ( 't27 * 't27_tBase list * ( 't28 * 't28_tBase list * ( 't29 * 't29_tBase list * ( 't30 * 't30_tBase list * ( 't31 * 't31_tBase 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