simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 11:15:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

style

Browse source
This commit is contained in:
Simon Cruanes 2015-09-27 22:26:21 +02:00
parent 179cafde9e
commit a015b61208
2 changed files with 48 additions and 48 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

48
src/string/CCLevenshtein.ml
View file

@ -130,70 +130,70 @@ module type S = sig
(** {6 Edit Distance} *) (** {6 Edit Distance} *)
val edit_distance : string_ -> string_ -> int val edit_distance : string_ -> string_ -> int
(** Edition distance between two strings. This satisfies the classical (** Edition distance between two strings. This satisfies the classical
distance axioms: it is always positive, symmetric, and satisfies distance axioms: it is always positive, symmetric, and satisfies
the formula [distance a b + distance b c >= distance a c] *) the formula [distance a b + distance b c >= distance a c] *)
(** {6 Automaton} (** {6 Automaton}
An automaton, built from a string [s] and a limit [n], that accepts An automaton, built from a string [s] and a limit [n], that accepts
every string that is at distance at most [n] from [s]. *) every string that is at distance at most [n] from [s]. *)
type automaton type automaton
(** Levenshtein automaton *) (** Levenshtein automaton *)
val of_string : limit:int -> string_ -> automaton val of_string : limit:int -> string_ -> automaton
(** Build an automaton from a string, with a maximal distance [limit]. (** Build an automaton from a string, with a maximal distance [limit].
The automaton will accept strings whose {!edit_distance} to the The automaton will accept strings whose {!edit_distance} to the
parameter is at most [limit]. *) parameter is at most [limit]. *)
val of_list : limit:int -> char_ list -> automaton val of_list : limit:int -> char_ list -> automaton
(** Build an automaton from a list, with a maximal distance [limit] *) (** Build an automaton from a list, with a maximal distance [limit] *)
val debug_print : (out_channel -> char_ -> unit) -> val debug_print : (out_channel -> char_ -> unit) ->
out_channel -> automaton -> unit out_channel -> automaton -> unit
(** Output the automaton's structure on the given channel. *) (** Output the automaton's structure on the given channel. *)
val match_with : automaton -> string_ -> bool val match_with : automaton -> string_ -> bool
(** [match_with a s] matches the string [s] against [a], and returns (** [match_with a s] matches the string [s] against [a], and returns
[true] if the distance from [s] to the word represented by [a] is smaller [true] if the distance from [s] to the word represented by [a] is smaller
than the limit used to build [a] *) than the limit used to build [a] *)
(** {6 Index for one-to-many matching} *) (** {6 Index for one-to-many matching} *)
module Index : sig module Index : sig
type 'b t type 'b t
(** Index that maps strings to values of type 'b. Internally it is (** Index that maps strings to values of type 'b. Internally it is
based on a trie. A string can only map to one value. *) based on a trie. A string can only map to one value. *)
val empty : 'b t val empty : 'b t
(** Empty index *) (** Empty index *)
val is_empty : _ t -> bool val is_empty : _ t -> bool
val add : 'b t -> string_ -> 'b -> 'b t val add : 'b t -> string_ -> 'b -> 'b t
(** Add a pair string/value to the index. If a value was already present (** Add a pair string/value to the index. If a value was already present
for this string it is replaced. *) for this string it is replaced. *)
val remove : 'b t -> string_ -> 'b t val remove : 'b t -> string_ -> 'b t
(** Remove a string (and its associated value, if any) from the index. *) (** Remove a string (and its associated value, if any) from the index. *)
val retrieve : limit:int -> 'b t -> string_ -> 'b klist val retrieve : limit:int -> 'b t -> string_ -> 'b klist
(** Lazy list of objects associated to strings close to the query string *) (** Lazy list of objects associated to strings close to the query string *)
val of_list : (string_ * 'b) list -> 'b t val of_list : (string_ * 'b) list -> 'b t
(** Build an index from a list of pairs of strings and values *) (** Build an index from a list of pairs of strings and values *)
val to_list : 'b t -> (string_ * 'b) list val to_list : 'b t -> (string_ * 'b) list
(** Extract a list of pairs from an index *) (** Extract a list of pairs from an index *)
val fold : ('a -> string_ -> 'b -> 'a) -> 'a -> 'b t -> 'a val fold : ('a -> string_ -> 'b -> 'a) -> 'a -> 'b t -> 'a
(** Fold over the stored pairs string/value *) (** Fold over the stored pairs string/value *)
val iter : (string_ -> 'b -> unit) -> 'b t -> unit val iter : (string_ -> 'b -> unit) -> 'b t -> unit
(** Iterate on the pairs *) (** Iterate on the pairs *)
val to_klist : 'b t -> (string_ * 'b) klist val to_klist : 'b t -> (string_ * 'b) klist
(** Conversion to an iterator *) (** Conversion to an iterator *)
end end
end end

48
src/string/CCLevenshtein.mli
View file

@ -97,70 +97,70 @@ module type S = sig
(** {6 Edit Distance} *) (** {6 Edit Distance} *)
val edit_distance : string_ -> string_ -> int val edit_distance : string_ -> string_ -> int
(** Edition distance between two strings. This satisfies the classical (** Edition distance between two strings. This satisfies the classical
distance axioms: it is always positive, symmetric, and satisfies distance axioms: it is always positive, symmetric, and satisfies
the formula [distance a b + distance b c >= distance a c] *) the formula [distance a b + distance b c >= distance a c] *)
(** {6 Automaton} (** {6 Automaton}
An automaton, built from a string [s] and a limit [n], that accepts An automaton, built from a string [s] and a limit [n], that accepts
every string that is at distance at most [n] from [s]. *) every string that is at distance at most [n] from [s]. *)
type automaton type automaton
(** Levenshtein automaton *) (** Levenshtein automaton *)
val of_string : limit:int -> string_ -> automaton val of_string : limit:int -> string_ -> automaton
(** Build an automaton from a string, with a maximal distance [limit]. (** Build an automaton from a string, with a maximal distance [limit].
The automaton will accept strings whose {!edit_distance} to the The automaton will accept strings whose {!edit_distance} to the
parameter is at most [limit]. *) parameter is at most [limit]. *)
val of_list : limit:int -> char_ list -> automaton val of_list : limit:int -> char_ list -> automaton
(** Build an automaton from a list, with a maximal distance [limit] *) (** Build an automaton from a list, with a maximal distance [limit] *)
val debug_print : (out_channel -> char_ -> unit) -> val debug_print : (out_channel -> char_ -> unit) ->
out_channel -> automaton -> unit out_channel -> automaton -> unit
(** Output the automaton's structure on the given channel. *) (** Output the automaton's structure on the given channel. *)
val match_with : automaton -> string_ -> bool val match_with : automaton -> string_ -> bool
(** [match_with a s] matches the string [s] against [a], and returns (** [match_with a s] matches the string [s] against [a], and returns
[true] if the distance from [s] to the word represented by [a] is smaller [true] if the distance from [s] to the word represented by [a] is smaller
than the limit used to build [a] *) than the limit used to build [a] *)
(** {6 Index for one-to-many matching} *) (** {6 Index for one-to-many matching} *)
module Index : sig module Index : sig
type 'b t type 'b t
(** Index that maps strings to values of type 'b. Internally it is (** Index that maps strings to values of type 'b. Internally it is
based on a trie. A string can only map to one value. *) based on a trie. A string can only map to one value. *)
val empty : 'b t val empty : 'b t
(** Empty index *) (** Empty index *)
val is_empty : _ t -> bool val is_empty : _ t -> bool
val add : 'b t -> string_ -> 'b -> 'b t val add : 'b t -> string_ -> 'b -> 'b t
(** Add a pair string/value to the index. If a value was already present (** Add a pair string/value to the index. If a value was already present
for this string it is replaced. *) for this string it is replaced. *)
val remove : 'b t -> string_ -> 'b t val remove : 'b t -> string_ -> 'b t
(** Remove a string (and its associated value, if any) from the index. *) (** Remove a string (and its associated value, if any) from the index. *)
val retrieve : limit:int -> 'b t -> string_ -> 'b klist val retrieve : limit:int -> 'b t -> string_ -> 'b klist
(** Lazy list of objects associated to strings close to the query string *) (** Lazy list of objects associated to strings close to the query string *)
val of_list : (string_ * 'b) list -> 'b t val of_list : (string_ * 'b) list -> 'b t
(** Build an index from a list of pairs of strings and values *) (** Build an index from a list of pairs of strings and values *)
val to_list : 'b t -> (string_ * 'b) list val to_list : 'b t -> (string_ * 'b) list
(** Extract a list of pairs from an index *) (** Extract a list of pairs from an index *)
val fold : ('a -> string_ -> 'b -> 'a) -> 'a -> 'b t -> 'a val fold : ('a -> string_ -> 'b -> 'a) -> 'a -> 'b t -> 'a
(** Fold over the stored pairs string/value *) (** Fold over the stored pairs string/value *)
val iter : (string_ -> 'b -> unit) -> 'b t -> unit val iter : (string_ -> 'b -> unit) -> 'b t -> unit
(** Iterate on the pairs *) (** Iterate on the pairs *)
val to_klist : 'b t -> (string_ * 'b) klist val to_klist : 'b t -> (string_ * 'b) klist
(** Conversion to an iterator *) (** Conversion to an iterator *)
end end
end end