effect 2.0.0-next.55 → 2.0.0-next.56

package/src/MetricState.ts

@@ -89,7 +89,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 +105,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 +125,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,7 +161,7 @@ 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
     }

package/src/MutableHashMap.ts

@@ -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 */

package/src/MutableHashSet.ts

@@ -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 */

package/src/MutableList.ts

@@ -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 */

package/src/MutableQueue.ts

@@ -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 */

package/src/MutableRef.ts

@@ -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 */

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) {

package/src/Option.ts

@@ -40,7 +40,7 @@ export type TypeId = typeof TypeId
  * @category models
  * @since 2.0.0
  */
-export interface None<A> extends Data.Case, Pipeable, Inspectable {
+export interface None<out A> extends Data.Case, Pipeable, Inspectable {
   readonly _tag: "None"
   readonly _op: "None"
   readonly [TypeId]: {
@@ -55,7 +55,7 @@ export interface None<A> extends Data.Case, Pipeable, Inspectable {
  * @category models
  * @since 2.0.0
  */
-export interface Some<A> extends Data.Case, Pipeable, Inspectable {
+export interface Some<out A> extends Data.Case, Pipeable, Inspectable {
   readonly _tag: "Some"
   readonly _op: "Some"
   readonly value: A
@@ -807,7 +807,7 @@ export const all: <const I extends Iterable<Option<any>> | Record<string, Option
  * @example
  * import * as O from "effect/Option"
  *
- * type Complex = [number, number]
+ * type Complex = [real: number, imaginary: number]
  *
  * const complex = (real: number, imaginary: number): Complex => [real, imaginary]
  *
@@ -895,12 +895,12 @@ export const toArray = <A>(self: Option<A>): Array<A> => isNone(self) ? [] : [se
  * @since 2.0.0
  */
 export const partitionMap: {
-  <A, B, C>(f: (a: A) => Either<B, C>): (self: Option<A>) => [Option<B>, Option<C>]
-  <A, B, C>(self: Option<A>, f: (a: A) => Either<B, C>): [Option<B>, Option<C>]
+  <A, B, C>(f: (a: A) => Either<B, C>): (self: Option<A>) => [left: Option<B>, right: Option<C>]
+  <A, B, C>(self: Option<A>, f: (a: A) => Either<B, C>): [left: Option<B>, right: Option<C>]
 } = dual(2, <A, B, C>(
   self: Option<A>,
   f: (a: A) => Either<B, C>
-): [Option<B>, Option<C>] => {
+): [excluded: Option<B>, satisfying: Option<C>] => {
   if (isNone(self)) {
     return [none(), none()]
   }
@@ -965,13 +965,13 @@ export const filterMap: {
  * @since 2.0.0
  */
 export const filter: {
-  <C extends A, B extends A, A = C>(refinement: (a: A) => a is B): (self: Option<C>) => Option<B>
-  <B extends A, A = B>(predicate: (a: A) => boolean): (self: Option<B>) => Option<B>
-  <C extends A, B extends A, A = C>(self: Option<C>, refinement: (a: A) => a is B): Option<B>
-  <B extends A, A = B>(self: Option<B>, predicate: (a: A) => boolean): Option<B>
+  <A, B extends A>(refinement: Refinement<A, B>): (self: Option<A>) => Option<B>
+  <B extends A, A = B>(predicate: Predicate<A>): (self: Option<B>) => Option<B>
+  <A, B extends A>(self: Option<A>, refinement: Refinement<A, B>): Option<B>
+  <A>(self: Option<A>, predicate: Predicate<A>): Option<A>
 } = dual(
   2,
-  <B extends A, A = B>(self: Option<B>, predicate: (a: A) => boolean): Option<B> =>
+  <A>(self: Option<A>, predicate: Predicate<A>): Option<A> =>
     filterMap(self, (b) => (predicate(b) ? option.some(b) : option.none))
 )
 
@@ -1049,9 +1049,9 @@ export const lift2 = <A, B, C>(f: (a: A, b: B) => C): {
  * @since 2.0.0
  */
 export const liftPredicate: {
-  <C extends A, B extends A, A = C>(refinement: Refinement<A, B>): (c: C) => Option<B>
+  <A, B extends A>(refinement: Refinement<A, B>): (a: A) => Option<B>
   <B extends A, A = B>(predicate: Predicate<A>): (b: B) => Option<B>
-} = <B extends A, A = B>(predicate: Predicate<A>) => (b: B) => predicate(b) ? some(b) : none()
+} = <B extends A, A = B>(predicate: Predicate<A>) => (b: B): Option<B> => predicate(b) ? some(b) : none()
 
 /**
  * Returns a function that checks if a `Option` contains a given value using a provided `isEquivalent` function.
@@ -1109,11 +1109,14 @@ export const contains: {
  * @since 2.0.0
  */
 export const exists: {
-  <A>(predicate: Predicate<A>): (self: Option<A>) => boolean
+  <A, B extends A>(refinement: Refinement<A, B>): (self: Option<A>) => self is Option<B>
+  <B extends A, A = B>(predicate: Predicate<A>): (self: Option<B>) => boolean
+  <A, B extends A>(self: Option<A>, refinement: Refinement<A, B>): self is Option<B>
   <A>(self: Option<A>, predicate: Predicate<A>): boolean
 } = dual(
   2,
-  <A>(self: Option<A>, predicate: Predicate<A>): boolean => isNone(self) ? false : predicate(self.value)
+  <A, B extends A>(self: Option<A>, refinement: Refinement<A, B>): self is Option<B> =>
+    isNone(self) ? false : refinement(self.value)
 )
 
 // -------------------------------------------------------------------------------------

package/src/Order.ts

@@ -8,7 +8,7 @@ import type { TypeLambda } from "./HKT.js"
  * @category type class
  * @since 2.0.0
  */
-export interface Order<A> {
+export interface Order<in A> {
   (self: A, that: A): -1 | 0 | 1
 }