@depup/effect 3.20.0-depup.0

package/src/Metric.ts

@@ -0,0 +1,1165 @@
+/**
+ * @since 2.0.0
+ */
+import type * as Duration from "./Duration.js"
+import type * as Effect from "./Effect.js"
+import type { LazyArg } from "./Function.js"
+import * as fiberRuntime from "./internal/fiberRuntime.js"
+import * as internal from "./internal/metric.js"
+import type * as MetricBoundaries from "./MetricBoundaries.js"
+import type * as MetricKey from "./MetricKey.js"
+import type * as MetricKeyType from "./MetricKeyType.js"
+import type * as MetricLabel from "./MetricLabel.js"
+import type * as MetricPair from "./MetricPair.js"
+import type * as MetricRegistry from "./MetricRegistry.js"
+import type * as MetricState from "./MetricState.js"
+import type { Pipeable } from "./Pipeable.js"
+import type * as Types from "./Types.js"
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export const MetricTypeId: unique symbol = internal.MetricTypeId
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export type MetricTypeId = typeof MetricTypeId
+
+/**
+ * A `Metric<Type, In, Out>` represents a concurrent metric which accepts
+ * updates of type `In` and are aggregated to a stateful value of type `Out`.
+ *
+ * For example, a counter metric would have type `Metric<number, number>`,
+ * representing the fact that the metric can be updated with numbers (the amount
+ * to increment or decrement the counter by), and the state of the counter is a
+ * number.
+ *
+ * There are five primitive metric types supported by Effect:
+ *
+ *   - Counters
+ *   - Frequencies
+ *   - Gauges
+ *   - Histograms
+ *   - Summaries
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export interface Metric<in out Type, in In, out Out> extends Metric.Variance<Type, In, Out>, Pipeable {
+  /**
+   * The type of the underlying primitive metric. For example, this could be
+   * `MetricKeyType.Counter` or `MetricKeyType.Gauge`.
+   */
+  readonly keyType: Type
+  unsafeUpdate(input: In, extraTags: ReadonlyArray<MetricLabel.MetricLabel>): void
+  unsafeValue(extraTags: ReadonlyArray<MetricLabel.MetricLabel>): Out
+  unsafeModify(input: In, extraTags: ReadonlyArray<MetricLabel.MetricLabel>): void
+  register(): this
+  <A extends In, E, R>(effect: Effect.Effect<A, E, R>): Effect.Effect<A, E, R>
+}
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export interface MetricApply {
+  <Type, In, Out>(
+    keyType: Type,
+    unsafeUpdate: (input: In, extraTags: ReadonlyArray<MetricLabel.MetricLabel>) => void,
+    unsafeValue: (extraTags: ReadonlyArray<MetricLabel.MetricLabel>) => Out,
+    unsafeModify: (input: In, extraTags: ReadonlyArray<MetricLabel.MetricLabel>) => void
+  ): Metric<Type, In, Out>
+}
+
+/**
+ * @since 2.0.0
+ */
+export declare namespace Metric {
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Counter<In extends number | bigint>
+    extends Metric<MetricKeyType.MetricKeyType.Counter<In>, In, MetricState.MetricState.Counter<In>>
+  {}
+
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Gauge<In extends number | bigint>
+    extends Metric<MetricKeyType.MetricKeyType.Gauge<In>, In, MetricState.MetricState.Gauge<In>>
+  {}
+
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Frequency<In>
+    extends Metric<MetricKeyType.MetricKeyType.Frequency, In, MetricState.MetricState.Frequency>
+  {}
+
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Histogram<In>
+    extends Metric<MetricKeyType.MetricKeyType.Histogram, In, MetricState.MetricState.Histogram>
+  {}
+
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Summary<In>
+    extends Metric<MetricKeyType.MetricKeyType.Summary, In, MetricState.MetricState.Summary>
+  {}
+
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Variance<in out Type, in In, out Out> {
+    readonly [MetricTypeId]: {
+      readonly _Type: Types.Invariant<Type>
+      readonly _In: Types.Contravariant<In>
+      readonly _Out: Types.Covariant<Out>
+    }
+  }
+}
+
+/**
+ * @since 2.0.0
+ * @category globals
+ */
+export const globalMetricRegistry: MetricRegistry.MetricRegistry = internal.globalMetricRegistry
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const make: MetricApply = internal.make
+
+/**
+ * Returns a new metric that is powered by this one, but which accepts updates
+ * of the specified new type, which must be transformable to the input type of
+ * this metric.
+ *
+ * @since 2.0.0
+ * @category mapping
+ */
+export const mapInput: {
+  /**
+   * Returns a new metric that is powered by this one, but which accepts updates
+   * of the specified new type, which must be transformable to the input type of
+   * this metric.
+   *
+   * @since 2.0.0
+   * @category mapping
+   */
+  <In, In2>(f: (input: In2) => In): <Type, Out>(self: Metric<Type, In, Out>) => Metric<Type, In2, Out>
+  /**
+   * Returns a new metric that is powered by this one, but which accepts updates
+   * of the specified new type, which must be transformable to the input type of
+   * this metric.
+   *
+   * @since 2.0.0
+   * @category mapping
+   */
+  <Type, In, Out, In2>(self: Metric<Type, In, Out>, f: (input: In2) => In): Metric<Type, In2, Out>
+} = internal.mapInput
+
+/**
+ * Represents a Counter metric that tracks cumulative numerical values over time.
+ * Counters can be incremented and decremented and provide a running total of changes.
+ *
+ * **Options**
+ *
+ * - description - A description of the counter.
+ * - bigint - Indicates if the counter uses 'bigint' data type.
+ * - incremental - Set to 'true' for a counter that only increases. With this configuration, Effect ensures that non-incremental updates have no impact on the counter, making it exclusively suitable for counting upwards.
+ *
+ * @example
+ * ```ts
+ * import { Metric } from "effect"
+ *
+ * const numberCounter = Metric.counter("count", {
+ *   description: "A number counter"
+ * });
+ *
+ * const bigintCounter = Metric.counter("count", {
+ *   description: "A bigint counter",
+ *   bigint: true
+ * });
+ * ```
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const counter: {
+  /**
+   * Represents a Counter metric that tracks cumulative numerical values over time.
+   * Counters can be incremented and decremented and provide a running total of changes.
+   *
+   * **Options**
+   *
+   * - description - A description of the counter.
+   * - bigint - Indicates if the counter uses 'bigint' data type.
+   * - incremental - Set to 'true' for a counter that only increases. With this configuration, Effect ensures that non-incremental updates have no impact on the counter, making it exclusively suitable for counting upwards.
+   *
+   * @example
+   * ```ts
+   * import { Metric } from "effect"
+   *
+   * const numberCounter = Metric.counter("count", {
+   *   description: "A number counter"
+   * });
+   *
+   * const bigintCounter = Metric.counter("count", {
+   *   description: "A bigint counter",
+   *   bigint: true
+   * });
+   * ```
+   *
+   * @since 2.0.0
+   * @category constructors
+   */
+  (
+    name: string,
+    options?: {
+      readonly description?: string | undefined
+      readonly bigint?: false | undefined
+      readonly incremental?: boolean | undefined
+    }
+  ): Metric.Counter<number>
+  /**
+   * Represents a Counter metric that tracks cumulative numerical values over time.
+   * Counters can be incremented and decremented and provide a running total of changes.
+   *
+   * **Options**
+   *
+   * - description - A description of the counter.
+   * - bigint - Indicates if the counter uses 'bigint' data type.
+   * - incremental - Set to 'true' for a counter that only increases. With this configuration, Effect ensures that non-incremental updates have no impact on the counter, making it exclusively suitable for counting upwards.
+   *
+   * @example
+   * ```ts
+   * import { Metric } from "effect"
+   *
+   * const numberCounter = Metric.counter("count", {
+   *   description: "A number counter"
+   * });
+   *
+   * const bigintCounter = Metric.counter("count", {
+   *   description: "A bigint counter",
+   *   bigint: true
+   * });
+   * ```
+   *
+   * @since 2.0.0
+   * @category constructors
+   */
+  (
+    name: string,
+    options: {
+      readonly description?: string | undefined
+      readonly bigint: true
+      readonly incremental?: boolean | undefined
+    }
+  ): Metric.Counter<bigint>
+} = internal.counter
+
+/**
+ * Creates a Frequency metric to count occurrences of events.
+ * Frequency metrics are used to count the number of times specific events or incidents occur.
+ *
+ * @example
+ * ```ts
+ * import { Metric } from "effect"
+ *
+ * const errorFrequency = Metric.frequency("error_frequency", {
+ *    description: "Counts the occurrences of errors."
+ * });
+ * ```
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const frequency: (
+  name: string,
+  options?:
+    | { readonly description?: string | undefined; readonly preregisteredWords?: ReadonlyArray<string> | undefined }
+    | undefined
+) => Metric.Frequency<string> = internal.frequency
+
+/**
+ * Returns a new metric that is powered by this one, but which accepts updates
+ * of any type, and translates them to updates with the specified constant
+ * update value.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const withConstantInput: {
+  /**
+   * Returns a new metric that is powered by this one, but which accepts updates
+   * of any type, and translates them to updates with the specified constant
+   * update value.
+   *
+   * @since 2.0.0
+   * @category constructors
+   */
+  <In>(input: In): <Type, Out>(self: Metric<Type, In, Out>) => Metric<Type, unknown, Out>
+  /**
+   * Returns a new metric that is powered by this one, but which accepts updates
+   * of any type, and translates them to updates with the specified constant
+   * update value.
+   *
+   * @since 2.0.0
+   * @category constructors
+   */
+  <Type, In, Out>(self: Metric<Type, In, Out>, input: In): Metric<Type, unknown, Out>
+} = internal.withConstantInput
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const fromMetricKey: <Type extends MetricKeyType.MetricKeyType<any, any>>(
+  key: MetricKey.MetricKey<Type>
+) => Metric<Type, MetricKeyType.MetricKeyType.InType<Type>, MetricKeyType.MetricKeyType.OutType<Type>> =
+  internal.fromMetricKey
+
+/**
+ * Represents a Gauge metric that tracks and reports a single numerical value at a specific moment.
+ * Gauges are suitable for metrics that represent instantaneous values, such as memory usage or CPU load.
+ *
+ * **Options**
+ *
+ * - description - A description of the gauge metric.
+ * - bigint - Indicates if the counter uses 'bigint' data type.
+ *
+ * @example
+ * ```ts
+ * import { Metric } from "effect"
+ *
+ * const numberGauge = Metric.gauge("memory_usage", {
+ *   description: "A gauge for memory usage"
+ * });
+ *
+ * const bigintGauge = Metric.gauge("cpu_load", {
+ *   description: "A gauge for CPU load",
+ *   bigint: true
+ * });
+ * ```
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const gauge: {
+  /**
+   * Represents a Gauge metric that tracks and reports a single numerical value at a specific moment.
+   * Gauges are suitable for metrics that represent instantaneous values, such as memory usage or CPU load.
+   *
+   * **Options**
+   *
+   * - description - A description of the gauge metric.
+   * - bigint - Indicates if the counter uses 'bigint' data type.
+   *
+   * @example
+   * ```ts
+   * import { Metric } from "effect"
+   *
+   * const numberGauge = Metric.gauge("memory_usage", {
+   *   description: "A gauge for memory usage"
+   * });
+   *
+   * const bigintGauge = Metric.gauge("cpu_load", {
+   *   description: "A gauge for CPU load",
+   *   bigint: true
+   * });
+   * ```
+   *
+   * @since 2.0.0
+   * @category constructors
+   */
+  (
+    name: string,
+    options?: {
+      readonly description?: string | undefined
+      readonly bigint?: false | undefined
+    }
+  ): Metric.Gauge<number>
+  /**
+   * Represents a Gauge metric that tracks and reports a single numerical value at a specific moment.
+   * Gauges are suitable for metrics that represent instantaneous values, such as memory usage or CPU load.
+   *
+   * **Options**
+   *
+   * - description - A description of the gauge metric.
+   * - bigint - Indicates if the counter uses 'bigint' data type.
+   *
+   * @example
+   * ```ts
+   * import { Metric } from "effect"
+   *
+   * const numberGauge = Metric.gauge("memory_usage", {
+   *   description: "A gauge for memory usage"
+   * });
+   *
+   * const bigintGauge = Metric.gauge("cpu_load", {
+   *   description: "A gauge for CPU load",
+   *   bigint: true
+   * });
+   * ```
+   *
+   * @since 2.0.0
+   * @category constructors
+   */
+  (
+    name: string,
+    options: {
+      readonly description?: string | undefined
+      readonly bigint: true
+    }
+  ): Metric.Gauge<bigint>
+} = internal.gauge
+
+/**
+ * Represents a Histogram metric that records observations in specified value boundaries.
+ * Histogram metrics are useful for measuring the distribution of values within a range.
+ *
+ * @example
+ * ```ts
+ * import { Metric, MetricBoundaries } from "effect"
+ *
+ * const latencyHistogram = Metric.histogram("latency_histogram",
+ *   MetricBoundaries.linear({ start: 0, width: 10, count: 11 }),
+ *   "Measures the distribution of request latency."
+ * );
+ * ```
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const histogram: (
+  name: string,
+  boundaries: MetricBoundaries.MetricBoundaries,
+  description?: string
+) => Metric<MetricKeyType.MetricKeyType.Histogram, number, MetricState.MetricState.Histogram> = internal.histogram
+
+/**
+ * @since 2.0.0
+ * @category combinators
+ */
+export const increment: (
+  self: Metric.Counter<number> | Metric.Counter<bigint> | Metric.Gauge<number> | Metric.Gauge<bigint>
+) => Effect.Effect<void> = internal.increment
+
+/**
+ * @since 2.0.0
+ * @category combinators
+ */
+export const incrementBy: {
+  /**
+   * @since 2.0.0
+   * @category combinators
+   */
+  (amount: number): (self: Metric.Counter<number> | Metric.Counter<number>) => Effect.Effect<void>
+  /**
+   * @since 2.0.0
+   * @category combinators
+   */
+  (amount: bigint): (self: Metric.Counter<bigint> | Metric.Gauge<bigint>) => Effect.Effect<void>
+  /**
+   * @since 2.0.0
+   * @category combinators
+   */
+  (self: Metric.Counter<number> | Metric.Gauge<number>, amount: number): Effect.Effect<void>
+  /**
+   * @since 2.0.0
+   * @category combinators
+   */
+  (self: Metric.Counter<bigint> | Metric.Gauge<bigint>, amount: bigint): Effect.Effect<void>
+} = internal.incrementBy
+
+/**
+ * Returns a new metric that is powered by this one, but which outputs a new
+ * state type, determined by transforming the state type of this metric by the
+ * specified function.
+ *
+ * @since 2.0.0
+ * @category mapping
+ */
+export const map: {
+  /**
+   * Returns a new metric that is powered by this one, but which outputs a new
+   * state type, determined by transforming the state type of this metric by the
+   * specified function.
+   *
+   * @since 2.0.0
+   * @category mapping
+   */
+  <Out, Out2>(f: (out: Out) => Out2): <Type, In>(self: Metric<Type, In, Out>) => Metric<Type, In, Out2>
+  /**
+   * Returns a new metric that is powered by this one, but which outputs a new
+   * state type, determined by transforming the state type of this metric by the
+   * specified function.
+   *
+   * @since 2.0.0
+   * @category mapping
+   */
+  <Type, In, Out, Out2>(self: Metric<Type, In, Out>, f: (out: Out) => Out2): Metric<Type, In, Out2>
+} = internal.map
+
+/**
+ * @since 2.0.0
+ * @category mapping
+ */
+export const mapType: {
+  /**
+   * @since 2.0.0
+   * @category mapping
+   */
+  <Type, Type2>(f: (type: Type) => Type2): <In, Out>(self: Metric<Type, In, Out>) => Metric<Type2, In, Out>
+  /**
+   * @since 2.0.0
+   * @category mapping
+   */
+  <Type, In, Out, Type2>(self: Metric<Type, In, Out>, f: (type: Type) => Type2): Metric<Type2, In, Out>
+} = internal.mapType
+
+/**
+ * Modifies the metric with the specified update message. For example, if the
+ * metric were a gauge, the update would increment the method by the provided
+ * amount.
+ *
+ * @since 3.6.5
+ * @category utils
+ */
+export const modify: {
+  /**
+   * Modifies the metric with the specified update message. For example, if the
+   * metric were a gauge, the update would increment the method by the provided
+   * amount.
+   *
+   * @since 3.6.5
+   * @category utils
+   */
+  <In>(input: In): <Type, Out>(self: Metric<Type, In, Out>) => Effect.Effect<void>
+  /**
+   * Modifies the metric with the specified update message. For example, if the
+   * metric were a gauge, the update would increment the method by the provided
+   * amount.
+   *
+   * @since 3.6.5
+   * @category utils
+   */
+  <Type, In, Out>(self: Metric<Type, In, Out>, input: In): Effect.Effect<void>
+} = internal.modify
+
+/**
+ * @since 2.0.0
+ * @category aspects
+ */
+export const set: {
+  /**
+   * @since 2.0.0
+   * @category aspects
+   */
+  (value: number): (self: Metric.Gauge<number>) => Effect.Effect<void>
+  /**
+   * @since 2.0.0
+   * @category aspects
+   */
+  (value: bigint): (self: Metric.Gauge<bigint>) => Effect.Effect<void>
+  /**
+   * @since 2.0.0
+   * @category aspects
+   */
+  (self: Metric.Gauge<number>, value: number): Effect.Effect<void>
+  /**
+   * @since 2.0.0
+   * @category aspects
+   */
+  (self: Metric.Gauge<bigint>, value: bigint): Effect.Effect<void>
+} = internal.set
+
+/**
+ * Captures a snapshot of all metrics recorded by the application.
+ *
+ * @since 2.0.0
+ * @category getters
+ */
+export const snapshot: Effect.Effect<Array<MetricPair.MetricPair.Untyped>> = internal.snapshot
+
+/**
+ * Creates a metric that ignores input and produces constant output.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const succeed: <Out>(out: Out) => Metric<void, unknown, Out> = internal.succeed
+
+/**
+ * Creates a metric that ignores input and produces constant output.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const sync: <Out>(evaluate: LazyArg<Out>) => Metric<void, unknown, Out> = internal.sync
+
+/**
+ * Creates a Summary metric that records observations and calculates quantiles.
+ * Summary metrics provide statistical information about a set of values, including quantiles.
+ *
+ * **Options**
+ *
+ * - name - The name of the Summary metric.
+ * - maxAge - The maximum age of observations to retain.
+ * - maxSize - The maximum number of observations to keep.
+ * - error - The error percentage when calculating quantiles.
+ * - quantiles - An `Chunk` of quantiles to calculate (e.g., [0.5, 0.9]).
+ * - description - An optional description of the Summary metric.
+ *
+ * @example
+ * ```ts
+ * import { Metric, Chunk } from "effect"
+ *
+ * const responseTimesSummary = Metric.summary({
+ *   name: "response_times_summary",
+ *   maxAge: "60 seconds", // Retain observations for 60 seconds.
+ *   maxSize: 1000, // Keep a maximum of 1000 observations.
+ *   error: 0.01, // Allow a 1% error when calculating quantiles.
+ *   quantiles: [0.5, 0.9, 0.99], // Calculate 50th, 90th, and 99th percentiles.
+ *   description: "Measures the distribution of response times."
+ * });
+ * ```
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const summary: (
+  options: {
+    readonly name: string
+    readonly maxAge: Duration.DurationInput
+    readonly maxSize: number
+    readonly error: number
+    readonly quantiles: ReadonlyArray<number>
+    readonly description?: string | undefined
+  }
+) => Metric.Summary<number> = internal.summary
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const summaryTimestamp: (
+  options: {
+    readonly name: string
+    readonly maxAge: Duration.DurationInput
+    readonly maxSize: number
+    readonly error: number
+    readonly quantiles: ReadonlyArray<number>
+    readonly description?: string | undefined
+  }
+) => Metric.Summary<readonly [value: number, timestamp: number]> // readonly because contravariant
+ = internal.summaryTimestamp
+
+/**
+ * Returns a new metric, which is identical in every way to this one, except
+ * the specified tags have been added to the tags of this metric.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const tagged: {
+  /**
+   * Returns a new metric, which is identical in every way to this one, except
+   * the specified tags have been added to the tags of this metric.
+   *
+   * @since 2.0.0
+   * @category utils
+   */
+  <Type, In, Out>(key: string, value: string): (self: Metric<Type, In, Out>) => Metric<Type, In, Out>
+  /**
+   * Returns a new metric, which is identical in every way to this one, except
+   * the specified tags have been added to the tags of this metric.
+   *
+   * @since 2.0.0
+   * @category utils
+   */
+  <Type, In, Out>(self: Metric<Type, In, Out>, key: string, value: string): Metric<Type, In, Out>
+} = internal.tagged
+
+/**
+ * Returns a new metric, which is identical in every way to this one, except
+ * dynamic tags are added based on the update values. Note that the metric
+ * returned by this method does not return any useful information, due to the
+ * dynamic nature of the added tags.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const taggedWithLabelsInput: {
+  /**
+   * Returns a new metric, which is identical in every way to this one, except
+   * dynamic tags are added based on the update values. Note that the metric
+   * returned by this method does not return any useful information, due to the
+   * dynamic nature of the added tags.
+   *
+   * @since 2.0.0
+   * @category utils
+   */
+  <In>(f: (input: In) => Iterable<MetricLabel.MetricLabel>): <Type, Out>(self: Metric<Type, In, Out>) => Metric<Type, In, void>
+  /**
+   * Returns a new metric, which is identical in every way to this one, except
+   * dynamic tags are added based on the update values. Note that the metric
+   * returned by this method does not return any useful information, due to the
+   * dynamic nature of the added tags.
+   *
+   * @since 2.0.0
+   * @category utils
+   */
+  <Type, In, Out>(
+    self: Metric<Type, In, Out>,
+    f: (input: In) => Iterable<MetricLabel.MetricLabel>
+  ): Metric<Type, In, void>
+} = internal.taggedWithLabelsInput
+
+/**
+ * Returns a new metric, which is identical in every way to this one, except
+ * the specified tags have been added to the tags of this metric.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const taggedWithLabels: {
+  /**
+   * Returns a new metric, which is identical in every way to this one, except
+   * the specified tags have been added to the tags of this metric.
+   *
+   * @since 2.0.0
+   * @category utils
+   */
+  <Type, In, Out>(extraTags: Iterable<MetricLabel.MetricLabel>): (self: Metric<Type, In, Out>) => Metric<Type, In, Out>
+  /**
+   * Returns a new metric, which is identical in every way to this one, except
+   * the specified tags have been added to the tags of this metric.
+   *
+   * @since 2.0.0
+   * @category utils
+   */
+  <Type, In, Out>(self: Metric<Type, In, Out>, extraTags: Iterable<MetricLabel.MetricLabel>): Metric<Type, In, Out>
+} = internal.taggedWithLabels
+
+/**
+ * Creates a timer metric, based on a histogram, which keeps track of
+ * durations in milliseconds. The unit of time will automatically be added to
+ * the metric as a tag (i.e. `"time_unit: milliseconds"`).
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const timer: (
+  name: string,
+  description?: string
+) => Metric<MetricKeyType.MetricKeyType.Histogram, Duration.Duration, MetricState.MetricState.Histogram> =
+  internal.timer
+
+/**
+ * Creates a timer metric, based on a histogram created from the provided
+ * boundaries, which keeps track of durations in milliseconds. The unit of time
+ * will automatically be added to the metric as a tag (i.e.
+ * `"time_unit: milliseconds"`).
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const timerWithBoundaries: (
+  name: string,
+  boundaries: ReadonlyArray<number>,
+  description?: string
+) => Metric<MetricKeyType.MetricKeyType.Histogram, Duration.Duration, MetricState.MetricState.Histogram> =
+  internal.timerWithBoundaries
+
+/**
+ * Returns an aspect that will update this metric with the specified constant
+ * value every time the aspect is applied to an effect, regardless of whether
+ * that effect fails or succeeds.
+ *
+ * @since 2.0.0
+ * @category aspects
+ */
+export const trackAll: {
+  /**
+   * Returns an aspect that will update this metric with the specified constant
+   * value every time the aspect is applied to an effect, regardless of whether
+   * that effect fails or succeeds.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <In>(input: In): <Type, Out>(self: Metric<Type, In, Out>) => <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
+  /**
+   * Returns an aspect that will update this metric with the specified constant
+   * value every time the aspect is applied to an effect, regardless of whether
+   * that effect fails or succeeds.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <Type, In, Out>(self: Metric<Type, In, Out>, input: In): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
+} = internal.trackAll
+
+/**
+ * Returns an aspect that will update this metric with the defects of the
+ * effects that it is applied to.
+ *
+ * @since 2.0.0
+ * @category aspects
+ */
+export const trackDefect: {
+  /**
+   * Returns an aspect that will update this metric with the defects of the
+   * effects that it is applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <Type, Out>(metric: Metric<Type, unknown, Out>): <A, E, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
+  /**
+   * Returns an aspect that will update this metric with the defects of the
+   * effects that it is applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <A, E, R, Type, Out>(self: Effect.Effect<A, E, R>, metric: Metric<Type, unknown, Out>): Effect.Effect<A, E, R>
+} = internal.trackDefect
+
+/**
+ * Returns an aspect that will update this metric with the result of applying
+ * the specified function to the defect throwables of the effects that the
+ * aspect is applied to.
+ *
+ * @since 2.0.0
+ * @category aspects
+ */
+export const trackDefectWith: {
+  /**
+   * Returns an aspect that will update this metric with the result of applying
+   * the specified function to the defect throwables of the effects that the
+   * aspect is applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <Type, In, Out>(metric: Metric<Type, In, Out>, f: (defect: unknown) => In): <A, E, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
+  /**
+   * Returns an aspect that will update this metric with the result of applying
+   * the specified function to the defect throwables of the effects that the
+   * aspect is applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <A, E, R, Type, In, Out>(
+    self: Effect.Effect<A, E, R>,
+    metric: Metric<Type, In, Out>,
+    f: (defect: unknown) => In
+  ): Effect.Effect<A, E, R>
+} = internal.trackDefectWith
+
+/**
+ * Returns an aspect that will update this metric with the duration that the
+ * effect takes to execute. To call this method, the input type of the metric
+ * must be `Duration`.
+ *
+ * @since 2.0.0
+ * @category aspects
+ */
+export const trackDuration: {
+  /**
+   * Returns an aspect that will update this metric with the duration that the
+   * effect takes to execute. To call this method, the input type of the metric
+   * must be `Duration`.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <Type, Out>(metric: Metric<Type, Duration.Duration, Out>): <A, E, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
+  /**
+   * Returns an aspect that will update this metric with the duration that the
+   * effect takes to execute. To call this method, the input type of the metric
+   * must be `Duration`.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <A, E, R, Type, Out>(self: Effect.Effect<A, E, R>, metric: Metric<Type, Duration.Duration, Out>): Effect.Effect<A, E, R>
+} = internal.trackDuration
+
+/**
+ * Returns an aspect that will update this metric with the duration that the
+ * effect takes to execute. To call this method, you must supply a function
+ * that can convert the `Duration` to the input type of this metric.
+ *
+ * @since 2.0.0
+ * @category aspects
+ */
+export const trackDurationWith: {
+  /**
+   * Returns an aspect that will update this metric with the duration that the
+   * effect takes to execute. To call this method, you must supply a function
+   * that can convert the `Duration` to the input type of this metric.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <Type, In, Out>(metric: Metric<Type, In, Out>, f: (duration: Duration.Duration) => In): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
+  /**
+   * Returns an aspect that will update this metric with the duration that the
+   * effect takes to execute. To call this method, you must supply a function
+   * that can convert the `Duration` to the input type of this metric.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <A, E, R, Type, In, Out>(
+    self: Effect.Effect<A, E, R>,
+    metric: Metric<Type, In, Out>,
+    f: (duration: Duration.Duration) => In
+  ): Effect.Effect<A, E, R>
+} = internal.trackDurationWith
+
+/**
+ * Returns an aspect that will update this metric with the failure value of
+ * the effects that it is applied to.
+ *
+ * @since 2.0.0
+ * @category aspects
+ */
+export const trackError: {
+  /**
+   * Returns an aspect that will update this metric with the failure value of
+   * the effects that it is applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <Type, In, Out>(metric: Metric<Type, In, Out>): <A, E extends In, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
+  /**
+   * Returns an aspect that will update this metric with the failure value of
+   * the effects that it is applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <A, E extends In, R, Type, In, Out>(self: Effect.Effect<A, E, R>, metric: Metric<Type, In, Out>): Effect.Effect<A, E, R>
+} = internal.trackError
+
+/**
+ * Returns an aspect that will update this metric with the result of applying
+ * the specified function to the error value of the effects that the aspect is
+ * applied to.
+ *
+ * @since 2.0.0
+ * @category aspects
+ */
+export const trackErrorWith: {
+  /**
+   * Returns an aspect that will update this metric with the result of applying
+   * the specified function to the error value of the effects that the aspect is
+   * applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <Type, In, Out, In2>(metric: Metric<Type, In, Out>, f: (error: In2) => In): <A, E extends In2, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
+  /**
+   * Returns an aspect that will update this metric with the result of applying
+   * the specified function to the error value of the effects that the aspect is
+   * applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <A, E extends In2, R, Type, In, Out, In2>(
+    self: Effect.Effect<A, E, R>,
+    metric: Metric<Type, In, Out>,
+    f: (error: In2) => In
+  ): Effect.Effect<A, E, R>
+} = internal.trackErrorWith
+
+/**
+ * Returns an aspect that will update this metric with the success value of
+ * the effects that it is applied to.
+ *
+ * @since 2.0.0
+ * @category aspects
+ */
+export const trackSuccess: {
+  /**
+   * Returns an aspect that will update this metric with the success value of
+   * the effects that it is applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <Type, In, Out>(metric: Metric<Type, In, Out>): <A extends In, E, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
+  /**
+   * Returns an aspect that will update this metric with the success value of
+   * the effects that it is applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <A extends In, E, R, Type, In, Out>(self: Effect.Effect<A, E, R>, metric: Metric<Type, In, Out>): Effect.Effect<A, E, R>
+} = internal.trackSuccess
+
+/**
+ * Returns an aspect that will update this metric with the result of applying
+ * the specified function to the success value of the effects that the aspect is
+ * applied to.
+ *
+ * @since 2.0.0
+ * @category aspects
+ */
+export const trackSuccessWith: {
+  /**
+   * Returns an aspect that will update this metric with the result of applying
+   * the specified function to the success value of the effects that the aspect is
+   * applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <Type, In, Out, A>(metric: Metric<Type, In, Out>, f: (value: Types.NoInfer<A>) => In): <E, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>
+  /**
+   * Returns an aspect that will update this metric with the result of applying
+   * the specified function to the success value of the effects that the aspect is
+   * applied to.
+   *
+   * @since 2.0.0
+   * @category aspects
+   */
+  <A, E, R, Type, In, Out>(
+    self: Effect.Effect<A, E, R>,
+    metric: Metric<Type, In, Out>,
+    f: (value: Types.NoInfer<A>) => In
+  ): Effect.Effect<A, E, R>
+} = internal.trackSuccessWith
+
+/**
+ * Updates the metric with the specified update message. For example, if the
+ * metric were a counter, the update would increment the method by the
+ * provided amount.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const update: {
+  /**
+   * Updates the metric with the specified update message. For example, if the
+   * metric were a counter, the update would increment the method by the
+   * provided amount.
+   *
+   * @since 2.0.0
+   * @category utils
+   */
+  <In>(input: In): <Type, Out>(self: Metric<Type, In, Out>) => Effect.Effect<void>
+  /**
+   * Updates the metric with the specified update message. For example, if the
+   * metric were a counter, the update would increment the method by the
+   * provided amount.
+   *
+   * @since 2.0.0
+   * @category utils
+   */
+  <Type, In, Out>(self: Metric<Type, In, Out>, input: In): Effect.Effect<void>
+} = internal.update
+
+/**
+ * Retrieves a snapshot of the value of the metric at this moment in time.
+ *
+ * @since 2.0.0
+ * @category getters
+ */
+export const value: <Type, In, Out>(self: Metric<Type, In, Out>) => Effect.Effect<Out> = internal.value
+
+/**
+ * @since 2.0.0
+ * @category utils
+ */
+export const withNow: <Type, In, Out>(self: Metric<Type, readonly [In, number], Out>) => Metric<Type, In, Out> =
+  internal.withNow
+
+/**
+ * @since 2.0.0
+ * @category zipping
+ */
+export const zip: {
+  /**
+   * @since 2.0.0
+   * @category zipping
+   */
+  <Type2, In2, Out2>(that: Metric<Type2, In2, Out2>): <Type, In, Out>(
+    self: Metric<Type, In, Out>
+  ) => Metric<
+    readonly [Type, Type2], // readonly because invariant
+    readonly [In, In2], // readonly because contravariant
+    [Out, Out2]
+  >
+  /**
+   * @since 2.0.0
+   * @category zipping
+   */
+  <Type, In, Out, Type2, In2, Out2>(self: Metric<Type, In, Out>, that: Metric<Type2, In2, Out2>): Metric<
+    readonly [Type, Type2], // readonly because invariant
+    readonly [In, In2], // readonly because contravariant
+    [Out, Out2]
+  >
+} = internal.zip
+
+/**
+ * Unsafely captures a snapshot of all metrics recorded by the application.
+ *
+ * @since 2.0.0
+ * @category unsafe
+ */
+export const unsafeSnapshot: (_: void) => ReadonlyArray<MetricPair.MetricPair.Untyped> = internal.unsafeSnapshot
+
+/**
+ * @since 2.0.0
+ * @category metrics
+ */
+export const fiberStarted: Metric.Counter<number> = fiberRuntime.fiberStarted
+
+/**
+ * @since 2.0.0
+ * @category metrics
+ */
+export const fiberSuccesses: Metric.Counter<number> = fiberRuntime.fiberSuccesses
+
+/**
+ * @since 2.0.0
+ * @category metrics
+ */
+export const fiberFailures: Metric.Counter<number> = fiberRuntime.fiberFailures
+
+/**
+ * @since 2.0.0
+ * @category metrics
+ */
+export const fiberLifetimes: Metric<MetricKeyType.MetricKeyType.Histogram, number, MetricState.MetricState.Histogram> =
+  fiberRuntime.fiberLifetimes
+
+/**
+ * @since 2.0.0
+ * @category metrics
+ */
+export const fiberActive: Metric.Counter<number> = fiberRuntime.fiberActive