effect 2.0.0-next.55 → 2.0.0-next.57

package/src/MetricHook.ts

@@ -6,6 +6,7 @@ import * as internal from "./internal/metric/hook.js"
 import type * as MetricKey from "./MetricKey.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
@@ -23,9 +24,9 @@ export type MetricHookTypeId = typeof MetricHookTypeId
  * @since 2.0.0
  * @category models
  */
-export interface MetricHook<In, Out> extends MetricHook.Variance<In, Out>, Pipeable {
-  readonly get: () => Out
-  readonly update: (input: In) => void
+export interface MetricHook<in In, out Out> extends MetricHook.Variance<In, Out>, Pipeable {
+  get(): Out
+  update(input: In): void
 }
 
 /**
@@ -78,10 +79,10 @@ export declare namespace MetricHook {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<In, Out> {
+  export interface Variance<in In, out Out> {
     readonly [MetricHookTypeId]: {
-      readonly _In: (_: In) => void
-      readonly _Out: (_: never) => Out
+      readonly _In: Types.Contravariant<In>
+      readonly _Out: Types.Covariant<Out>
     }
   }
 }

package/src/MetricKey.ts

@@ -11,6 +11,7 @@ import type * as MetricKeyType from "./MetricKeyType.js"
 import type * as MetricLabel from "./MetricLabel.js"
 import type * as Option from "./Option.js"
 import type { Pipeable } from "./Pipeable.js"
+import type * as Types from "./Types.js"
 
 /**
  * @since 2.0.0
@@ -34,7 +35,7 @@ export type MetricKeyTypeId = typeof MetricKeyTypeId
  * @since 2.0.0
  * @category models
  */
-export interface MetricKey<Type extends MetricKeyType.MetricKeyType<any, any>>
+export interface MetricKey<out Type extends MetricKeyType.MetricKeyType<any, any>>
   extends MetricKey.Variance<Type>, Equal.Equal, Pipeable
 {
   readonly name: string
@@ -87,9 +88,9 @@ export declare namespace MetricKey {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<Type> {
+  export interface Variance<out Type> {
     readonly [MetricKeyTypeId]: {
-      _Type: (_: never) => Type
+      _Type: Types.Covariant<Type>
     }
   }
 }

package/src/MetricKeyType.ts

@@ -8,6 +8,7 @@ import * as internal from "./internal/metric/keyType.js"
 import type * as MetricBoundaries from "./MetricBoundaries.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
@@ -85,7 +86,7 @@ export type SummaryKeyTypeTypeId = typeof SummaryKeyTypeTypeId
  * @since 2.0.0
  * @category modelz
  */
-export interface MetricKeyType<In, Out> extends MetricKeyType.Variance<In, Out>, Equal.Equal, Pipeable {}
+export interface MetricKeyType<in In, out Out> extends MetricKeyType.Variance<In, Out>, Equal.Equal, Pipeable {}
 
 /**
  * @since 2.0.0
@@ -149,10 +150,10 @@ export declare namespace MetricKeyType {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<In, Out> {
+  export interface Variance<in In, out Out> {
     readonly [MetricKeyTypeTypeId]: {
-      readonly _In: (_: In) => void
-      readonly _Out: (_: never) => Out
+      readonly _In: Types.Contravariant<In>
+      readonly _Out: Types.Covariant<Out>
     }
   }
 

package/src/MetricPair.ts

@@ -6,6 +6,7 @@ import type * as MetricKey from "./MetricKey.js"
 import type * as MetricKeyType from "./MetricKeyType.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
@@ -23,7 +24,7 @@ export type MetricPairTypeId = typeof MetricPairTypeId
  * @since 2.0.0
  * @category model
  */
-export interface MetricPair<Type extends MetricKeyType.MetricKeyType<any, any>>
+export interface MetricPair<out Type extends MetricKeyType.MetricKeyType<any, any>>
   extends MetricPair.Variance<Type>, Pipeable
 {
   readonly metricKey: MetricKey.MetricKey<Type>
@@ -44,9 +45,9 @@ export declare namespace MetricPair {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<Type extends MetricKeyType.MetricKeyType<any, any>> {
+  export interface Variance<out Type extends MetricKeyType.MetricKeyType<any, any>> {
     readonly [MetricPairTypeId]: {
-      readonly _Type: (_: never) => Type
+      readonly _Type: Types.Covariant<Type>
     }
   }
 }

package/src/MetricPolling.ts

@@ -13,25 +13,25 @@ import type * as Scope from "./Scope.js"
  * @since 2.0.0
  * @category symbols
  */
-export const PollingMetricTypeId: unique symbol = internal.PollingMetricTypeId
+export const MetricPollingTypeId: unique symbol = internal.MetricPollingTypeId
 
 /**
  * @since 2.0.0
  * @category symbols
  */
-export type PollingMetricTypeId = typeof PollingMetricTypeId
+export type MetricPollingTypeId = typeof MetricPollingTypeId
 
 /**
- * A `PollingMetric` is a combination of a metric and an effect that polls for
+ * A `MetricPolling` is a combination of a metric and an effect that polls for
  * updates to the metric.
  *
  * @since 2.0.0
  * @category models
  */
-export interface PollingMetric<Type, In, R, E, Out> extends Pipeable {
-  readonly [PollingMetricTypeId]: PollingMetricTypeId
+export interface MetricPolling<in out Type, in out In, out R, out E, out Out> extends Pipeable {
+  readonly [MetricPollingTypeId]: MetricPollingTypeId
   /**
-   * The metric that this `PollingMetric` polls to update.
+   * The metric that this `MetricPolling` polls to update.
    */
   readonly metric: Metric.Metric<Type, In, Out>
   /**
@@ -49,7 +49,7 @@ export interface PollingMetric<Type, In, R, E, Out> extends Pipeable {
 export const make: <Type, In, Out, R, E>(
   metric: Metric.Metric<Type, In, Out>,
   poll: Effect.Effect<R, E, In>
-) => PollingMetric<Type, In, R, E, Out> = internal.make
+) => MetricPolling<Type, In, R, E, Out> = internal.make
 
 /**
  * Collects all of the polling metrics into a single polling metric, which
@@ -59,8 +59,8 @@ export const make: <Type, In, Out, R, E>(
  * @category constructors
  */
 export const collectAll: <R, E, Out>(
-  iterable: Iterable<PollingMetric<any, any, R, E, Out>>
-) => PollingMetric<Array<any>, Array<any>, R, E, Array<Out>> = internal.collectAll
+  iterable: Iterable<MetricPolling<any, any, R, E, Out>>
+) => MetricPolling<Array<any>, Array<any>, R, E, Array<Out>> = internal.collectAll
 
 /**
  * Returns an effect that will launch the polling metric in a background
@@ -73,10 +73,10 @@ export const launch: {
   <R2, A2>(
     schedule: Schedule.Schedule<R2, unknown, A2>
   ): <Type, In, R, E, Out>(
-    self: PollingMetric<Type, In, R, E, Out>
+    self: MetricPolling<Type, In, R, E, Out>
   ) => Effect.Effect<R2 | R | Scope.Scope, never, Fiber.Fiber<E, A2>>
   <Type, In, R, E, Out, R2, A2>(
-    self: PollingMetric<Type, In, R, E, Out>,
+    self: MetricPolling<Type, In, R, E, Out>,
     schedule: Schedule.Schedule<R2, unknown, A2>
   ): Effect.Effect<Scope.Scope | R | R2, never, Fiber.Fiber<E, A2>>
 } = internal.launch
@@ -87,7 +87,7 @@ export const launch: {
  * @since 2.0.0
  * @category utils
  */
-export const poll: <Type, In, R, E, Out>(self: PollingMetric<Type, In, R, E, Out>) => Effect.Effect<R, E, In> =
+export const poll: <Type, In, R, E, Out>(self: MetricPolling<Type, In, R, E, Out>) => Effect.Effect<R, E, In> =
   internal.poll
 
 /**
@@ -97,7 +97,7 @@ export const poll: <Type, In, R, E, Out>(self: PollingMetric<Type, In, R, E, Out
  * @category utils
  */
 export const pollAndUpdate: <Type, In, R, E, Out>(
-  self: PollingMetric<Type, In, R, E, Out>
+  self: MetricPolling<Type, In, R, E, Out>
 ) => Effect.Effect<R, E, void> = internal.pollAndUpdate
 
 /**
@@ -110,11 +110,11 @@ export const pollAndUpdate: <Type, In, R, E, Out>(
 export const retry: {
   <R2, E, _>(
     policy: Schedule.Schedule<R2, E, _>
-  ): <Type, In, R, Out>(self: PollingMetric<Type, In, R, E, Out>) => PollingMetric<Type, In, R2 | R, E, Out>
+  ): <Type, In, R, Out>(self: MetricPolling<Type, In, R, E, Out>) => MetricPolling<Type, In, R2 | R, E, Out>
   <Type, In, R, Out, R2, E, _>(
-    self: PollingMetric<Type, In, R, E, Out>,
+    self: MetricPolling<Type, In, R, E, Out>,
     policy: Schedule.Schedule<R2, E, _>
-  ): PollingMetric<Type, In, R | R2, E, Out>
+  ): MetricPolling<Type, In, R | R2, E, Out>
 } = internal.retry
 
 /**
@@ -125,10 +125,10 @@ export const retry: {
  */
 export const zip: {
   <Type2, In2, R2, E2, Out2>(
-    that: PollingMetric<Type2, In2, R2, E2, Out2>
+    that: MetricPolling<Type2, In2, R2, E2, Out2>
   ): <Type, In, R, E, Out>(
-    self: PollingMetric<Type, In, R, E, Out>
-  ) => PollingMetric<
+    self: MetricPolling<Type, In, R, E, Out>
+  ) => MetricPolling<
     readonly [Type, Type2], // readonly because invariant
     readonly [In, In2], // readonly because contravariant
     R2 | R,
@@ -136,9 +136,9 @@ export const zip: {
     [Out, Out2]
   >
   <Type, In, R, E, Out, Type2, In2, R2, E2, Out2>(
-    self: PollingMetric<Type, In, R, E, Out>,
-    that: PollingMetric<Type2, In2, R2, E2, Out2>
-  ): PollingMetric<
+    self: MetricPolling<Type, In, R, E, Out>,
+    that: MetricPolling<Type2, In2, R2, E2, Out2>
+  ): MetricPolling<
     readonly [Type, Type2], // readonly because invariant
     readonly [In, In2], // readonly because contravariant
     R | R2,

package/src/MetricRegistry.ts

@@ -26,20 +26,20 @@ export type MetricRegistryTypeId = typeof MetricRegistryTypeId
  */
 export interface MetricRegistry {
   readonly [MetricRegistryTypeId]: MetricRegistryTypeId
-  readonly snapshot: () => HashSet.HashSet<MetricPair.MetricPair.Untyped>
-  readonly get: <Type extends MetricKeyType.MetricKeyType<any, any>>(
+  snapshot(): HashSet.HashSet<MetricPair.MetricPair.Untyped>
+  get<Type extends MetricKeyType.MetricKeyType<any, any>>(
     key: MetricKey.MetricKey<Type>
-  ) => MetricHook.MetricHook<
+  ): MetricHook.MetricHook<
     MetricKeyType.MetricKeyType.InType<typeof key["keyType"]>,
     MetricKeyType.MetricKeyType.OutType<typeof key["keyType"]>
   >
-  readonly getCounter: <A extends (number | bigint)>(
+  getCounter<A extends (number | bigint)>(
     key: MetricKey.MetricKey.Counter<A>
-  ) => MetricHook.MetricHook.Counter<A>
-  readonly getFrequency: (key: MetricKey.MetricKey.Frequency) => MetricHook.MetricHook.Frequency
-  readonly getGauge: <A extends (number | bigint)>(key: MetricKey.MetricKey.Gauge<A>) => MetricHook.MetricHook.Gauge<A>
-  readonly getHistogram: (key: MetricKey.MetricKey.Histogram) => MetricHook.MetricHook.Histogram
-  readonly getSummary: (key: MetricKey.MetricKey.Summary) => MetricHook.MetricHook.Summary
+  ): MetricHook.MetricHook.Counter<A>
+  getFrequency(key: MetricKey.MetricKey.Frequency): MetricHook.MetricHook.Frequency
+  getGauge<A extends (number | bigint)>(key: MetricKey.MetricKey.Gauge<A>): MetricHook.MetricHook.Gauge<A>
+  getHistogram(key: MetricKey.MetricKey.Histogram): MetricHook.MetricHook.Histogram
+  getSummary(key: MetricKey.MetricKey.Summary): MetricHook.MetricHook.Summary
 }
 
 /**

package/src/MetricState.ts

@@ -8,6 +8,7 @@ import * as internal from "./internal/metric/state.js"
 import type * as MetricKeyType from "./MetricKeyType.js"
 import type * as Option from "./Option.js"
 import type { Pipeable } from "./Pipeable.js"
+import type * as Types from "./Types.js"
 
 /**
  * @since 2.0.0
@@ -89,7 +90,7 @@ export type SummaryStateTypeId = typeof SummaryStateTypeId
  * @since 2.0.0
  * @category models
  */
-export interface MetricState<A> extends MetricState.Variance<A>, Equal.Equal, Pipeable {}
+export interface MetricState<in A> extends MetricState.Variance<A>, Equal.Equal, Pipeable {}
 
 /**
  * @since 2.0.0
@@ -105,7 +106,9 @@ export declare namespace MetricState {
    * @since 2.0.0
    * @category models
    */
-  export interface Counter<A extends (number | bigint)> extends MetricState<MetricKeyType.MetricKeyType.Counter<A>> {
+  export interface Counter<in out A extends (number | bigint)>
+    extends MetricState<MetricKeyType.MetricKeyType.Counter<A>>
+  {
     readonly [CounterStateTypeId]: CounterStateTypeId
     readonly count: A
   }
@@ -123,7 +126,7 @@ export declare namespace MetricState {
    * @since 2.0.0
    * @category models
    */
-  export interface Gauge<A extends (number | bigint)> extends MetricState<MetricKeyType.MetricKeyType.Gauge<A>> {
+  export interface Gauge<in out A extends (number | bigint)> extends MetricState<MetricKeyType.MetricKeyType.Gauge<A>> {
     readonly [GaugeStateTypeId]: GaugeStateTypeId
     readonly value: A
   }
@@ -159,9 +162,9 @@ export declare namespace MetricState {
    * @since 2.0.0
    * @category models
    */
-  export interface Variance<A> {
+  export interface Variance<in A> {
     readonly [MetricStateTypeId]: {
-      readonly _A: (_: A) => void
+      readonly _A: Types.Contravariant<A>
     }
   }
 }

package/src/MutableHashMap.ts

@@ -3,7 +3,7 @@
  */
 import * as Dual from "./Function.js"
 import * as HashMap from "./HashMap.js"
-import { type Inspectable, NodeInspectSymbol, toJSON, toString } from "./Inspectable.js"
+import { format, type Inspectable, NodeInspectSymbol, toJSON } from "./Inspectable.js"
 import * as MutableRef from "./MutableRef.js"
 import * as Option from "./Option.js"
 import type { Pipeable } from "./Pipeable.js"
@@ -21,7 +21,7 @@ export type TypeId = typeof TypeId
  * @since 2.0.0
  * @category models
  */
-export interface MutableHashMap<K, V> extends Iterable<[K, V]>, Pipeable, Inspectable {
+export interface MutableHashMap<out K, out V> extends Iterable<[K, V]>, Pipeable, Inspectable {
   readonly [TypeId]: TypeId
 
   /** @internal */
@@ -34,7 +34,7 @@ const MutableHashMapProto: Omit<MutableHashMap<unknown, unknown>, "backingMap">
     return this.backingMap.current[Symbol.iterator]()
   },
   toString() {
-    return toString(this.toJSON())
+    return format(this.toJSON())
   },
   toJSON() {
     return {

package/src/MutableHashSet.ts

@@ -2,7 +2,7 @@
  * @since 2.0.0
  */
 import * as Dual from "./Function.js"
-import { type Inspectable, NodeInspectSymbol, toJSON, toString } from "./Inspectable.js"
+import { format, type Inspectable, NodeInspectSymbol, toJSON } from "./Inspectable.js"
 import * as MutableHashMap from "./MutableHashMap.js"
 import type { Pipeable } from "./Pipeable.js"
 import { pipeArguments } from "./Pipeable.js"
@@ -19,7 +19,7 @@ export type TypeId = typeof TypeId
  * @since 2.0.0
  * @category models
  */
-export interface MutableHashSet<V> extends Iterable<V>, Pipeable, Inspectable {
+export interface MutableHashSet<out V> extends Iterable<V>, Pipeable, Inspectable {
   readonly [TypeId]: TypeId
 
   /** @internal */
@@ -32,7 +32,7 @@ const MutableHashSetProto: Omit<MutableHashSet<unknown>, "keyMap"> = {
     return Array.from(this.keyMap).map(([_]) => _)[Symbol.iterator]()
   },
   toString() {
-    return toString(this.toJSON())
+    return format(this.toJSON())
   },
   toJSON() {
     return {

package/src/MutableList.ts

@@ -2,7 +2,7 @@
  * @since 2.0.0
  */
 import * as Dual from "./Function.js"
-import { NodeInspectSymbol, toJSON, toString } from "./Inspectable.js"
+import { format, NodeInspectSymbol, toJSON } from "./Inspectable.js"
 import type { Inspectable } from "./Inspectable.js"
 import type { Pipeable } from "./Pipeable.js"
 import { pipeArguments } from "./Pipeable.js"
@@ -19,7 +19,7 @@ export type TypeId = typeof TypeId
  * @since 2.0.0
  * @category model
  */
-export interface MutableList<A> extends Iterable<A>, Pipeable, Inspectable {
+export interface MutableList<out A> extends Iterable<A>, Pipeable, Inspectable {
   readonly [TypeId]: TypeId
 
   /** @internal */
@@ -55,7 +55,7 @@ const MutableListProto: Omit<MutableList<unknown>, "head" | "tail"> = {
     }
   },
   toString() {
-    return toString(this.toJSON())
+    return format(this.toJSON())
   },
   toJSON() {
     return {

package/src/MutableQueue.ts

@@ -3,7 +3,7 @@
  */
 import * as Chunk from "./Chunk.js"
 import * as Dual from "./Function.js"
-import { type Inspectable, NodeInspectSymbol, toJSON, toString } from "./Inspectable.js"
+import { format, type Inspectable, NodeInspectSymbol, toJSON } from "./Inspectable.js"
 import * as MutableList from "./MutableList.js"
 import type { Pipeable } from "./Pipeable.js"
 import { pipeArguments } from "./Pipeable.js"
@@ -26,7 +26,7 @@ export const EmptyMutableQueue = Symbol.for("effect/mutable/MutableQueue/Empty")
  * @since 2.0.0
  * @category model
  */
-export interface MutableQueue<A> extends Iterable<A>, Pipeable, Inspectable {
+export interface MutableQueue<out A> extends Iterable<A>, Pipeable, Inspectable {
   readonly [TypeId]: TypeId
 
   /** @internal */
@@ -51,7 +51,7 @@ const MutableQueueProto: Omit<MutableQueue<unknown>, "queue" | "capacity"> = {
     return Array.from(this.queue)[Symbol.iterator]()
   },
   toString() {
-    return toString(this.toJSON())
+    return format(this.toJSON())
   },
   toJSON() {
     return {

package/src/MutableRef.ts

@@ -3,7 +3,7 @@
  */
 import * as Equal from "./Equal.js"
 import * as Dual from "./Function.js"
-import { type Inspectable, NodeInspectSymbol, toJSON, toString } from "./Inspectable.js"
+import { format, type Inspectable, NodeInspectSymbol, toJSON } from "./Inspectable.js"
 import type { Pipeable } from "./Pipeable.js"
 import { pipeArguments } from "./Pipeable.js"
 
@@ -19,7 +19,7 @@ export type TypeId = typeof TypeId
  * @since 2.0.0
  * @category models
  */
-export interface MutableRef<T> extends Pipeable, Inspectable {
+export interface MutableRef<out T> extends Pipeable, Inspectable {
   readonly [TypeId]: TypeId
 
   /** @internal */
@@ -29,7 +29,7 @@ export interface MutableRef<T> extends Pipeable, Inspectable {
 const MutableRefProto: Omit<MutableRef<unknown>, "current"> = {
   [TypeId]: TypeId,
   toString<A>(this: MutableRef<A>): string {
-    return toString(this.toJSON())
+    return format(this.toJSON())
   },
   toJSON<A>(this: MutableRef<A>) {
     return {

package/src/NonEmptyIterable.ts

@@ -12,7 +12,7 @@ export declare const nonEmpty: unique symbol
  * @category model
  * @since 2.0.0
  */
-export interface NonEmptyIterable<A> extends Iterable<A> {
+export interface NonEmptyIterable<out A> extends Iterable<A> {
   readonly [nonEmpty]: A
 }
 
@@ -20,7 +20,7 @@ export interface NonEmptyIterable<A> extends Iterable<A> {
  * @category getters
  * @since 2.0.0
  */
-export const unprepend = <A>(self: NonEmptyIterable<A>): [A, Iterator<A>] => {
+export const unprepend = <A>(self: NonEmptyIterable<A>): [firstElement: A, remainingElements: Iterator<A>] => {
   const iterator = self[Symbol.iterator]()
   const next = iterator.next()
   if (next.done) {