package cascade
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=3315f94068943b3655bf530c1d82b68655524ff3601efedfbaf0a7f886fbf5a1
sha512=0f187c8e17fcbddaa0ad2760930956451062e476b678e1e60daf6ad9e7414fad99a2d70534dfdf8bca0a1092e374d009051f06b0ce9da33f2742cdde0187e75c
doc/cascade.diff/Cascade_diff/String_diff/index.html
Module Cascade_diff.String_diffSource
String difference analysis and formatting.
default_max_width is the default maximum width for formatted output (60 characters).
type config = {max_width : int;(*Maximum display width.
*)short_threshold : int;(*Threshold below which strings are shown inline.
*)show_caret : bool;(*Whether to display position indicators.
*)indent : int;(*Left margin for position indicators.
*)
}Configuration for formatting.
type t = {position : int;(*Character position of first difference.
*)line_expected : int;(*Line number in expected string.
*)column_expected : int;(*Column in expected string.
*)line_actual : int;(*Line number in actual string.
*)column_actual : int;(*Column in actual string.
*)context_before : (string * string) list;(*Lines before difference.
*)diff_lines : string * string;(*Lines containing the difference.
*)context_after : (string * string) list;(*Lines after difference.
*)
}The type for string differences with context.
diff ?context_size ~expected ~actual analyzes the difference between two strings. Returns None if strings are equal, otherwise returns detailed difference information with surrounding context lines. Default context_size is 3.
val pp :
?config:config ->
?expected_label:string ->
?actual_label:string ->
Buffer.t ->
t ->
unitpp ?config ?expected_label ?actual_label buf t pretty-prints a string diff in unified diff format with adaptive line formatting. Default labels are "Expected" and "Actual".
Utilities
first_diff_pos s1 s2 is the position of the first differing character, or None if the strings are equal.
truncate_middle max_len s truncates s to at most max_len characters, preserving both the beginning and end with ellipsis in the middle if truncation occurs.