Up – Package index » patdiff » Library patdiff.kernel » Patdiff_kernel » Configuration

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;
float_tolerance : Core.Percent.t option;
produce_unified_lines : bool;
unrefined : bool;
keep_ws : bool;
find_moves : 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;
side_by_side : [ `wrap | `truncate ] option;
width_override : int option;

}

include Ppx_compare_lib.Comparable.S with type t := t

Sourceval compare : t -> t -> int

include Ppx_compare_lib.Comparable.S__local with type t := t

val width_override : 
  t ->
  int option @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val side_by_side : 
  t ->
  [ `wrap | `truncate ] option @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val warn_if_no_trailing_newline_in_both : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val location_style : 
  t ->
  Format.Location_style.t @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val next_alt : 
  t ->
  string option @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val prev_alt : 
  t ->
  string option @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val mask_uniques : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val double_check : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val quiet : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val shallow : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val word_big_enough : 
  t ->
  int @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val line_big_enough : 
  t ->
  int @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val context : 
  t ->
  int @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val assume_text : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val interleave : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val split_long_lines : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val find_moves : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val keep_ws : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val unrefined : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val produce_unified_lines : 
  t ->
  bool @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val float_tolerance : 
  t ->
  Core.Percent.t option @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val rules : 
  t ->
  Format.Rules.t @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

val output : 
  t ->
  Output.t @@ portable
   [@@zero_alloccustom_error_message "Hint: add [@@fields.no_zero_alloc] to disable the zero-alloc guarantees that [@@deriving fields] tries to make by default."]

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t

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

Sourceval invariant : t -> unit

val create_exn : 
  output:Output.t ->
  rules:Format.Rules.t ->
  float_tolerance:Core.Percent.t option ->
  produce_unified_lines:bool ->
  unrefined:bool ->
  keep_ws:bool ->
  find_moves: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 ->
  side_by_side:[ `wrap | `truncate ] option ->
  width_override:int option ->
  t

Raises if invariant t fails.

val override : 
  ?output:Output.t ->
  ?rules:Format.Rules.t ->
  ?float_tolerance:Core.Percent.t option ->
  ?produce_unified_lines:bool ->
  ?unrefined:bool ->
  ?keep_ws:bool ->
  ?find_moves: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 ->
  ?side_by_side:[ `wrap | `truncate ] option ->
  ?width_override:int option ->
  t ->
  t

Sourceval default : t