metric

Types

Metric

pub type Metric(kind, record_type, extra) {
  Metric(
    description: String,
    records: Dict(label.LabelSet, record_type),
    extra: extra,
  )
}

Constructors

Metric(
  description: String,
  records: Dict(label.LabelSet, record_type),
  extra: extra,
)

MetricError

</>

pub type MetricError {
  InvalidMetricName
  InvalidWordInName(word: String)
}

Constructors

```
InvalidMetricName
```
```
InvalidWordInName(word: String)
```

MetricName

opaque </>

pub opaque type MetricName

Functions

is_valid_name

</>

pub fn is_valid_name(name: String) -> Bool

name_to_string

</>

pub fn name_to_string(from from: MetricName) -> String

new_name

</>

pub fn new_name(
  from: String,
  blacklist: List(String),
) -> Result(MetricName, MetricError)