meter: add emit

This commit is contained in:
Simon Cruanes 2026-03-05 15:07:28 -05:00
parent a28f24d14f
commit 0c29da4302
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 5 additions and 0 deletions

View file

@ -10,6 +10,8 @@ let dummy : t = { emit = Emitter.dummy; clock = Clock.ptime_clock }
let[@inline] enabled (self : t) = Emitter.enabled self.emit
let[@inline] emit self ms : unit = Emitter.emit self.emit ms
let[@inline] emit1 (self : t) (m : Metrics.t) : unit =
Emitter.emit self.emit [ m ]

View file

@ -21,6 +21,9 @@ val enabled : t -> bool
val of_exporter : Exporter.t -> t
(** Create a meter from an exporter *)
val emit : t -> Metrics.t list -> unit
(** Emit metrics directly, bypassing the instrument registry *)
val emit1 : t -> Metrics.t -> unit
(** Emit a single metric directly, bypassing the instrument registry *)