On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package interval-map
Parameters
module Bound_compare : ComparableSignature
module Bound : sig ... endmodule Interval : sig ... endmodule Query_results : sig ... endval empty : 'a tempty is an empty interval map.
val size : 'a t -> intsize map returns the number of values stored in the map. Multiple values may be stored with each interval, so the number of values is not necessarily the same as the number of intervals.
val add : Interval.t -> 'a -> 'a t -> 'a tinsert interval value map adds value to map associated with interval.
val query_interval : Interval.t -> 'a t -> 'a Query_results.tquery_interval interval map finds all values associated with interval in the map. Results are provided as a generator, which traverses the map as results are read.
val query_interval_list : Interval.t -> 'a t -> (Interval.t * 'a list) listquery_interval interval map finds all values associated with interval in the map and returns the results as a list.
On This Page