effect-app 4.0.0-beta.27 → 4.0.0-beta.271

package/package.json

@@ -1,31 +1,30 @@
 {
   "name": "effect-app",
-  "version": "4.0.0-beta.27",
+  "version": "4.0.0-beta.271",
   "license": "MIT",
   "type": "module",
   "dependencies": {
     "@tsconfig/strictest": "^2.0.8",
-    "date-fns": "^4.1.0",
-    "nanoid": "^5.1.6",
+    "date-fns": "^4.4.0",
+    "nanoid": "^5.1.11",
     "path-parser": "^6.1.0",
-    "query-string": "^9.3.1",
+    "query-string": "^9.4.0",
     "ts-pattern": "^5.9.0",
     "ts-toolbelt": "^9.6.0",
-    "uuid": "^13.0.0",
-    "validator": "^13.15.26"
+    "uuid": "^14.0.0",
+    "validator": "^13.15.35"
   },
   "devDependencies": {
     "@faker-js/faker": "^8.4.1",
-    "@types/node": "25.3.3",
+    "@types/node": "25.9.1",
     "@types/uuid": "^11.0.0",
     "@types/validator": "^13.15.10",
-    "fast-check": "~4.5.3",
-    "typescript": "~5.9.3",
-    "vitest": "^4.0.18",
-    "@effect-app/eslint-shared-config": "0.5.7-beta.2"
+    "fast-check": "~4.8.0",
+    "typescript": "~6.0.3",
+    "vitest": "^4.1.7"
   },
   "peerDependencies": {
-    "effect": "^4.0.0-beta.37"
+    "effect": "^4.0.0-beta.84"
   },
   "typesVersions": {
     "*": {
@@ -39,233 +38,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/SecretURL": {
-      "types": "./dist/Config/SecretURL.d.ts",
-      "default": "./dist/Config/SecretURL.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/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"
-    },
-    "./ServiceMap": {
-      "types": "./dist/ServiceMap.d.ts",
-      "default": "./dist/ServiceMap.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",
@@ -279,21 +55,20 @@
   ],
   "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",

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.string(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

@@ -0,0 +1,7 @@
+// `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

@@ -0,0 +1,5 @@
+// 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/{ServiceMap.ts → Context.ts}

@@ -1,21 +1,17 @@
 /* eslint-disable @typescript-eslint/no-explicit-any */
-/**
- * We're doing the long way around here with assignTag, TagBase & TagBaseTagged,
- * because there's a typescript compiler issue where it will complain about Equal.symbol, and Hash.symbol not being accessible.
- * https://github.com/microsoft/TypeScript/issues/52644
- */
+/* eslint-disable import/namespace */
 
-import { type Effect, Layer, type Scope, type Types } from "effect"
-import * as ServiceMap from "effect/ServiceMap"
-import { type Yieldable } from "./Effect.js"
+import * as CTX from "effect/Context"
+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/ServiceMap"
+export * from "effect/Context"
 
-export interface Opaque<Self extends object, in out Shape extends object>
-  extends ServiceMap.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): ServiceMap.ServiceMap<Self>
+  context(self: Shape): CTX.Context<Self>
   // a version that leverages the Shape -> Self conversion
   toLayer: <E, R>(
     eff: Effect.Effect<Shape, E, R>
@@ -25,11 +21,11 @@ export interface Opaque<Self extends object, in out Shape extends object>
 }
 
 // export interface OpaqueMake<Self extends object, in out Shape extends object, E, R>
-//   extends ServiceMap.Service<Self, Self>
+//   extends CTX.Service<Self, Self>
 // {
 //   // temp while sorting out https://github.com/Effect-TS/effect-smol/pull/1534
 //   of(self: Shape): Self
-//   serviceMap2(self: Shape): ServiceMap.ServiceMap<Self>
+//   contextMap2(self: Shape): CTX.Context<Self>
 //   // a version that leverages the Shape -> Self conversion
 //   toLayer: {
 //     <E, R>(
@@ -44,7 +40,7 @@ export function assignTag<Identifier extends object, Shape extends object = Iden
   creationError?: Error
 ) {
   return <S extends object>(cls: S): S & Opaque<Identifier, Shape> => {
-    const tag = ServiceMap.Service<Identifier, Shape>(key)
+    const tag = CTX.Service<Identifier, Shape>(key)
     let fields = tag
     if (Reflect.ownKeys(cls).includes("key")) {
       const { key, ...rest } = tag
@@ -67,54 +63,51 @@ export function assignTag<Identifier extends object, Shape extends object = Iden
   }
 }
 
-export type ServiceAcessorShape<Self, Type> = Type extends Record<PropertyKey, any> ? {
-    [
-      k in keyof Type as Type[k] extends ((...args: [...infer Args]) => infer Ret)
-        ? ((...args: Readonly<Args>) => Ret) extends Type[k] ? k : never
-        : k
-    ]: Type[k] extends (...args: [...infer Args]) => Effect.Effect<infer A, infer E, infer R>
-      ? (...args: Readonly<Args>) => Effect.Effect<A, E, Self | R>
-      : Type[k] extends (...args: [...infer Args]) => infer A
-        ? (...args: Readonly<Args>) => Effect.Effect<A, never, Self>
-      : Type[k] extends Effect.Effect<infer A, infer E, infer R> ? Effect.Effect<A, E, Self | R>
-      : Effect.Effect<Type[k], never, Self>
-  }
-  : {}
+/** Accessor for a service method that returns a plain value. Wraps via `useSync`. */
+export const accessFn = <
+  Self extends object,
+  Shape extends Record<PropertyKey, any>,
+  K extends keyof Shape
+>(
+  Tag: Opaque<Self, Shape>,
+  key: K
+): Shape[K] extends (...args: [...infer Args]) => infer A ? (...args: Readonly<Args>) => Effect.Effect<A, never, Self>
+  : never => ((...args: Array<any>) => Tag.useSync((s: any) => s[key](...args))) as any
 
-/**
- * Only use this in very specific cases where using dependencies directly is prefered, like inside command handlers.
- */
-export const proxify = <T extends object>(Tag: T) =>
-<Self, Shape>():
-  & T
-  & ServiceAcessorShape<Self, Shape> =>
-{
-  const cache = new Map()
-  const done = new Proxy(Tag, {
-    get(_target: any, prop: any, _receiver) {
-      if (prop === "use") {
-        // @ts-expect-error abc
-        return (body) => (Tag as any).use(body)
-      }
-      if (prop in Tag) {
-        return (Tag as any)[prop]
-      }
-      if (cache.has(prop)) {
-        return cache.get(prop)
-      }
-      const fn = (...args: Array<any>) => (Tag as any).use((s: any) => s[prop](...args))
-      const cn = (Tag as any).use((s: any) => s[prop])
-      // @effect-diagnostics effect/floatingEffect:off
-      Object.assign(fn, cn)
-      Object.setPrototypeOf(fn, Object.getPrototypeOf(cn))
-      cache.set(prop, fn)
-      return fn
-    }
-  })
-  return done
-}
+/** Accessor for a service method that returns an Effect. Delegates via `use`. */
+export const accessEffectFn = <
+  Self extends object,
+  Shape extends Record<PropertyKey, any>,
+  K extends keyof Shape
+>(
+  Tag: Opaque<Self, Shape>,
+  key: K
+): Shape[K] extends (...args: [...infer Args]) => Effect.Effect<infer A, infer E, infer R>
+  ? (...args: Readonly<Args>) => Effect.Effect<A, E, Self | R>
+  : never => ((...args: Array<any>) => Tag.use((s: any) => s[key](...args))) as any
+
+/** Accessor for a service property (constant). Wraps via `useSync`. */
+export const accessCn = <
+  Self extends object,
+  Shape extends Record<PropertyKey, any>,
+  K extends keyof Shape
+>(
+  Tag: Opaque<Self, Shape>,
+  key: K
+): 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 = <
+  Self extends object,
+  Shape extends Record<PropertyKey, any>,
+  K extends keyof Shape
+>(
+  Tag: Opaque<Self, Shape>,
+  key: K
+): Shape[K] extends Effect.Effect<infer A, infer E, infer R> ? Effect.Effect<A, E, Self | R>
+  : never => Tag.use((s: any) => s[key]) as any
 
-export const TypeId = "~ServiceMap.Opaque"
+export const TypeId = "~Context.Opaque"
 
 // export function Opaque<const Key extends string>(key: Key) {
 //   return <Identifier extends object, Shape extends object>() => {
@@ -179,7 +172,7 @@ export const Opaque: {
     >
     & { readonly make: Make }
 } = () => (id: string, options: any) => {
-  const svc = ServiceMap.Service()(id, options) as any
+  const svc = CTX.Service()(id, options) as any
   return Object.assign(svc, {
     toLayer: (eff: Effect.Effect<any, any, any>) => {
       return Layer.effect(svc, eff)

package/src/Effect.ts

@@ -2,13 +2,15 @@
 /* eslint-disable prefer-destructuring */
 // eslint-disable-next-line @typescript-eslint/no-unused-vars
 
-import { Effect, Option, Ref, type ServiceMap } from "effect"
 import * as Def from "effect/Deferred"
-import * as Fiber from "effect/Fiber"
+import * as Effect from "effect/Effect"
+import * as Option from "effect/Option"
+import * as Ref from "effect/Ref"
 import type { Scope } from "effect/Scope"
 import type { Semaphore } from "effect/Semaphore"
-import { curry } from "./Function.js"
-import { typedKeysOf } from "./utils.js"
+import type * as Context from "./Context.ts"
+import { curry } from "./Function.ts"
+import { typedKeysOf } from "./utils.ts"
 
 export * from "effect/Effect"
 // v4: Effect interface not re-exported by `export *` due to local binding collision
@@ -111,15 +113,11 @@ export function modifyWithPermitWithEffect<A>(ref: Ref.Ref<A>, semaphore: Semaph
     )
 }
 
-export function joinAll<E, A>(fibers: Iterable<Fiber.Fiber<A, E>>): Effect.Effect<readonly A[], E> {
-  return Fiber.joinAll(fibers) as any
-}
-
 type ServiceA<T> = T extends Effect.Effect<infer S, any, any> ? S
-  : T extends ServiceMap.Service<any, infer S> ? S
+  : T extends Context.Service<any, infer S> ? S
   : never
 type ServiceR<T> = T extends Effect.Effect<any, any, infer R> ? R
-  : T extends ServiceMap.Service<infer I, any> ? I
+  : T extends Context.Service<infer I, any> ? I
   : never
 type ServiceE<T> = T extends Effect.Effect<any, infer E, any> ? E : never
 // type Values<T> = T extends { [s: string]: infer S } ? ServiceA<S> : never
@@ -140,29 +138,29 @@ type ValuesE<T> = T extends { [s: string]: infer S } ? ServiceE<S> : never
  * const b = a({ str: "" })   // valid, but shouldn't be!
  * ```
  */
+// eslint-disable-next-line import/namespace
 export interface EffectUnunified<R, E, A> extends Effect.Effect<R, E, A> {}
 
 export type LowerFirst<S extends PropertyKey> = S extends `${infer First}${infer Rest}` ? `${Lowercase<First>}${Rest}`
   : S
-export type LowerServices<T extends Record<string, ServiceMap.Service<any, any> | Effect.Effect<any, any, any>>> = {
+export type LowerServices<T extends Record<string, Context.Service<any, any> | Effect.Effect<any, any, any>>> = {
   [key in keyof T as LowerFirst<key>]: ServiceA<T[key]>
 }
 
-export function allLower<T extends Record<string, ServiceMap.Service<any, any> | Effect.Effect<any, any, any>>>(
+export function allLower<T extends Record<string, Context.Service<any, any> | Effect.Effect<any, any, any>>>(
   services: T
 ) {
   return Effect.all(
     typedKeysOf(services).reduce((prev, cur) => {
       const svc = services[cur]!
-      prev[((cur as string)[0]!.toLowerCase() + (cur as string).slice(1)) as unknown as LowerFirst<typeof cur>] =
-        "asEffect" in svc ? svc.asEffect() : svc
+      prev[((cur as string)[0]!.toLowerCase() + (cur as string).slice(1)) as unknown as LowerFirst<typeof cur>] = svc
       return prev
     }, {} as any),
     { concurrency: "inherit" }
   ) as any as Effect.Effect<LowerServices<T>, ValuesE<T>, ValuesR<T>>
 }
 
-export function allLowerWith<T extends Record<string, ServiceMap.Service<any, any> | Effect.Effect<any, any, any>>, A>(
+export function allLowerWith<T extends Record<string, Context.Service<any, any> | Effect.Effect<any, any, any>>, A>(
   services: T,
   fn: (services: LowerServices<T>) => A
 ) {
@@ -170,7 +168,7 @@ export function allLowerWith<T extends Record<string, ServiceMap.Service<any, an
 }
 
 export function allLowerWithEffect<
-  T extends Record<string, ServiceMap.Service<any, any> | Effect.Effect<any, any, any>>,
+  T extends Record<string, Context.Service<any, any> | Effect.Effect<any, any, any>>,
   R,
   E,
   A