effect 3.14.15 → 3.14.17

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "effect",
-  "version": "3.14.15",
+  "version": "3.14.17",
   "description": "The missing standard library for TypeScript, for writing production-grade software.",
   "license": "MIT",
   "repository": {
@@ -9,6 +9,7 @@
     "directory": "packages/effect"
   },
   "sideEffects": [],
+  "homepage": "https://effect.website",
   "dependencies": {
     "@standard-schema/spec": "^1.0.0",
     "fast-check": "^3.23.1"
@@ -26,6 +27,11 @@
       "import": "./dist/esm/index.js",
       "default": "./dist/cjs/index.js"
     },
+    "./.index": {
+      "types": "./dist/dts/.index.d.ts",
+      "import": "./dist/esm/.index.js",
+      "default": "./dist/cjs/.index.js"
+    },
     "./Arbitrary": {
       "types": "./dist/dts/Arbitrary.d.ts",
       "import": "./dist/esm/Arbitrary.js",
@@ -880,10 +886,18 @@
       "types": "./dist/dts/Utils.d.ts",
       "import": "./dist/esm/Utils.js",
       "default": "./dist/cjs/Utils.js"
+    },
+    "./index": {
+      "types": "./dist/dts/index.d.ts",
+      "import": "./dist/esm/index.js",
+      "default": "./dist/cjs/index.js"
     }
   },
   "typesVersions": {
     "*": {
+      ".index": [
+        "./dist/dts/.index.d.ts"
+      ],
       "Arbitrary": [
         "./dist/dts/Arbitrary.d.ts"
       ],
@@ -1396,6 +1410,9 @@
       ],
       "Utils": [
         "./dist/dts/Utils.d.ts"
+      ],
+      "index": [
+        "./dist/dts/index.d.ts"
       ]
     }
   }

package/src/Data.ts

@@ -730,18 +730,21 @@ export const Error: new<A extends Record<string, any> = {}>(
     : { readonly [P in keyof A]: A[P] }
 ) => Cause.YieldableError & Readonly<A> = (function() {
   const plainArgsSymbol = Symbol.for("effect/Data/Error/plainArgs")
-  return class Base extends core.YieldableError {
-    constructor(args: any) {
-      super(args?.message, args?.cause ? { cause: args.cause } : undefined)
-      if (args) {
-        Object.assign(this, args)
-        Object.defineProperty(this, plainArgsSymbol, { value: args, enumerable: false })
+  const O = {
+    BaseEffectError: class extends core.YieldableError {
+      constructor(args: any) {
+        super(args?.message, args?.cause ? { cause: args.cause } : undefined)
+        if (args) {
+          Object.assign(this, args)
+          Object.defineProperty(this, plainArgsSymbol, { value: args, enumerable: false })
+        }
       }
-    }
-    toJSON() {
-      return { ...(this as any)[plainArgsSymbol], ...this }
-    }
-  } as any
+      toJSON() {
+        return { ...(this as any)[plainArgsSymbol], ...this }
+      }
+    } as any
+  }
+  return O.BaseEffectError
 })()
 
 /**
@@ -752,9 +755,11 @@ export const TaggedError = <Tag extends string>(tag: Tag): new<A extends Record<
   args: Types.Equals<A, {}> extends true ? void
     : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }
 ) => Cause.YieldableError & { readonly _tag: Tag } & Readonly<A> => {
-  class Base extends Error<{}> {
-    readonly _tag = tag
+  const O = {
+    BaseEffectError: class extends Error<{}> {
+      readonly _tag = tag
+    }
   }
-  ;(Base.prototype as any).name = tag
-  return Base as any
+  ;(O.BaseEffectError.prototype as any).name = tag
+  return O.BaseEffectError as any
 }

package/src/DateTime.ts

@@ -2411,7 +2411,7 @@ export const format: {
   (
    options?:
      | Intl.DateTimeFormatOptions & {
-       readonly locale?: string | undefined
+       readonly locale?: Intl.LocalesArgument
      }
      | undefined
   ): (self: DateTime) => string
@@ -2434,7 +2434,7 @@ export const format: {
    self: DateTime,
    options?:
      | Intl.DateTimeFormatOptions & {
-       readonly locale?: string | undefined
+       readonly locale?: Intl.LocalesArgument
      }
      | undefined
   ): string
@@ -2460,7 +2460,7 @@ export const formatLocal: {
   (
    options?:
      | Intl.DateTimeFormatOptions & {
-       readonly locale?: string | undefined
+       readonly locale?: Intl.LocalesArgument
      }
      | undefined
   ): (self: DateTime) => string
@@ -2476,7 +2476,7 @@ export const formatLocal: {
    self: DateTime,
    options?:
      | Intl.DateTimeFormatOptions & {
-       readonly locale?: string | undefined
+       readonly locale?: Intl.LocalesArgument
      }
      | undefined
   ): string
@@ -2502,7 +2502,7 @@ export const formatUtc: {
   (
    options?:
      | Intl.DateTimeFormatOptions & {
-       readonly locale?: string | undefined
+       readonly locale?: Intl.LocalesArgument
      }
      | undefined
   ): (self: DateTime) => string
@@ -2518,7 +2518,7 @@ export const formatUtc: {
    self: DateTime,
    options?:
      | Intl.DateTimeFormatOptions & {
-       readonly locale?: string | undefined
+       readonly locale?: Intl.LocalesArgument
      }
      | undefined
   ): string

package/src/Effect.ts

@@ -28836,7 +28836,11 @@ function fnApply(options: {
     if (options.errorCall.stack) {
       const stackDef = options.errorDef.stack!.trim().split("\n")
       const stackCall = options.errorCall.stack.trim().split("\n")
-      cache = `${stackDef.slice(2).join("\n").trim()}\n${stackCall.slice(2).join("\n").trim()}`
+      let endStack = stackDef.slice(2).join("\n").trim()
+      if (!endStack.includes(`(`)) {
+        endStack = endStack.replace(/at (.*)/, "at ($1)")
+      }
+      cache = `${endStack}\n${stackCall.slice(2).join("\n").trim()}`
       return cache
     }
   }

package/src/Match.ts

@@ -1308,7 +1308,7 @@ export declare namespace Types {
    */
   export type NotMatch<R, P> = Exclude<R, ExtractMatch<R, PForNotMatch<P>>>
 
-  type PForNotMatch<P> = [ToSafeRefinement<P>] extends [infer X] ? X
+  type PForNotMatch<P> = [ToInvertedRefinement<P>] extends [infer X] ? X
     : never
 
   /**
@@ -1332,9 +1332,9 @@ export declare namespace Types {
     : A extends Record<string, any> ? { [K in keyof A]: SafeRefinementR<A[K]> }
     : A
 
-  type ResolvePred<A> = A extends never ? never
-    : A extends SafeRefinement<infer _A, infer _R> ? _R
-    : A extends Predicate.Refinement<any, infer P> ? P
+  type ResolvePred<A, Input = any> = A extends never ? never
+    : A extends SafeRefinement<infer _A, infer _R> ? _A
+    : A extends Predicate.Refinement<Input, infer P> ? P
     : A extends Predicate.Predicate<infer P> ? P
     : A extends Record<string, any> ? { [K in keyof A]: ResolvePred<A[K]> }
     : A
@@ -1346,6 +1346,13 @@ export declare namespace Types {
     : A extends Record<string, any> ? { [K in keyof A]: ToSafeRefinement<A[K]> }
     : NonLiteralsTo<A, never>
 
+  type ToInvertedRefinement<A> = A extends never ? never
+    : A extends Predicate.Refinement<any, infer P> ? SafeRefinement<P>
+    : A extends Predicate.Predicate<infer _P> ? SafeRefinement<never>
+    : A extends SafeRefinement<infer _A, infer _R> ? SafeRefinement<_R>
+    : A extends Record<string, any> ? { [K in keyof A]: ToInvertedRefinement<A[K]> }
+    : NonLiteralsTo<A, never>
+
   type NonLiteralsTo<A, T> = [A] extends [string | number | boolean | bigint] ? [string] extends [A] ? T
     : [number] extends [A] ? T
     : [boolean] extends [A] ? T
@@ -1446,35 +1453,32 @@ export declare namespace Types {
 
   type Simplify<A> = { [K in keyof A]: A[K] } & {}
 
-  type ExtractAndNarrow<Input, P> = Input extends infer I ?
-    P extends SafeRefinement<infer _In, infer _R> | Predicate.Refinement<infer _In, infer _R> ?
-      P extends SafeRefinement<I & {}, infer _R> | Predicate.Refinement<I & {}, infer _R> ?
-        [0] extends [1 & _R] ? I : _R
-      : Extract<I, _R> :
-    P extends Predicate.Predicate<infer _In> ? P extends Predicate.Predicate<I & {}> ? _In : never :
-    Exclude<
-      I extends ReadonlyArray<any> ? P extends ReadonlyArray<any> ? {
-            readonly [K in keyof I]: K extends keyof P ? ExtractAndNarrow<I[K], P[K]>
-              : I[K]
-          } extends infer R ? Fail extends R[keyof R] ? never
-            : R
-          : never
-        : never
-        : IsPlainObject<I> extends true ? string extends keyof I ? I extends P ? I
-            : never
-          : symbol extends keyof I ? I extends P ? I
-            : never
-          : Simplify<
-            & { [RK in Extract<keyof I, keyof P>]-?: ExtractAndNarrow<I[RK], P[RK]> }
-            & Omit<I, keyof P>
-          > extends infer R ? keyof P extends NonFailKeys<R> ? R
+  type ExtractAndNarrow<Input, P> = P extends Predicate.Refinement<infer _In, infer _Out> ? Extract<Input, _Out> :
+    P extends SafeRefinement<infer _In, infer _R> ? [0] extends [1 & _R] ? Input : Extract<Input, _In> :
+    P extends Predicate.Predicate<infer _In> ? Extract<Input, _In>
+    : Input extends infer I ? Exclude<
+        I extends ReadonlyArray<any> ? P extends ReadonlyArray<any> ? {
+              readonly [K in keyof I]: K extends keyof P ? ExtractAndNarrow<I[K], P[K]>
+                : I[K]
+            } extends infer R ? Fail extends R[keyof R] ? never
+              : R
             : never
           : never
-        : MaybeReplace<I, P> extends infer R ? [I] extends [R] ? I
-          : R
-        : never,
-      Fail
-    > :
+          : IsPlainObject<I> extends true ? string extends keyof I ? I extends P ? I
+              : never
+            : symbol extends keyof I ? I extends P ? I
+              : never
+            : Simplify<
+              & { [RK in Extract<keyof I, keyof P>]-?: ExtractAndNarrow<I[RK], P[RK]> }
+              & Omit<I, keyof P>
+            > extends infer R ? keyof P extends NonFailKeys<R> ? R
+              : never
+            : never
+          : MaybeReplace<I, P> extends infer R ? [I] extends [R] ? I
+            : R
+          : never,
+        Fail
+      > :
     never
 
   type NonFailKeys<A> = keyof A & {} extends infer K ? K extends keyof A ? A[K] extends Fail ? never : K

package/src/String.ts

@@ -549,7 +549,7 @@ export const lastIndexOf = (searchString: string) => (self: string): Option.Opti
  * @since 2.0.0
  */
 export const localeCompare =
-  (that: string, locales?: Array<string>, options?: Intl.CollatorOptions) => (self: string): Ordering.Ordering =>
+  (that: string, locales?: Intl.LocalesArgument, options?: Intl.CollatorOptions) => (self: string): Ordering.Ordering =>
     number.sign(self.localeCompare(that, locales, options))
 
 /**
@@ -703,7 +703,7 @@ export const search: {
  *
  * @since 2.0.0
  */
-export const toLocaleLowerCase = (locale?: string | Array<string>) => (self: string): string =>
+export const toLocaleLowerCase = (locale?: Intl.LocalesArgument) => (self: string): string =>
   self.toLocaleLowerCase(locale)
 
 /**
@@ -718,7 +718,7 @@ export const toLocaleLowerCase = (locale?: string | Array<string>) => (self: str
  *
  * @since 2.0.0
  */
-export const toLocaleUpperCase = (locale?: string | Array<string>) => (self: string): string =>
+export const toLocaleUpperCase = (locale?: Intl.LocalesArgument) => (self: string): string =>
   self.toLocaleUpperCase(locale)
 
 /**

package/src/Utils.ts

@@ -774,23 +774,31 @@ export const structuralRegion = <A>(body: () => A, tester?: (a: unknown, b: unkn
   }
 }
 
-const tracingFunction = (name: string) => {
-  const wrap = {
-    [name]<A>(body: () => A) {
+const standard = {
+  effect_internal_function: <A>(body: () => A) => {
+    return body()
+  }
+}
+
+const forced = {
+  effect_internal_function: <A>(body: () => A) => {
+    try {
       return body()
+    } finally {
+      //
     }
   }
-  return function<A>(fn: () => A): A {
-    return wrap[name](fn)
-  }
 }
 
+const isNotOptimizedAway =
+  standard.effect_internal_function(() => new Error().stack)?.includes("effect_internal_function") === true
+
 /**
  * @since 3.2.2
  * @status experimental
  * @category tracing
  */
-export const internalCall = tracingFunction("effect_internal_function")
+export const internalCall = isNotOptimizedAway ? standard.effect_internal_function : forced.effect_internal_function
 
 const genConstructor = (function*() {}).constructor
 

package/src/internal/cause.ts

@@ -983,11 +983,14 @@ const prettyErrorStack = (message: string, stack: string, span?: Span | undefine
   const lines = stack.startsWith(message) ? stack.slice(message.length).split("\n") : stack.split("\n")
 
   for (let i = 1; i < lines.length; i++) {
+    if (lines[i].includes(" at new BaseEffectError") || lines[i].includes(" at new YieldableError")) {
+      i++
+      continue
+    }
     if (lines[i].includes("Generator.next")) {
       break
     }
     if (lines[i].includes("effect_internal_function")) {
-      out.pop()
       break
     }
     out.push(

package/src/internal/dateTime.ts

@@ -1051,7 +1051,7 @@ export const format: {
   (
     options?:
       | Intl.DateTimeFormatOptions & {
-        readonly locale?: string | undefined
+        readonly locale?: Intl.LocalesArgument
       }
       | undefined
   ): (self: DateTime.DateTime) => string
@@ -1059,7 +1059,7 @@ export const format: {
     self: DateTime.DateTime,
     options?:
       | Intl.DateTimeFormatOptions & {
-        readonly locale?: string | undefined
+        readonly locale?: Intl.LocalesArgument
       }
       | undefined
   ): string
@@ -1067,7 +1067,7 @@ export const format: {
   self: DateTime.DateTime,
   options?:
     | Intl.DateTimeFormatOptions & {
-      readonly locale?: string | undefined
+      readonly locale?: Intl.LocalesArgument
     }
     | undefined
 ): string => {
@@ -1089,7 +1089,7 @@ export const formatLocal: {
   (
     options?:
       | Intl.DateTimeFormatOptions & {
-        readonly locale?: string | undefined
+        readonly locale?: Intl.LocalesArgument
       }
       | undefined
   ): (self: DateTime.DateTime) => string
@@ -1097,7 +1097,7 @@ export const formatLocal: {
     self: DateTime.DateTime,
     options?:
       | Intl.DateTimeFormatOptions & {
-        readonly locale?: string | undefined
+        readonly locale?: Intl.LocalesArgument
       }
       | undefined
   ): string
@@ -1105,7 +1105,7 @@ export const formatLocal: {
   self: DateTime.DateTime,
   options?:
     | Intl.DateTimeFormatOptions & {
-      readonly locale?: string | undefined
+      readonly locale?: Intl.LocalesArgument
     }
     | undefined
 ): string => new Intl.DateTimeFormat(options?.locale, options).format(self.epochMillis))
@@ -1115,7 +1115,7 @@ export const formatUtc: {
   (
     options?:
       | Intl.DateTimeFormatOptions & {
-        readonly locale?: string | undefined
+        readonly locale?: Intl.LocalesArgument
       }
       | undefined
   ): (self: DateTime.DateTime) => string
@@ -1123,7 +1123,7 @@ export const formatUtc: {
     self: DateTime.DateTime,
     options?:
       | Intl.DateTimeFormatOptions & {
-        readonly locale?: string | undefined
+        readonly locale?: Intl.LocalesArgument
       }
       | undefined
   ): string
@@ -1131,7 +1131,7 @@ export const formatUtc: {
   self: DateTime.DateTime,
   options?:
     | Intl.DateTimeFormatOptions & {
-      readonly locale?: string | undefined
+      readonly locale?: Intl.LocalesArgument
     }
     | undefined
 ): string =>

package/src/internal/version.ts

@@ -1,4 +1,4 @@
-let moduleVersion = "3.14.15"
+let moduleVersion = "3.14.17"
 
 export const getCurrentVersion = () => moduleVersion