merlin-lib.ocaml_utils
Diffing.Define
Define(Defs) creates the diffing types from the types defined in Defs and the functors that need to be instantatied with the diffing algorithm parameters
Define(Defs)
Defs
merlin-lib.analysis
merlin-lib.commands
merlin-lib.config
merlin-lib.dot_protocol
merlin-lib.extend
merlin-lib.kernel
merlin-lib.ocaml_compression
merlin-lib.ocaml_merlin_specific
merlin-lib.ocaml_parsing
merlin-lib.ocaml_preprocess
merlin-lib.ocaml_typing
merlin-lib.os_ipc
merlin-lib.query_commands
merlin-lib.query_protocol
merlin-lib.sherlodoc
merlin-lib.utils
module D : Defs
type nonrec change = (D.left, D.right, D.eq, D.diff) change
The type of potential changes on a list.
type patch = change list
A patch is an ordered list of changes.
module type Parameters = sig ... end
module type S = sig ... end
module Simple (_ : Parameters with type update_result := D.state) : S
module Left_variadic (_ : Parameters with type update_result := D.state * D.left array) : S
module Right_variadic (_ : Parameters with type update_result := D.state * D.right array) : S