Module `Patdiff_kernel.Configuration`Source

Sourceval default_context : int

Default amount of context shown around each change in the diff

The following constants were all chosen empirically.

Sourceval default_line_big_enough : int

Default cutoff for line-level semantic cleanup. Any match of default_line_big_enough or more will not be deleted, even if it's surrounded by large inserts and deletes. Raising this quantity can only decrease the number of matches, and lowering it can only increase the number of matches.

Sourceval default_word_big_enough : int

Analogous to default_line_big_enough, but for word-level refinement

Sourceval too_short_to_split : int

Governs the behavior of split_for_readability. We will only split ranges around matches of size greater than too_short_to_split. Note that this should always be at least 1, otherwise we will split on a single `Newline token. Raising this quantity will result in less ranges being split, and setting it to infinity is the same as passing in ~interleave:false.

Sourceval warn_if_no_trailing_newline_in_both_default : bool

Sourcetype t = private {

output : Output.t;
rules : Format.Rules.t;
ext_cmp : string option;
float_tolerance : Core_kernel.Percent.t option;
produce_unified_lines : bool;
unrefined : bool;
keep_ws : bool;
split_long_lines : bool;
interleave : bool;
assume_text : bool;
context : int;
line_big_enough : int;
word_big_enough : int;
shallow : bool;
quiet : bool;
double_check : bool;
mask_uniques : bool;
prev_alt : string option;
next_alt : string option;
location_style : Format.Location_style.t;
warn_if_no_trailing_newline_in_both : bool;

}

Sourceval compare : t -> t -> int

Sourceval warn_if_no_trailing_newline_in_both : t -> bool

Sourceval location_style : t -> Format.Location_style.t

Sourceval next_alt : t -> string option

Sourceval prev_alt : t -> string option

Sourceval mask_uniques : t -> bool

Sourceval double_check : t -> bool

Sourceval quiet : t -> bool

Sourceval shallow : t -> bool

Sourceval word_big_enough : t -> int

Sourceval line_big_enough : t -> int

Sourceval context : t -> int

Sourceval assume_text : t -> bool

Sourceval interleave : t -> bool

Sourceval split_long_lines : t -> bool

Sourceval keep_ws : t -> bool

Sourceval unrefined : t -> bool

Sourceval produce_unified_lines : t -> bool

Sourceval float_tolerance : t -> Core_kernel.Percent.t option

Sourceval ext_cmp : t -> string option

Sourceval rules : t -> Format.Rules.t

Sourceval output : t -> Output.t

Sourcemodule Fields : sig ... end

Sourceval sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

include Core_kernel.Invariant.S with type t := t

Sourceval invariant : t -> unit

Source

val create_exn : 
  output:Output.t ->
  rules:Format.Rules.t ->
  float_tolerance:Core_kernel.Percent.t option ->
  produce_unified_lines:bool ->
  unrefined:bool ->
  keep_ws:bool ->
  split_long_lines:bool ->
  interleave:bool ->
  assume_text:bool ->
  context:int ->
  line_big_enough:int ->
  word_big_enough:int ->
  shallow:bool ->
  quiet:bool ->
  double_check:bool ->
  mask_uniques:bool ->
  prev_alt:string option ->
  next_alt:string option ->
  location_style:Format.Location_style.t ->
  warn_if_no_trailing_newline_in_both:bool ->
  t

Raises if invariant t fails.

Source

val override : 
  ?output:Output.t ->
  ?rules:Format.Rules.t ->
  ?float_tolerance:Core_kernel.Percent.t option ->
  ?produce_unified_lines:bool ->
  ?unrefined:bool ->
  ?keep_ws:bool ->
  ?split_long_lines:bool ->
  ?interleave:bool ->
  ?assume_text:bool ->
  ?context:int ->
  ?line_big_enough:int ->
  ?word_big_enough:int ->
  ?shallow:bool ->
  ?quiet:bool ->
  ?double_check:bool ->
  ?mask_uniques:bool ->
  ?prev_alt:string option ->
  ?next_alt:string option ->
  ?location_style:Format.Location_style.t ->
  ?warn_if_no_trailing_newline_in_both:bool ->
  t ->
  t

Sourceval default : t

Sourcemodule Private : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/comby.patdiff_kernel/Patdiff_kernel/Configuration/index.html

Module `Patdiff_kernel.Configuration`Source

package comby

Install

Dune Dependency

Authors

Maintainers

Sources

doc/comby.patdiff_kernel/Patdiff_kernel/Configuration/index.html

Module Patdiff_kernel.ConfigurationSource

Module `Patdiff_kernel.Configuration`Source