themis/internal/metric/counter

Types

pub type Counter
pub type CounterError {
  RecordAlreadyExists
  RecordNotFound
  NameError(metric.MetricError)
}

Constructors

  • RecordAlreadyExists
  • RecordNotFound
  • NameError(metric.MetricError)

Functions

pub fn delete_record(
  from from: Metric(Counter, Number, Nil),
  labels labels: LabelSet,
) -> Metric(Counter, Number, Nil)
pub fn increment(
  from from: Metric(Counter, Number, Nil),
  labels labels: LabelSet,
) -> Metric(Counter, Number, Nil)
pub fn increment_by(
  from from: Metric(Counter, Number, Nil),
  labels labels: LabelSet,
  by by: Number,
) -> Metric(Counter, Number, Nil)
pub fn init_record(
  from from: Metric(Counter, Number, Nil),
  with_labels labels: LabelSet,
) -> Metric(Counter, Number, Nil)
pub fn new(
  name name: String,
  description description: String,
) -> Result(
  #(MetricName, Metric(Counter, Number, Nil)),
  MetricError,
)
pub fn new_name(
  name name: String,
) -> Result(MetricName, MetricError)
pub fn print(
  metric metric: Metric(Counter, Number, Nil),
  name name: MetricName,
) -> String
Search Document