package patdiff

  1. Overview
  2. Docs
val iter : t -> output: ((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t -> t -> Patdiff_core.Output.t -> unit) -> rules: ((t, Patdiff_lib.Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t -> t -> Patdiff_lib.Patdiff_core.Format.Rules.t -> unit) -> ext_cmp: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> unit) -> float_tolerance: ((t, Core.Percent.t option) Fieldslib.Field.readonly_t -> t -> Core.Percent.t option -> unit) -> produce_unified_lines: ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) -> unrefined:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) -> keep_ws:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) -> split_long_lines:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) -> interleave:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) -> assume_text:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) -> context:((t, int) Fieldslib.Field.readonly_t -> t -> int -> unit) -> line_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> unit) -> word_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> unit) -> shallow:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) -> quiet:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) -> double_check:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) -> mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) -> prev_alt: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> unit) -> next_alt: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> unit) -> location_style: ((t, Patdiff_lib.Patdiff_core.Format.Location_style.t) Fieldslib.Field.readonly_t -> t -> Patdiff_lib.Patdiff_core.Format.Location_style.t -> unit) -> warn_if_no_trailing_newline_in_both: ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) -> unit
val fold : t -> init:'acc__0 -> output: ('acc__0 -> (t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t -> t -> Patdiff_core.Output.t -> 'acc__1) -> rules: ('acc__1 -> (t, Patdiff_lib.Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t -> t -> Patdiff_lib.Patdiff_core.Format.Rules.t -> 'acc__2) -> ext_cmp: ('acc__2 -> (t, string option) Fieldslib.Field.readonly_t -> t -> string option -> 'acc__3) -> float_tolerance: ('acc__3 -> (t, Core.Percent.t option) Fieldslib.Field.readonly_t -> t -> Core.Percent.t option -> 'acc__4) -> produce_unified_lines: ('acc__4 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__5) -> unrefined: ('acc__5 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__6) -> keep_ws: ('acc__6 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__7) -> split_long_lines: ('acc__7 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__8) -> interleave: ('acc__8 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__9) -> assume_text: ('acc__9 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__10) -> context: ('acc__10 -> (t, int) Fieldslib.Field.readonly_t -> t -> int -> 'acc__11) -> line_big_enough: ('acc__11 -> (t, int) Fieldslib.Field.readonly_t -> t -> int -> 'acc__12) -> word_big_enough: ('acc__12 -> (t, int) Fieldslib.Field.readonly_t -> t -> int -> 'acc__13) -> shallow: ('acc__13 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__14) -> quiet: ('acc__14 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__15) -> double_check: ('acc__15 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__16) -> mask_uniques: ('acc__16 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__17) -> prev_alt: ('acc__17 -> (t, string option) Fieldslib.Field.readonly_t -> t -> string option -> 'acc__18) -> next_alt: ('acc__18 -> (t, string option) Fieldslib.Field.readonly_t -> t -> string option -> 'acc__19) -> location_style: ('acc__19 -> (t, Patdiff_lib.Patdiff_core.Format.Location_style.t) Fieldslib.Field.readonly_t -> t -> Patdiff_lib.Patdiff_core.Format.Location_style.t -> 'acc__20) -> warn_if_no_trailing_newline_in_both: ('acc__20 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__21) -> 'acc__21
val for_all : t -> output: ((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t -> t -> Patdiff_core.Output.t -> bool) -> rules: ((t, Patdiff_lib.Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t -> t -> Patdiff_lib.Patdiff_core.Format.Rules.t -> bool) -> ext_cmp: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> bool) -> float_tolerance: ((t, Core.Percent.t option) Fieldslib.Field.readonly_t -> t -> Core.Percent.t option -> bool) -> produce_unified_lines: ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> unrefined:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> keep_ws:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> split_long_lines:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> interleave:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> assume_text:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> context:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) -> line_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) -> word_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) -> shallow:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> quiet:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> double_check:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> prev_alt: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> bool) -> next_alt: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> bool) -> location_style: ((t, Patdiff_lib.Patdiff_core.Format.Location_style.t) Fieldslib.Field.readonly_t -> t -> Patdiff_lib.Patdiff_core.Format.Location_style.t -> bool) -> warn_if_no_trailing_newline_in_both: ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> bool
val exists : t -> output: ((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t -> t -> Patdiff_core.Output.t -> bool) -> rules: ((t, Patdiff_lib.Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t -> t -> Patdiff_lib.Patdiff_core.Format.Rules.t -> bool) -> ext_cmp: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> bool) -> float_tolerance: ((t, Core.Percent.t option) Fieldslib.Field.readonly_t -> t -> Core.Percent.t option -> bool) -> produce_unified_lines: ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> unrefined:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> keep_ws:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> split_long_lines:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> interleave:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> assume_text:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> context:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) -> line_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) -> word_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) -> shallow:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> quiet:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> double_check:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> prev_alt: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> bool) -> next_alt: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> bool) -> location_style: ((t, Patdiff_lib.Patdiff_core.Format.Location_style.t) Fieldslib.Field.readonly_t -> t -> Patdiff_lib.Patdiff_core.Format.Location_style.t -> bool) -> warn_if_no_trailing_newline_in_both: ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) -> bool
val to_list : t -> output: ((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t -> t -> Patdiff_core.Output.t -> 'elem__) -> rules: ((t, Patdiff_lib.Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t -> t -> Patdiff_lib.Patdiff_core.Format.Rules.t -> 'elem__) -> ext_cmp: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> 'elem__) -> float_tolerance: ((t, Core.Percent.t option) Fieldslib.Field.readonly_t -> t -> Core.Percent.t option -> 'elem__) -> produce_unified_lines: ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) -> unrefined:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) -> keep_ws:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) -> split_long_lines: ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) -> interleave:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) -> assume_text:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) -> context:((t, int) Fieldslib.Field.readonly_t -> t -> int -> 'elem__) -> line_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> 'elem__) -> word_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> 'elem__) -> shallow:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) -> quiet:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) -> double_check:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) -> mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) -> prev_alt: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> 'elem__) -> next_alt: ((t, string option) Fieldslib.Field.readonly_t -> t -> string option -> 'elem__) -> location_style: ((t, Patdiff_lib.Patdiff_core.Format.Location_style.t) Fieldslib.Field.readonly_t -> t -> Patdiff_lib.Patdiff_core.Format.Location_style.t -> 'elem__) -> warn_if_no_trailing_newline_in_both: ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) -> 'elem__ list
OCaml

Innovation. Community. Security.