effect-app 4.0.0-beta.99 → 4.0.0

package/package.json

@@ -1,31 +1,32 @@
 {
   "name": "effect-app",
-  "version": "4.0.0-beta.99",
+  "version": "4.0.0",
   "license": "MIT",
   "type": "module",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/effect-app/libs.git",
+    "directory": "packages/effect-app"
+  },
   "dependencies": {
     "@tsconfig/strictest": "^2.0.8",
-    "date-fns": "^4.1.0",
-    "nanoid": "^5.1.7",
+    "date-fns": "^4.4.0",
+    "nanoid": "^5.1.11",
     "path-parser": "^6.1.0",
-    "query-string": "^9.3.1",
-    "ts-pattern": "^5.9.0",
+    "query-string": "^9.4.0",
     "ts-toolbelt": "^9.6.0",
-    "uuid": "^13.0.0",
     "validator": "^13.15.35"
   },
   "devDependencies": {
     "@faker-js/faker": "^8.4.1",
-    "@types/node": "25.5.2",
-    "@types/uuid": "^11.0.0",
+    "@types/node": "25.9.1",
     "@types/validator": "^13.15.10",
-    "fast-check": "~4.6.0",
-    "typescript": "~6.0.2",
-    "vitest": "^4.1.3",
-    "@effect-app/eslint-shared-config": "0.5.7-beta.9"
+    "fast-check": "^4.9.0",
+    "typescript": "~6.0.3",
+    "vitest": "^4.1.7"
   },
   "peerDependencies": {
-    "effect": "^4.0.0-beta.47"
+    "effect": "^4.0.1"
   },
   "typesVersions": {
     "*": {
@@ -39,249 +40,10 @@
       "types": "./dist/index.d.ts",
       "default": "./dist/index.js"
     },
-    "./Array": {
-      "types": "./dist/Array.d.ts",
-      "default": "./dist/Array.js"
-    },
-    "./Chunk": {
-      "types": "./dist/Chunk.d.ts",
-      "default": "./dist/Chunk.js"
-    },
-    "./Config": {
-      "types": "./dist/Config.d.ts",
-      "default": "./dist/Config.js"
-    },
-    "./Config/SecretURL": {
-      "types": "./dist/Config/SecretURL.d.ts",
-      "default": "./dist/Config/SecretURL.js"
-    },
-    "./ConfigProvider": {
-      "types": "./dist/ConfigProvider.d.ts",
-      "default": "./dist/ConfigProvider.js"
-    },
-    "./Context": {
-      "types": "./dist/Context.d.ts",
-      "default": "./dist/Context.js"
-    },
-    "./Effect": {
-      "types": "./dist/Effect.d.ts",
-      "default": "./dist/Effect.js"
-    },
-    "./Function": {
-      "types": "./dist/Function.d.ts",
-      "default": "./dist/Function.js"
-    },
-    "./Inputify.type": {
-      "types": "./dist/Inputify.type.d.ts",
-      "default": "./dist/Inputify.type.js"
-    },
-    "./Layer": {
-      "types": "./dist/Layer.d.ts",
-      "default": "./dist/Layer.js"
-    },
-    "./NonEmptySet": {
-      "types": "./dist/NonEmptySet.d.ts",
-      "default": "./dist/NonEmptySet.js"
-    },
-    "./Operations": {
-      "types": "./dist/Operations.d.ts",
-      "default": "./dist/Operations.js"
-    },
-    "./Option": {
-      "types": "./dist/Option.d.ts",
-      "default": "./dist/Option.js"
-    },
-    "./Pure": {
-      "types": "./dist/Pure.d.ts",
-      "default": "./dist/Pure.js"
-    },
-    "./Schema": {
-      "types": "./dist/Schema.d.ts",
-      "default": "./dist/Schema.js"
-    },
-    "./Schema/Class": {
-      "types": "./dist/Schema/Class.d.ts",
-      "default": "./dist/Schema/Class.js"
-    },
-    "./Schema/FastCheck": {
-      "types": "./dist/Schema/FastCheck.d.ts",
-      "default": "./dist/Schema/FastCheck.js"
-    },
-    "./Schema/Methods": {
-      "types": "./dist/Schema/Methods.d.ts",
-      "default": "./dist/Schema/Methods.js"
-    },
-    "./Schema/SpecialJsonSchema": {
-      "types": "./dist/Schema/SpecialJsonSchema.d.ts",
-      "default": "./dist/Schema/SpecialJsonSchema.js"
-    },
-    "./Schema/SpecialOpenApi": {
-      "types": "./dist/Schema/SpecialOpenApi.d.ts",
-      "default": "./dist/Schema/SpecialOpenApi.js"
-    },
-    "./Schema/brand": {
-      "types": "./dist/Schema/brand.d.ts",
-      "default": "./dist/Schema/brand.js"
-    },
-    "./Schema/email": {
-      "types": "./dist/Schema/email.d.ts",
-      "default": "./dist/Schema/email.js"
-    },
-    "./Schema/ext": {
-      "types": "./dist/Schema/ext.d.ts",
-      "default": "./dist/Schema/ext.js"
-    },
-    "./Schema/moreStrings": {
-      "types": "./dist/Schema/moreStrings.d.ts",
-      "default": "./dist/Schema/moreStrings.js"
-    },
-    "./Schema/numbers": {
-      "types": "./dist/Schema/numbers.d.ts",
-      "default": "./dist/Schema/numbers.js"
-    },
-    "./Schema/phoneNumber": {
-      "types": "./dist/Schema/phoneNumber.d.ts",
-      "default": "./dist/Schema/phoneNumber.js"
-    },
-    "./Schema/schema": {
-      "types": "./dist/Schema/schema.d.ts",
-      "default": "./dist/Schema/schema.js"
-    },
-    "./Schema/strings": {
-      "types": "./dist/Schema/strings.d.ts",
-      "default": "./dist/Schema/strings.js"
-    },
-    "./Set": {
-      "types": "./dist/Set.d.ts",
-      "default": "./dist/Set.js"
-    },
-    "./TypeTest": {
-      "types": "./dist/TypeTest.d.ts",
-      "default": "./dist/TypeTest.js"
-    },
-    "./Types": {
-      "types": "./dist/Types.d.ts",
-      "default": "./dist/Types.js"
-    },
-    "./Widen.type": {
-      "types": "./dist/Widen.type.d.ts",
-      "default": "./dist/Widen.type.js"
-    },
-    "./_ext/Array": {
-      "types": "./dist/_ext/Array.d.ts",
-      "default": "./dist/_ext/Array.js"
-    },
-    "./_ext/date": {
-      "types": "./dist/_ext/date.d.ts",
-      "default": "./dist/_ext/date.js"
-    },
-    "./_ext/misc": {
-      "types": "./dist/_ext/misc.d.ts",
-      "default": "./dist/_ext/misc.js"
-    },
-    "./_ext/ord.ext": {
-      "types": "./dist/_ext/ord.ext.d.ts",
-      "default": "./dist/_ext/ord.ext.js"
-    },
-    "./builtin": {
-      "types": "./dist/builtin.d.ts",
-      "default": "./dist/builtin.js"
-    },
-    "./client": {
-      "types": "./dist/client.d.ts",
-      "default": "./dist/client.js"
-    },
-    "./client/apiClientFactory": {
-      "types": "./dist/client/apiClientFactory.d.ts",
-      "default": "./dist/client/apiClientFactory.js"
-    },
-    "./client/clientFor": {
-      "types": "./dist/client/clientFor.d.ts",
-      "default": "./dist/client/clientFor.js"
-    },
-    "./client/errors": {
-      "types": "./dist/client/errors.d.ts",
-      "default": "./dist/client/errors.js"
-    },
-    "./client/makeClient": {
-      "types": "./dist/client/makeClient.d.ts",
-      "default": "./dist/client/makeClient.js"
-    },
-    "./faker": {
-      "types": "./dist/faker.d.ts",
-      "default": "./dist/faker.js"
-    },
-    "./http": {
-      "types": "./dist/http.d.ts",
-      "default": "./dist/http.js"
-    },
-    "./http/Request": {
-      "types": "./dist/http/Request.d.ts",
-      "default": "./dist/http/Request.js"
-    },
-    "./ids": {
-      "types": "./dist/ids.d.ts",
-      "default": "./dist/ids.js"
-    },
-    "./logger": {
-      "types": "./dist/logger.d.ts",
-      "default": "./dist/logger.js"
-    },
-    "./middleware": {
-      "types": "./dist/middleware.d.ts",
-      "default": "./dist/middleware.js"
-    },
-    "./rpc": {
-      "types": "./dist/rpc.d.ts",
-      "default": "./dist/rpc.js"
-    },
-    "./rpc/MiddlewareMaker": {
-      "types": "./dist/rpc/MiddlewareMaker.d.ts",
-      "default": "./dist/rpc/MiddlewareMaker.js"
-    },
-    "./rpc/RpcContextMap": {
-      "types": "./dist/rpc/RpcContextMap.d.ts",
-      "default": "./dist/rpc/RpcContextMap.js"
-    },
-    "./rpc/RpcMiddleware": {
-      "types": "./dist/rpc/RpcMiddleware.d.ts",
-      "default": "./dist/rpc/RpcMiddleware.js"
-    },
-    "./transform": {
-      "types": "./dist/transform.d.ts",
-      "default": "./dist/transform.js"
-    },
-    "./utils": {
-      "types": "./dist/utils.d.ts",
-      "default": "./dist/utils.js"
-    },
-    "./utils/effectify": {
-      "types": "./dist/utils/effectify.d.ts",
-      "default": "./dist/utils/effectify.js"
-    },
-    "./utils/extend": {
-      "types": "./dist/utils/extend.d.ts",
-      "default": "./dist/utils/extend.js"
-    },
-    "./utils/gen": {
-      "types": "./dist/utils/gen.d.ts",
-      "default": "./dist/utils/gen.js"
-    },
-    "./utils/logLevel": {
-      "types": "./dist/utils/logLevel.d.ts",
-      "default": "./dist/utils/logLevel.js"
-    },
-    "./utils/logger": {
-      "types": "./dist/utils/logger.d.ts",
-      "default": "./dist/utils/logger.js"
-    },
-    "./validation": {
-      "types": "./dist/validation.d.ts",
-      "default": "./dist/validation.js"
-    },
-    "./validation/validators": {
-      "types": "./dist/validation/validators.d.ts",
-      "default": "./dist/validation/validators.js"
+    "./internal/*": null,
+    "./*": {
+      "types": "./dist/*.d.ts",
+      "default": "./dist/*.js"
     }
   },
   "gitHead": "bd8e27eea3eff97db8739d577d67e7336c078d28",
@@ -295,26 +57,24 @@
   ],
   "scripts": {
     "watch": "pnpm build:tsc -w",
-    "build:tsc": "pnpm clean-dist && effect-app-cli packagejson && pnpm check",
-    "check": "tsc --build",
-    "build:tsc-src": "pnpm clean-dist && effect-app-cli packagejson tsc --build ./tsconfig.src.json",
+    "build:tsc": "pnpm clean-dist && pnpm check && node ../../scripts/rewrite-dist-declaration-imports.mjs dist",
+    "check": "tsgo --build",
+    "build:tsc-src": "pnpm clean-dist && tsc --build ./tsconfig.src.json && node ../../scripts/rewrite-dist-declaration-imports.mjs dist",
     "build:src": "pnpm build:tsc-src",
     "build": "pnpm build:tsc",
-    "watch2": "pnpm clean-dist && NODE_OPTIONS=--max-old-space-size=6144 tsc -w",
+    "watch2": "pnpm clean-dist && NODE_OPTIONS=--max-old-space-size=6144 tsgo -w",
     "clean": "rm -rf dist",
     "clean-dist": "sh ../../scripts/clean-dist.sh",
     "circular": "pnpm circular:src && pnpm circular:dist",
     "circular:src": "madge --circular --ts-config ./tsconfig.json --extensions ts ./src",
     "circular:dist": "madge --circular --extensions js ./dist",
-    "compile": "NODE_OPTIONS=--max-old-space-size=6144 tsc --noEmit",
-    "lint": "NODE_OPTIONS=--max-old-space-size=6144 ESLINT_TS=1 eslint ./src",
-    "lint:watch": "ESLINT_TS=1 esw -w --changed --clear --ext ts,tsx .",
-    "lint-fix": "pnpm lint --fix",
+    "compile": "NODE_OPTIONS=--max-old-space-size=6144 tsgo --noEmit",
+    "lint": "oxlint --type-aware ./src && pnpm exec dprint check --config ../../dprint.jsonc .",
+    "lint-fix": "oxlint --type-aware --fix ./src && pnpm exec dprint fmt --config ../../dprint.jsonc .",
     "test": "vitest",
     "test:run": "pnpm run test run --passWithNoTests",
     "testsuite": "pnpm lint && pnpm circular && pnpm run test:run",
     "ncu": "ncu",
-    "pub": "pnpm prepublish && npm publish --access public",
-    "prepublish": "cp -f ./tsconfig.json ./tsconfig.json.bak && node ../../scripts/mergeTsConfig.mjs ./tsconfig.json"
+    "pub": "npm publish --access public"
   }
 }

package/src/Array.ts

@@ -1,9 +1,9 @@
-import { Chunk, Effect } from "effect"
 import type { NonEmptyArray, NonEmptyReadonlyArray } from "effect/Array"
 import * as Array from "effect/Array"
-import * as T from "effect/Effect"
-import { dual, type Predicate } from "./Function.js"
-import * as Option from "./Option.js"
+import * as Chunk from "effect/Chunk"
+import * as Effect from "effect/Effect"
+import { dual, type Predicate } from "./Function.ts"
+import * as Option from "./Option.ts"
 
 export const toNonEmptyArray = Option.liftPredicate(Array.isReadonlyArrayNonEmpty)
 
@@ -104,7 +104,7 @@ export function chunk_<T>(items_: Iterable<T>, size: number) {
 }
 
 export function forEachEffectNA<A, R, E, B>(as: NonEmptyReadonlyArray<A>, f: (a: A) => Effect.Effect<B, E, R>) {
-  return Effect.map(T.forEach(as, f), (_) => Option.getOrNull(toNonEmptyArray(_)))
+  return Effect.map(Effect.forEach(as, f), (_) => Option.getOrNull(toNonEmptyArray(_)))
 }
 
 export * from "effect/Array"

package/src/Chunk.ts

@@ -1,9 +1,9 @@
-import { pipe, type Predicate, type Refinement } from "./Function.js"
-import * as Option from "./Option.js"
+import { pipe, type Predicate, type Refinement } from "./Function.ts"
+import * as Option from "./Option.ts"
 
 import * as Chunk from "effect/Chunk"
 import { type Equivalence } from "effect/Equivalence"
-import * as Array from "./Array.js"
+import * as Array from "./Array.ts"
 
 export * from "effect/Chunk"
 

package/src/Config/SecretURL.ts

@@ -1,9 +1,11 @@
 /**
  * @since 1.0.0
  */
-import { Config, type Equal, type Redacted } from "effect"
 import type * as Chunk from "effect/Chunk"
-import * as internal from "./internal/configSecretURL.js"
+import * as Config from "effect/Config"
+import type * as Equal from "effect/Equal"
+import type * as Redacted from "effect/Redacted"
+import * as internal from "./internal/configSecretURL.ts"
 
 // /**
 //  * @since 1.0.0
@@ -21,6 +23,7 @@ import * as internal from "./internal/configSecretURL.js"
  * @since 1.0.0
  * @category models
  */
+// eslint-disable-next-line import/namespace
 export interface SecretURL extends Redacted.Redacted, Equal.Equal {
   /** @internal */
   readonly raw: Array<number>
@@ -73,5 +76,5 @@ export const value: (self: SecretURL) => string = internal.value
 export const unsafeWipe: (self: SecretURL) => void = internal.unsafeWipe
 
 export const secretURL = (name?: string): Config.Config<SecretURL> => {
-  return Config.map(Config.nonEmptyString(name), fromString)
+  return Config.map(Config.NonEmptyString(name), fromString)
 }

package/src/Config/internal/configSecretURL.ts

@@ -1,6 +1,6 @@
-import { Redacted } from "effect"
 import * as Chunk from "effect/Chunk"
-import type * as SecretURL from "../SecretURL.js"
+import * as Redacted from "effect/Redacted"
+import type * as SecretURL from "../SecretURL.ts"
 
 /** @internal */
 export const isSecretURL = (u: unknown): u is SecretURL.SecretURL => {

package/src/Config.ts

@@ -1,14 +1,7 @@
-import { type Config, make } from "effect/Config"
-import { dual } from "effect/Function"
-
-import * as ConfigProvider from "./ConfigProvider.js"
-
-export const nested: {
-  (name: string): <A>(self: Config<A>) => Config<A>
-  <A>(self: Config<A>, name: string): Config<A>
-} = dual(
-  2,
-  <A>(self: Config<A>, name: string): Config<A> => make((provider) => self.parse(ConfigProvider.nested(provider, name)))
-)
-
+// `Config.nested` previously needed a local override because effect v3's `nested`
+// did not run the provider's `mapInput`/`constantCase` over the nested namespace
+// segment (see commit "fix Config.nested mapping"). As of effect 4.0.0-beta.84 the
+// upstream `nested` threads the prefix through the lookup path, so the provider
+// transform covers it — the override is obsolete and the old internals it used are
+// gone. Re-export the native module directly.
 export * from "effect/Config"

package/src/ConfigProvider.ts

@@ -1,48 +1,5 @@
-import { type ConfigProvider, make, type Path } from "effect/ConfigProvider"
-import { dual } from "effect/Function"
-
-/**
- * Scopes a provider so that all lookups are prefixed with the given path
- * segments.
- *
- * When to use:
- * - Namespacing config under a prefix like `"app"` or `"database"`.
- * - Reusing the same provider shape for multiple sub-configs.
- *
- * Accepts a single string or a full `Path` array. The prefix is prepended
- * *after* any `mapInput` transformation runs, so ordering matters when
- * composing with {@link mapInput} or {@link constantCase}.
- *
- * Supports both data-last and data-first calling conventions.
- *
- * **Example** (Nesting under a prefix)
- *
- * ```ts
- * import { ConfigProvider } from "effect"
- *
- * const provider = ConfigProvider.fromEnv({
- *   env: { APP_HOST: "localhost", APP_PORT: "3000" }
- * })
- *
- * // Lookups for ["HOST"] now resolve to ["APP", "HOST"]
- * const scoped = ConfigProvider.nested(provider, "APP")
- * ```
- *
- * @see {@link mapInput} – for arbitrary path transformations
- *
- * @category Combinators
- * @since 4.0.0
- */
-export const nested: {
-  (prefix: string | Path): (self: ConfigProvider) => ConfigProvider
-  (self: ConfigProvider, prefix: string | Path): ConfigProvider
-} = dual(
-  2,
-  (self: ConfigProvider, prefix: string | Path): ConfigProvider => {
-    let path: Path = typeof prefix === "string" ? [prefix] : prefix
-    if (self.mapInput) path = self.mapInput(path)
-    return make(self.get, self.mapInput, self.prefix ? [...self.prefix, ...path] : path)
-  }
-)
-
+// Local `nested` override removed: it existed to make the nested namespace honour the
+// provider's `mapInput`/`constantCase` (see commit "fix Config.nested mapping"), which
+// effect 4.0.0-beta.84 now does natively. The old override also relied on internals
+// (`provider.get`/`mapInput`/`prefix`) that no longer exist. Re-export native directly.
 export * from "effect/ConfigProvider"

package/src/Context.ts

@@ -1,16 +1,17 @@
 /* eslint-disable @typescript-eslint/no-explicit-any */
+/* eslint-disable import/namespace */
 
-import { type Effect, Layer, type Scope, type Types } from "effect"
 import * as CTX from "effect/Context"
-import { type Yieldable } from "./Effect.js"
+import type * as Effect from "effect/Effect"
+import * as Layer from "effect/Layer"
+import type * as Scope from "effect/Scope"
+import type * as Types from "effect/Types"
 
 export * from "effect/Context"
 
-export interface Opaque<Self extends object, in out Shape extends object>
-  extends CTX.Key<Self, Self>, Yieldable<Opaque<Self, Shape>, Self, never, Self>
-{
+export interface Opaque<Self extends object, in out Shape extends object> extends CTX.Key<Self, Self> {
   of(this: void, self: Shape): Self
-  serviceMap(self: Shape): CTX.Context<Self>
+  context(self: Shape): CTX.Context<Self>
   // a version that leverages the Shape -> Self conversion
   toLayer: <E, R>(
     eff: Effect.Effect<Shape, E, R>
@@ -24,7 +25,7 @@ export interface Opaque<Self extends object, in out Shape extends object>
 // {
 //   // temp while sorting out https://github.com/Effect-TS/effect-smol/pull/1534
 //   of(self: Shape): Self
-//   serviceMap2(self: Shape): CTX.Context<Self>
+//   contextMap2(self: Shape): CTX.Context<Self>
 //   // a version that leverages the Shape -> Self conversion
 //   toLayer: {
 //     <E, R>(
@@ -93,7 +94,7 @@ export const accessCn = <
 >(
   Tag: Opaque<Self, Shape>,
   key: K
-): Effect.Effect<Shape[K], never, Self> => Tag.useSync((s) => s[key]) as any
+): Effect.Effect<Shape[K], never, Self> => Tag.useSync((s) => s[key])
 
 /** Accessor for a service property that is an Effect. Delegates via `use`. */
 export const accessEffectCn = <