Prometheus.Summary
A summary is a metric that records both the number of readings and their total. This allows calculating the average.
include METRIC
A collection of metrics that are the same except for their labels. e.g. "Number of HTTP responses"
val v_labels :
label_names:string list ->
?registry:CollectorRegistry.t ->
help:string ->
?namespace:string ->
?subsystem:string ->
string ->
family
v_labels ~label_names ~help ~namespace ~subsystem name
is a family of metrics with full name namespace_subsystem_name
and documentation string help
. Each metric in the family will provide a value for each of the labels. The new family is registered with registry
(default: CollectorRegistry.default
).
labels family label_values
is the metric in family
with these values for the labels. The order of the values must be the same as the order of the label_names
passed to v_labels
; you may wish to write a wrapper function with labelled arguments to avoid mistakes. If this is called multiple times with the same set of values, the existing metric will be returned.
val v_label :
label_name:string ->
?registry:CollectorRegistry.t ->
help:string ->
?namespace:string ->
?subsystem:string ->
string ->
string ->
t
v_label
is a convenience wrapper around v_labels
for the case where there is a single label. The result is a function from the single label's value to the metric.
val v :
?registry:CollectorRegistry.t ->
help:string ->
?namespace:string ->
?subsystem:string ->
string ->
t
v
is a convenience wrapper around v_labels
for the case where there are no labels.
val clear : family -> unit
clear
will clean every metric that was sent.
val clear_specific : family -> string list -> unit
clear_specific t labels
will clear a specific metric t
that matches the given labels
.
val observe : ?n:float -> t -> float -> unit
observe ?n t v
increases the total by v
and the count by n
(default: by one).
val time : t -> (unit -> float) -> (unit -> 'a Lwt.t) -> 'a Lwt.t
time t gettime f
calls gettime ()
before and after executing f ()
and observes the difference.