package ppx_diff

  1. Overview
  2. Docs
A PPX rewriter that genreates the implementation of [Ldiffable.S].

Install

Dune Dependency

Authors

Maintainers

Sources

v0.17.0.tar.gz
sha256=5e817094edf127d384110227ecfdc3e23f0f130266d48d1f326a03f6f58a2609

doc/ppx_diff.diffable/Diffable/Tuples/Tuple5/Diff/Entry_diff/Variants/index.html

Module Entry_diff.VariantsSource

Sourceval t1 : ('a1_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t
Sourceval t2 : ('a2_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t
Sourceval t3 : ('a3_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t
Sourceval t4 : ('a4_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t
Sourceval t5 : ('a5_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t
Sourceval fold : init:'acc__0 -> t1: ('acc__0 -> ('a1_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__1) -> t2: ('acc__1 -> ('a2_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__2) -> t3: ('acc__2 -> ('a3_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__3) -> t4: ('acc__3 -> ('a4_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__4) -> t5: ('acc__4 -> ('a5_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__5) -> 'acc__5
Sourceval iter : t1: (('a1_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> unit) -> t2: (('a2_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> unit) -> t3: (('a3_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> unit) -> t4: (('a4_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> unit) -> t5: (('a5_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> unit) -> unit
Sourceval map : ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t -> t1: (('a1_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'a1_diff -> 'result__) -> t2: (('a2_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'a2_diff -> 'result__) -> t3: (('a3_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'a3_diff -> 'result__) -> t4: (('a4_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'a4_diff -> 'result__) -> t5: (('a5_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'a5_diff -> 'result__) -> 'result__
Sourceval make_matcher : t1: (('a1_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__0 -> ('a1_diff -> 'result__) * 'acc__1) -> t2: (('a2_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__1 -> ('a2_diff -> 'result__) * 'acc__2) -> t3: (('a3_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__2 -> ('a3_diff -> 'result__) * 'acc__3) -> t4: (('a4_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__3 -> ('a4_diff -> 'result__) * 'acc__4) -> t5: (('a5_diff -> ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t) Variantslib.Variant.t -> 'acc__4 -> ('a5_diff -> 'result__) * 'acc__5) -> 'acc__0 -> (('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t -> 'result__) * 'acc__5
Sourceval to_rank : ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t -> int
Sourceval to_name : ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t -> string
Sourceval descriptions : (string * int) list
OCaml

Innovation. Community. Security.