package patdiff
File Diff using the Patience Diff algorithm
Install
Dune Dependency
Authors
Maintainers
Sources
patdiff-v0.15.0.tar.gz
sha256=089e88efbbda5c7f1249d0b427336fa56679c52d7bc94b76a2bc7df8ade52d13
doc/patdiff.kernel/Patdiff_kernel/Configuration/Fields/Direct/index.html
Module Fields.Direct
Source
Source
val iter :
t ->
output:((t, Output.t) Fieldslib.Field.readonly_t -> t -> Output.t -> unit) ->
rules:
((t, Format.Rules.t) Fieldslib.Field.readonly_t ->
t ->
Format.Rules.t ->
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, Format.Location_style.t) Fieldslib.Field.readonly_t ->
t ->
Format.Location_style.t ->
unit) ->
warn_if_no_trailing_newline_in_both:
((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
unit
Source
val fold :
t ->
init:'acc__0 ->
output:
('acc__0 ->
(t, Output.t) Fieldslib.Field.readonly_t ->
t ->
Output.t ->
'acc__1) ->
rules:
('acc__1 ->
(t, Format.Rules.t) Fieldslib.Field.readonly_t ->
t ->
Format.Rules.t ->
'acc__2) ->
float_tolerance:
('acc__2 ->
(t, Core.Percent.t option) Fieldslib.Field.readonly_t ->
t ->
Core.Percent.t option ->
'acc__3) ->
produce_unified_lines:
('acc__3 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__4) ->
unrefined:
('acc__4 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__5) ->
keep_ws:
('acc__5 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__6) ->
split_long_lines:
('acc__6 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__7) ->
interleave:
('acc__7 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__8) ->
assume_text:
('acc__8 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__9) ->
context:
('acc__9 -> (t, int) Fieldslib.Field.readonly_t -> t -> int -> 'acc__10) ->
line_big_enough:
('acc__10 -> (t, int) Fieldslib.Field.readonly_t -> t -> int -> 'acc__11) ->
word_big_enough:
('acc__11 -> (t, int) Fieldslib.Field.readonly_t -> t -> int -> 'acc__12) ->
shallow:
('acc__12 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__13) ->
quiet:
('acc__13 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__14) ->
double_check:
('acc__14 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__15) ->
mask_uniques:
('acc__15 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__16) ->
prev_alt:
('acc__16 ->
(t, string option) Fieldslib.Field.readonly_t ->
t ->
string option ->
'acc__17) ->
next_alt:
('acc__17 ->
(t, string option) Fieldslib.Field.readonly_t ->
t ->
string option ->
'acc__18) ->
location_style:
('acc__18 ->
(t, Format.Location_style.t) Fieldslib.Field.readonly_t ->
t ->
Format.Location_style.t ->
'acc__19) ->
warn_if_no_trailing_newline_in_both:
('acc__19 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__20) ->
'acc__20
Source
val for_all :
t ->
output:((t, Output.t) Fieldslib.Field.readonly_t -> t -> Output.t -> bool) ->
rules:
((t, Format.Rules.t) Fieldslib.Field.readonly_t ->
t ->
Format.Rules.t ->
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, Format.Location_style.t) Fieldslib.Field.readonly_t ->
t ->
Format.Location_style.t ->
bool) ->
warn_if_no_trailing_newline_in_both:
((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
bool
Source
val exists :
t ->
output:((t, Output.t) Fieldslib.Field.readonly_t -> t -> Output.t -> bool) ->
rules:
((t, Format.Rules.t) Fieldslib.Field.readonly_t ->
t ->
Format.Rules.t ->
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, Format.Location_style.t) Fieldslib.Field.readonly_t ->
t ->
Format.Location_style.t ->
bool) ->
warn_if_no_trailing_newline_in_both:
((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
bool
Source
val to_list :
t ->
output:((t, Output.t) Fieldslib.Field.readonly_t -> t -> Output.t -> 'elem__) ->
rules:
((t, Format.Rules.t) Fieldslib.Field.readonly_t ->
t ->
Format.Rules.t ->
'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, Format.Location_style.t) Fieldslib.Field.readonly_t ->
t ->
Format.Location_style.t ->
'elem__) ->
warn_if_no_trailing_newline_in_both:
((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
'elem__ list
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>