R/effect v4

.gitmodules

@@ -0,0 +1,6 @@
+[submodule "repos/effect-smol"]
+	path = repos/effect-smol
+	url = https://github.com/Effect-TS/effect-smol.git
+[submodule "repos/effect"]
+	path = repos/effect
+	url = https://github.com/Effect-TS/effect.git

AGENTS.md

@@ -0,0 +1,140 @@
+# Agent Instructions
+
+This is the Effect App library repository, focusing on functional programming patterns and effect systems in TypeScript, wrapping and extending the Effect library.
+
+## Development Workflow
+
+- The git base branch is `main`
+- Use `pnpm` as the package manager
+
+### Core Principles
+
+- **Zero Tolerance for Errors**: All automated checks must pass
+- **Clarity over Cleverness**: Choose clear, maintainable solutions
+- **Conciseness**: Keep code and any wording concise and to the point. Sacrifice grammar for the sake of concision.
+- **Reduce comments**: Avoid comments unless absolutely required to explain unusual or complex logic. Comments in jsdocs are acceptable.
+- **Never import local `/repos` files**: Always use the latest online versions of packages instead.
+- **Never webfetch from the `effect` and `effect-smol` repos**: just use the locally included under `repos`
+
+### Mandatory Validation Steps
+
+#### New Features
+
+- Run `pnpm lint-fix` after editing files
+<!-- - Always run tests after making changes: `pnpm test <test_file.ts>` -->
+- Run type checking: `pnpm check`
+  - If type checking continues to fail, run `pnpm clean` to clear caches, then re-run `pnpm check`
+<!-- - Build the project: `pnpm build`
+- Check JSDoc examples compile: `pnpm docgen` -->
+
+#### Migrations
+
+- Run `pnpm eslint fix ./src/<file.ts>` inside the package root after editing files
+- Run type checking: `pnpm check` inside the package root after editing files
+  - If type checking continues to fail, run `pnpm clean` to clear caches, then re-run `pnpm tsc ./src/<file.ts>`
+
+
+## Code Style Guidelines
+
+**Always** look at existing code in the repository to learn and follow
+established patterns before writing new code.
+
+Do not worry about getting code formatting perfect while writing. Use `pnpm lint-fix`
+to automatically format code according to the project's style guidelines.
+
+## Prefer `Effect.fnUntraced` over functions that return `Effect.gen`
+
+Instead of writing:
+
+```ts
+const fn = (param: string) =>
+  Effect.gen(function*() {
+    // ...
+  })
+```
+
+Prefer:
+
+```ts
+const fn = Effect.fnUntraced(function*(param: string) {
+  // ...
+})
+```
+
+## Using `ServiceMap.Service`
+
+Prefer the class syntax when working with `ServiceMap.Service`. For example:
+
+```ts
+import { ServiceMap } from "effect"
+
+class MyService extends ServiceMap.Service<MyService, {
+  readonly doSomething: (input: string) => number
+}>()("MyService") {}
+```
+
+## Checking Array is not empty
+
+Avoid `.length > 0` or `.length === 0` or `!.length` or `!!.length` checks, use `Array.isArrayNonEmpty` for type narrowing by default.
+
+## Filtering and Mapping
+
+Use Effect's `Array.filter()` with a `Filter.Filter` to do both the filtering and mapping.
+
+
+<!-- ## Barrel files
+
+The `index.ts` files are automatically generated. Do not manually edit them. Use
+`pnpm codegen` to regenerate barrel files after adding or removing modules. -->
+
+<!-- ## Running test code
+
+If you need to run some code for testing or debugging purposes, create a new
+file in the `scratchpad/` directory at the root of the repository. You can then
+run the file with `node scratchpad/your-file.ts`.
+
+Make sure to delete the file after you are done testing. -->
+
+<!-- ## Testing
+
+Before writing tests, look at existing tests in the codebase for similar
+functionality to follow established patterns.
+
+- Test files are located in `packages/*/test/` directories for each package
+- Main Effect library tests: `packages/effect/test/`
+- Always verify implementations with tests
+- Run specific tests with: `pnpm test <filename>`
+
+### it.effect Testing Pattern
+
+- Use `it.effect` for all Effect-based tests, not `Effect.runSync` with regular `it`
+- Import `{ assert, describe, it }` from `@effect/vitest`
+- Never use `expect` from vitest in Effect tests - use `assert` methods instead
+- All tests should use `it.effect("description", () => Effect.gen(function*() { ... }))`
+
+Before writing tests, look at existing tests in the codebase for similar
+functionality to follow established patterns.
+
+### Type level tests
+
+Type level tests are located in the `dtslint` directories of each package.
+
+You can run them with `pnpm test-types <filename>`.
+
+Take a look at the existing `.tst.ts` files for examples of how to write type
+level tests. They use the `tstyche` testing library. -->
+
+## Changesets
+
+All pull requests must include a changeset. You can create changesets in the
+`.changeset/` directory.
+
+The have the following format:
+
+```md
+---
+"package-name": patch | minor | major
+---
+
+A description of the change.
+```

CLAUDE.md

@@ -0,0 +1,3 @@
+# CLAUDE.md
+
+Strictly follow the rules in ./AGENTS.md

package.json

@@ -4,7 +4,6 @@
   "pnpm": {
     "patchedDependencies": {
       "eslint-plugin-codegen@0.17.0": "patches/eslint-plugin-codegen@0.17.0.patch",
-      "effect": "patches/effect.patch",
       "ts-plugin-sort-import-suggestions": "patches/ts-plugin-sort-import-suggestions.patch",
       "@tanstack/query-core": "patches/@tanstack__query-core.patch",
       "typescript": "patches/typescript.patch",
@@ -22,7 +21,7 @@
     "preinstall": "npx only-allow pnpm",
     "clean": "pnpm all clean",
     "clean-dist": "pnpm -r clean-dist",
-    "autofix": "NODE_OPTIONS=--max-old-space-size=6144 pnpm -r --no-bail autofix",
+    "lint-fix": "NODE_OPTIONS=--max-old-space-size=6144 pnpm -r --no-bail lint-fix",
     "lint": "pnpm -r lint",
     "circular:dist": "pnpm -r circular:dist",
     "test": "pnpm -r test:run",
@@ -62,10 +61,9 @@
     "@effect-app/cli": "^1.29.2",
     "@effect-app/eslint-codegen-model": "workspace:*",
     "@effect-app/infra": "workspace:*",
-    "@effect/language-service": "0.71.2",
-    "@effect/platform": "^0.94.1",
-    "@effect/platform-node": "^0.104.0",
-    "@effect/vitest": "^0.27.0",
+    "@effect/language-service": "0.75.1",
+    "@effect/platform-node": "^4.0.0-beta.12",
+    "@effect/vitest": "^4.0.0-beta.12",
     "@tsconfig/strictest": "^2.0.8",
     "@types/lodash": "^4.17.23",
     "@types/node": "25.0.8",
@@ -75,7 +73,7 @@
     "@vue/eslint-config-typescript": "^14.6.0",
     "concurrently": "^9.2.1",
     "dprint": "^0.51.1",
-    "effect": "^3.19.14",
+    "effect": "^4.0.0-beta.12",
     "effect-app": "workspace:*",
     "enhanced-resolve": "^5.18.4",
     "eslint": "^9.39.2",

packages/cli/package.json

@@ -9,8 +9,8 @@
     "effect-app-cli": "./bin.js"
   },
   "dependencies": {
-    "@effect/cli": "^0.73.0",
-    "@effect/platform-node": "^0.104.0",
+    "@effect/platform-node": "^4.0.0-beta.12",
+    "effect": "^4.0.0-beta.12",
     "js-yaml": "4.1.1",
     "node-watch": "^0.7.4"
   },
@@ -54,7 +54,8 @@
   },
   "scripts": {
     "watch": "pnpm build:tsc -w",
-    "build:tsc": "pnpm clean-dist && tsc --build",
+    "build:tsc": "pnpm clean-dist && pnpm check",
+    "check": "tsc --build",
     "build": "pnpm build:tsc",
     "watch2": "pnpm clean-dist && NODE_OPTIONS=--max-old-space-size=6144 tsc -w",
     "clean": "rm -rf dist",
@@ -65,7 +66,7 @@
     "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 .",
-    "autofix": "pnpm lint --fix",
+    "lint-fix": "pnpm lint --fix",
     "test": "vitest",
     "test:run": "pnpm run test run --passWithNoTests",
     "testsuite": "pnpm lint && pnpm circular && pnpm run test:run",

packages/cli/src/extract.ts

@@ -1,5 +1,4 @@
-import { type Error as PlatformError, FileSystem, Path } from "@effect/platform"
-import { Array as EffectArray, Effect, Order, pipe } from "effect"
+import { Array as EffectArray, Effect, FileSystem, Order, Path, pipe, type PlatformError } from "effect"
 
 /**
  * Generates package.json exports mappings for TypeScript modules
@@ -61,7 +60,7 @@ export const ExtractExportMappingsService = Effect.fn("effa-cli.extractExportMap
 
     const sortedMappings = pipe(
       exportMappings,
-      EffectArray.sort(Order.string),
+      EffectArray.sort(Order.String),
       EffectArray.join(",\n")
     )