package traverse

  1. Overview
  2. Docs
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 -> ('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 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