skyr 1.0.0 → 1.1.1

package/README.md

@@ -57,19 +57,19 @@ Results are plain objects with a `_tag` discriminant:
 
 The `cause` field is `undefined` when not provided.
 
-Every Result comes with methods for transforming and inspecting it — type `.` in
+Every Result comes with methods for transforming and inspecting it. Type `.` in
 your IDE and see what's available.
 
 ### Letting TypeScript Infer Result Types
 
 There's a subtlety with the example above. Without an explicit return type
 annotation, TypeScript infers the return type as
-`Result<string, never> | Result<never, "INVALID_EMAIL">` — a union of two
+`Result<string, never> | Result<never, "INVALID_EMAIL">`, a union of two
 separate Result types rather than a single unified
 `Result<string, "INVALID_EMAIL">`.
 
 You could fix this by adding a return type annotation, but it's generally safer
-to let TypeScript infer return types whenever possible — annotations can drift
+to let TypeScript infer return types whenever possible. Annotations can drift
 out of sync with the implementation and mask bugs.
 
 Instead, wrap the function with `fn()`:
@@ -87,7 +87,7 @@ const validateEmail = R.fn((email: string) => {
 ```
 
 `fn()` collapses all the Result branches into a single, clean `Result<T, E>`
-type. No annotation needed — the ok value type and all possible error codes are
+type. No annotation needed; the ok value type and all possible error codes are
 inferred automatically.
 
 This is the simplest use of `fn()`. It also supports
@@ -123,7 +123,7 @@ considered a Result if it's a non-null object with `_tag` equal to `"Ok"` or
 ### Method Chaining
 
 Every Result has methods for transformation, error handling, and value
-extraction. Chain them directly — no imports or special syntax needed:
+extraction. Chain them directly, no imports or special syntax needed:
 
 ```typescript
 const message = validateEmail("User@Example.com")
@@ -137,15 +137,14 @@ const message = validateEmail("User@Example.com")
 console.log(message); // "Welcome, user@example.com!"
 ```
 
-Methods skip over errors automatically — if `validateEmail` returns an error,
-the `.map()` calls are never executed, and the error flows straight to
-`.match()`.
+Methods skip over errors automatically. If `validateEmail` returns an error, the
+`.map()` calls are never executed and the error flows straight to `.match()`.
 
 ### Async Propagation
 
-When any step returns a `Promise`, the result becomes an `AsyncResult` — a
+When any step returns a `Promise`, the result becomes an `AsyncResult`, a
 wrapper around `Promise<Result>` with the same methods. This is called **async
-poison** — once async, always async (until you `await`).
+poison**: once async, always async (until you `await`).
 
 ```typescript
 const result = validateEmail("user@example.com") // Result<string, ...>
@@ -154,7 +153,7 @@ const result = validateEmail("user@example.com") // Result<string, ...>
 // Type: AsyncResult<string, ...>
 
 const finalResult = await result;
-// Type: Result<string, ...> — back to sync, methods available again
+// Type: Result<string, ...> (back to sync)
 ```
 
 `AsyncResult` is `PromiseLike`, so you can `await` it to get back a sync
@@ -181,14 +180,16 @@ const message = R.pipe(
 ```
 
 Standalone operators accept both `Result` and `Promise<Result>` as input and
-propagate async automatically — they work interchangeably with both styles.
+propagate async automatically and work interchangeably with both styles.
 
-### Panics: Catching Programmer Errors
+### Panics: Unexpected Throws
 
-Callbacks passed to `map`, `mapErr`, and `match` are expected to be pure
-transformation functions. If a callback **throws synchronously**, that's a
-programmer error — a bug, not a domain error. skyr wraps these in a `Panic`
-error to make them instantly recognizable:
+If your code calls something that might throw or reject, or you're unsure
+whether it could, wrap it with `fromThrowable()` to convert it into a Result
+safely. This is the recommended approach for any code you don't fully control.
+
+If a callback passed to `map`, `mapErr`, or `match` throws synchronously without
+being wrapped, a `Panic` is thrown, halting execution immediately unless caught:
 
 ```typescript
 R.ok(42).map(() => {
@@ -201,11 +202,12 @@ R.ok(42).map(() => {
 `Panic` extends `Error`, so you get a full stack trace. Catch it at the top
 level with `instanceof R.Panic` if needed.
 
-**Promise rejections** are different — they represent the outside world failing
-(network errors, etc.) and are captured as `UNKNOWN_ERR` results, not Panics.
-
-If your callback calls code that might throw, wrap it with `fromThrowable()` to
-convert it into a Result safely.
+**Async functions** (Promises) returned from callbacks are automatically wrapped
+with `fromThrowable` implicitly, so rejections become `UNKNOWN_ERR` results
+instead of Panics. However, if you use multiple async functions, all their
+errors will share the same `UNKNOWN_ERR` code, making it impossible to
+distinguish between them. Wrapping each one with `fromThrowable` and a dedicated
+error code is the recommended approach.
 
 ## Methods
 
@@ -224,7 +226,7 @@ R.ok(5)
 ```
 
 If `fn` returns a `Result`, it's automatically flattened (no nested Results). If
-it returns a `Promise`, the result becomes an `AsyncResult` — the Promise is
+it returns a `Promise`, the result becomes an `AsyncResult`. The Promise is
 automatically handled like `fromThrowable`: resolved values become ok, rejected
 Promises become `UNKNOWN_ERR`.
 
@@ -232,7 +234,7 @@ Promises become `UNKNOWN_ERR`.
 
 Transforms or recovers from errors. Has two forms:
 
-**Function form** — transform all errors:
+**Function form** - transform all errors:
 
 ```typescript
 R.err("NOT_FOUND", "User not found")
@@ -240,7 +242,7 @@ R.err("NOT_FOUND", "User not found")
 // Result<never, "DEFAULT_ERROR">
 ```
 
-**Handler object** — handle specific error codes with autocomplete:
+**Handler object** - handle specific error codes with autocomplete:
 
 ```typescript
 type AppError = "NOT_FOUND" | "TIMEOUT" | "AUTH_FAILED";
@@ -289,7 +291,7 @@ validateEmail("user@example.com")
 	.map((email) => email.toLowerCase());
 ```
 
-The callback's return value is ignored — the original Result is always returned
+The callback's return value is ignored; the original Result is always returned
 unchanged. If the callback throws or the returned Promise rejects, the error is
 silently swallowed and the original Result passes through. Side effects should
 never break the pipeline.
@@ -363,14 +365,33 @@ safeParse("nope"); // Err("PARSE_ERROR")
 
 ## Dependency Injection with `fn()`
 
-For larger applications, `fn()` accepts a generator function to enable
-railway-style programming with dependency injection. Inside the generator,
-`yield*` unwraps Results (short-circuiting on failure) and `yield* R.use(Dep)`
-acquires dependencies. Dependencies are tracked by the type system and must be
-injected before the function can be called.
+`fn()` is a function builder. You pass it a generator and get back a function
+you can call just like any other. The difference is that inside the generator
+you get two superpowers:
+
+1. **Dependency requests** - `yield* R.use(Dep)` gives you an implementation of
+   a dependency without worrying about how to acquire it. Think of it like a
+   function parameter, except you don't have to pass it in at the call site.
+   When one `fn()` function calls another, unmet dependencies propagate up
+   automatically, no prop drilling required. You can also choose to supply some
+   dependencies but not all, and the rest keep propagating.
+
+2. **Result unwrapping** - `yield* someResult` extracts the success value from
+   any `Result` or `AsyncResult`. If it's an error, the function short-circuits
+   (early return) and the error propagates to the caller, just like the
+   non-generator version (`fn(() => ...)`).
+
+The return type of an `fn()` function is `Fn<Args, Success, Errors, Deps>`:
+
+- **Args** - the parameter list of your generator (e.g. `(email: string)` →
+  `[string]`)
+- **Success** - the unwrapped success type
+- **Errors** - a union of all error codes, accumulated from every `yield*` call
+- **Deps** - a union of all unmet dependencies, accumulated from every
+  `yield* R.use()` call
 
-Both `ok()` and `err()` are iterable, which is what makes `yield*` work for
-Result unwrapping in generators.
+The `Fn` you get back is only callable once all dependencies are injected (via
+`.inject()`), at which point the `Deps` part of the type becomes `never`.
 
 ### Declaring Dependencies
 
@@ -389,9 +410,6 @@ const Logger = R.dependency<{
 
 ### Creating Functions
 
-Use `fn()` with a generator. Inside, `yield*` unwraps Results (short-circuiting
-on failure) and `yield* R.use(Dep)` acquires dependencies:
-
 ```typescript
 const GetUser = R.fn(function* (email: string) {
 	const db = yield* R.use(Database);
@@ -411,26 +429,24 @@ const GetUser = R.fn(function* (email: string) {
 
 Key points:
 
-- `yield* R.use(Database)` — acquires a dependency from the DI context
-- `yield* validateEmail(email)` — unwraps a Result; short-circuits on failure
-- `yield* R.fromThrowable(...)` — unwraps an async Result
+- `yield* R.use(Database)` - acquires a dependency from the DI context
+- `yield* validateEmail(email)` - unwraps a Result; short-circuits on failure
+- `yield* R.fromThrowable(...)` - catches throws/rejections, converting them to
+  a Result, then unwraps it
 - Error types accumulate automatically across all `yield*` calls
 - Dependency types accumulate automatically across all `yield* R.use()` calls
 
 ### Injecting Dependencies
 
-Use `inject()` in a `pipe()` to provide implementations:
+Use `.inject()` to provide implementations:
 
 ```typescript
-const getUser = R.pipe(
-	GetUser,
-	R.inject(
-		Database.impl({ findUser: async (email) => db.query(email) }),
-		Logger.impl({ info: console.log }),
-	),
+const getUser = GetUser.inject(
+	Database.impl({ findUser: async (email) => db.query(email) }),
+	Logger.impl({ info: console.log }),
 );
 
-// Now callable — all dependencies satisfied
+// All dependencies satisfied, now callable
 const result = await getUser("user@example.com");
 ```
 
@@ -447,13 +463,25 @@ like `Missing dependency: "database". Use inject() to provide this dependency.`
 Injection can be done incrementally:
 
 ```typescript
-const withDb = R.pipe(GetUser, R.inject(Database.impl({/* ... */})));
+const withDb = GetUser.inject(Database.impl({/* ... */}));
 // Still needs Logger
 
-const getUser = R.pipe(withDb, R.inject(Logger.impl({/* ... */})));
+const getUser = withDb.inject(Logger.impl({/* ... */}));
 // Fully callable
 ```
 
+The standalone `inject()` operator works the same way inside `pipe()`:
+
+```typescript
+const getUser = R.pipe(
+	GetUser,
+	R.inject(
+		Database.impl({ findUser: async (email) => db.query(email) }),
+		Logger.impl({ info: console.log }),
+	),
+);
+```
+
 ### Nested Functions
 
 When one `fn()` uses another via `yield* R.use(ChildFn)`, the child's
@@ -479,9 +507,8 @@ const LoginUser = R.fn(function* (email: string, password: string) {
 // Dependencies: Logger | Database (Database inherited from CheckPermissions)
 ```
 
-The two-step pattern — `yield* R.use(Fn)` then `yield* callable(args)` —
-separates dependency resolution from execution, keeping the control flow
-explicit.
+The two-step pattern, `yield* R.use(Fn)` then `yield* callable(args)`, separates
+dependency resolution from execution, keeping the control flow explicit.
 
 ## API Reference
 
@@ -520,7 +547,7 @@ explicit.
 `AsyncResult<T, E>` wraps a `Promise<Result<T, E>>` and exposes the same methods
 as `Result`. All methods return `AsyncResult` (async poison), except terminal
 operations (`.match()`, `.unwrap()`, `.unwrapOr()`) which return `Promise`.
-`AsyncResult` is `PromiseLike` — `await` it to get a sync `Result`.
+`AsyncResult` is `PromiseLike`; `await` it to get a sync `Result`.
 
 ### Standalone Operators (for `pipe()`)
 
@@ -558,7 +585,8 @@ operations (`.match()`, `.unwrap()`, `.unwrapOr()`) which return `Promise`.
 | `fn(func)`             | Unify Result return type                      |
 | `use(dep)`             | Acquire dependency inside a generator         |
 | `use(Fn)`              | Get contextualized callable for nested Fn     |
-| `inject(...impls)`     | Provide dependency implementations            |
+| `.inject(...impls)`    | Provide dependency implementations (method)   |
+| `inject(...impls)`     | Provide dependency implementations (operator) |
 
 ## License
 

package/esm/_internal/handlers.d.ts

@@ -1,9 +1,10 @@
 /**
- * Shared implementation helpers for Result methods and standalone operators.
+ * Shared implementation helpers for methods and standalone operators.
  *
- * Both the methods on ok()/err() and the standalone operators (for pipe())
- * need the same transformation logic. This module provides the shared core
- * so behavior stays consistent and bugs only need fixing in one place.
+ * Both chainable methods (e.g. .map(), .inject()) and standalone operators
+ * (for pipe()) need the same transformation logic. This module provides
+ * the shared core so behavior stays consistent and bugs only need fixing
+ * in one place.
  *
  * @internal
  */
@@ -32,4 +33,9 @@ export declare function handleMatch(result: Result<any, any>, handlers: {
  * wraps in AsyncResult that resolves to the original Result.
  */
 export declare function handleInspect(result: Result<any, any>, fn: (value: any) => any): any;
+/**
+ * Core inject logic: merge dependency implementations into an Fn,
+ * returning a new Fn with those dependencies satisfied.
+ */
+export declare function injectDeps(fn: any, impls: readonly any[]): any;
 //# sourceMappingURL=handlers.d.ts.map

package/esm/_internal/handlers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"handlers.d.ts","sourceRoot":"","sources":["../../src/_internal/handlers.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,cAAc,CAAC;AAGzD;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,GAAG,GAAG,CAmBlE;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAC3B,SAAS,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3B,YAAY,EAAE,GAAG,GACf,GAAG,CA6BL;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAC1B,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EACxB,QAAQ,EAAE;IAAE,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAA;CAAE,GACzD,GAAG,CAaL;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC5B,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EACxB,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,GACrB,GAAG,CAYL"}
+{"version":3,"file":"handlers.d.ts","sourceRoot":"","sources":["../../src/_internal/handlers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,cAAc,CAAC;AAIzD;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,GAAG,GAAG,CAmBlE;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAC3B,SAAS,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3B,YAAY,EAAE,GAAG,GACf,GAAG,CA6BL;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAC1B,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EACxB,QAAQ,EAAE;IAAE,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAA;CAAE,GACzD,GAAG,CAaL;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC5B,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EACxB,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,GACrB,GAAG,CAYL;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,GAAG,EAAE,GAAG,GAAG,CAM9D"}

package/esm/_internal/handlers.js

@@ -1,9 +1,10 @@
 /**
- * Shared implementation helpers for Result methods and standalone operators.
+ * Shared implementation helpers for methods and standalone operators.
  *
- * Both the methods on ok()/err() and the standalone operators (for pipe())
- * need the same transformation logic. This module provides the shared core
- * so behavior stays consistent and bugs only need fixing in one place.
+ * Both chainable methods (e.g. .map(), .inject()) and standalone operators
+ * (for pipe()) need the same transformation logic. This module provides
+ * the shared core so behavior stays consistent and bugs only need fixing
+ * in one place.
  *
  * @internal
  */
@@ -11,6 +12,7 @@ import { Panic } from "../panic.js";
 import { unknownErr } from "./errors.js";
 import { isResult, ok } from "../result.js";
 import { asyncResult } from "../async_result.js";
+import { createFn } from "../fn/fn.js";
 /**
  * Core map logic: transform an Ok value, handling Result flattening,
  * Promise→AsyncResult conversion, and Panic on sync throw.
@@ -95,7 +97,18 @@ export function handleInspect(result, fn) {
         }
     }
     catch {
-        // Swallow — side effects never break the pipeline
+        // Swallow; side effects never break the pipeline
     }
     return result;
 }
+/**
+ * Core inject logic: merge dependency implementations into an Fn,
+ * returning a new Fn with those dependencies satisfied.
+ */
+export function injectDeps(fn, impls) {
+    const newInjectedDeps = { ...fn._fn._injectedDeps };
+    for (const impl of impls) {
+        newInjectedDeps[impl.key] = impl.value;
+    }
+    return createFn(fn._fn._generator, newInjectedDeps);
+}

package/esm/async_result.d.ts

@@ -1,8 +1,8 @@
 /**
- * AsyncResult — a Promise<Result<T, E>> with chainable methods.
+ * AsyncResult: a Promise<Result<T, E>> with chainable methods.
  *
  * All methods return AsyncResult (async poison), except terminal operations
- * (match, unwrap, unwrapOr) which return Promise. AsyncResult is PromiseLike —
+ * (match, unwrap, unwrapOr) which return Promise. AsyncResult is PromiseLike -
  * await it to get back a sync Result with all its methods.
  */
 import type { Err, Result } from "./result.js";
@@ -14,7 +14,7 @@ import type { HandlerErr, HandlerOk, InferHandlerReturns } from "./_internal/typ
  * All methods return `AsyncResult` (async poison). Terminal operations
  * (`match`, `unwrap`, `unwrapOr`) return `Promise`.
  *
- * Implements `PromiseLike` — `await` it to get back a sync `Result`.
+ * Implements `PromiseLike`; `await` it to get back a sync `Result`.
  */
 export type AsyncResult<T, E extends string> = PromiseLike<Result<T, E>> & {
     map<T2, E2 extends string>(fn: (value: T) => Promise<Result<T2, E2>>): AsyncResult<T2, E | E2 | "UNKNOWN_ERR">;

package/esm/async_result.js

@@ -1,8 +1,8 @@
 /**
- * AsyncResult — a Promise<Result<T, E>> with chainable methods.
+ * AsyncResult: a Promise<Result<T, E>> with chainable methods.
  *
  * All methods return AsyncResult (async poison), except terminal operations
- * (match, unwrap, unwrapOr) which return Promise. AsyncResult is PromiseLike —
+ * (match, unwrap, unwrapOr) which return Promise. AsyncResult is PromiseLike -
  * await it to get back a sync Result with all its methods.
  */
 // ============================================================================

package/esm/fn/fn.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fn.d.ts","sourceRoot":"","sources":["../../src/fn/fn.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAE1D,OAAO,EAA6B,KAAK,MAAM,EAAE,MAAM,cAAc,CAAC;AAGtE,OAAO,KAAK,EAEX,UAAU,EAEV,sBAAsB,EACtB,mBAAmB,EACnB,EAAE,EAEF,iBAAiB,EACjB,WAAW,EACX,gBAAgB,EAEhB,YAAY,EACZ,MAAM,YAAY,CAAC;AA8LpB,mEAAmE;AACnE,iBAAS,QAAQ,CAChB,IAAI,SAAS,GAAG,EAAE,EAClB,MAAM,EACN,MAAM,SAAS,MAAM,EACrB,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,EAEpC,SAAS,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,EAC/D,YAAY,GAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAM,GACpC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CA4ChC;AAyCD,wBAAgB,EAAE,CACjB,IAAI,SAAS,GAAG,EAAE,EAClB,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAE1B,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GACxB,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;AAG1E,wBAAgB,EAAE,CACjB,IAAI,SAAS,GAAG,EAAE,EAClB,GAAG,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAEpC,SAAS,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,GAAG,GAC/B,EAAE,CACJ,IAAI,EACJ,gBAAgB,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,EAC7C,WAAW,CAAC,GAAG,CAAC,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,EACnE,iBAAiB,CAAC,GAAG,CAAC,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GACnD,iBAAiB,CAAC,GAAG,CAAC,GACtB,KAAK,CACR,CAAC;AAqBF,OAAO,EAAE,QAAQ,EAAE,CAAC"}
+{"version":3,"file":"fn.d.ts","sourceRoot":"","sources":["../../src/fn/fn.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAE1D,OAAO,EAA6B,KAAK,MAAM,EAAE,MAAM,cAAc,CAAC;AAGtE,OAAO,KAAK,EAEX,UAAU,EAEV,sBAAsB,EACtB,mBAAmB,EACnB,EAAE,EAEF,iBAAiB,EACjB,WAAW,EACX,gBAAgB,EAEhB,YAAY,EACZ,MAAM,YAAY,CAAC;AA+LpB,mEAAmE;AACnE,iBAAS,QAAQ,CAChB,IAAI,SAAS,GAAG,EAAE,EAClB,MAAM,EACN,MAAM,SAAS,MAAM,EACrB,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,EAEpC,SAAS,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,EAC/D,YAAY,GAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAM,GACpC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CA+ChC;AAyCD,wBAAgB,EAAE,CACjB,IAAI,SAAS,GAAG,EAAE,EAClB,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAE1B,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,CAAC,GACxB,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;AAG1E,wBAAgB,EAAE,CACjB,IAAI,SAAS,GAAG,EAAE,EAClB,GAAG,SAAS,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAEpC,SAAS,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,GAAG,GAC/B,EAAE,CACJ,IAAI,EACJ,gBAAgB,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,EAC7C,WAAW,CAAC,GAAG,CAAC,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,EACnE,iBAAiB,CAAC,GAAG,CAAC,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GACnD,iBAAiB,CAAC,GAAG,CAAC,GACtB,KAAK,CACR,CAAC;AAqBF,OAAO,EAAE,QAAQ,EAAE,CAAC"}

package/esm/fn/fn.js

@@ -2,6 +2,7 @@
 import { isErr, isOk, isResult, ok } from "../result.js";
 import { asyncResult } from "../async_result.js";
 import { unknownErr } from "../_internal/errors.js";
+import { injectDeps } from "../_internal/handlers.js";
 // ============================================================================
 // Type Guards
 // ============================================================================
@@ -22,9 +23,9 @@ function resolveDependency(request, deps, gen) {
     return gen.next(deps[request.key]);
 }
 // ============================================================================
-// Generator Execution — Shared Helpers
+// Generator Execution - Shared Helpers
 // ============================================================================
-/** Handle a UseRequest — resolves dependencies or creates contextualized callables. */
+/** Handle a UseRequest. Resolves dependencies or creates contextualized callables. */
 function handleUseRequest(request, gen, deps) {
     if (request.type === "dependency") {
         const depRequest = {
@@ -34,7 +35,7 @@ function handleUseRequest(request, gen, deps) {
         };
         return resolveDependency(depRequest, deps, gen);
     }
-    // type === "fn" — create contextualized callable
+    // type === "fn", create contextualized callable
     const target = request.target;
     const contextualizedCallable = (...callArgs) => {
         const mergedDeps = { ...deps, ...target._fn._injectedDeps };
@@ -79,14 +80,14 @@ function runGenerator(generator, args, deps) {
         if (isResult(yielded)) {
             if (isErr(yielded))
                 return yielded;
-            // Ok with Promise value — transition to async
+            // Ok with Promise value, transition to async
             if (isOk(yielded) && yielded.value instanceof Promise) {
                 return asyncResult(runGeneratorAsync(gen, yielded.value, deps));
             }
             result = gen.next(isOk(yielded) ? yielded.value : yielded);
             continue;
         }
-        // Bare Promise — transition to async
+        // Bare Promise, transition to async
         if (yielded instanceof Promise) {
             return asyncResult(runGeneratorAsync(gen, yielded, deps));
         }
@@ -145,7 +146,7 @@ function createFn(generator, injectedDeps = {}) {
     // The callable and metadata use `any` extensively because TypeScript can't
     // express the relationship between generator yield types, dependency resolution,
     // and the final callable signature. The public type safety comes from the Fn<>
-    // type wrapper and the fn() overload signatures — this internal plumbing is
+    // type wrapper and the fn() overload signatures. This internal plumbing is
     // invisible to consumers.
     const callable = (...args) => {
         const output = runGenerator(generator, args, injectedDeps);
@@ -156,8 +157,10 @@ function createFn(generator, injectedDeps = {}) {
     };
     // Attach metadata
     callable._fn = metadata;
+    // Builder method: .inject()
+    callable.inject = (...impls) => injectDeps(callable, impls);
     // Make Fn iterable so `yield* use(SomeFn)` works in parent generators.
-    // This generator yields nothing and immediately returns the callable —
+    // This generator yields nothing and immediately returns the callable.
     // `yield*` on a generator that only returns (no yields) evaluates to the
     // return value, so `const f = yield* use(Fn)` gives back the callable.
     // deno-lint-ignore require-yield
@@ -172,7 +175,7 @@ function createFn(generator, injectedDeps = {}) {
 /**
  * Creates a function with optional dependency injection and Result unwrapping.
  *
- * **Regular function** — collapses Result return type branches into a single
+ * **Regular function** collapses Result return type branches into a single
  * `Result<T, E>` (no annotation needed):
  * ```ts
  * const divide = R.fn((a: number, b: number) =>
@@ -181,7 +184,7 @@ function createFn(generator, injectedDeps = {}) {
  * // (a: number, b: number) => Result<number, "DIV_ZERO">
  * ```
  *
- * **Generator function** — enables `yield*` for Result unwrapping (short-circuits
+ * **Generator function** enables `yield*` for Result unwrapping (short-circuits
  * on error) and `yield* R.use(Dep)` for dependency injection:
  * ```ts
  * const GetUser = R.fn(function* (email: string) {
@@ -198,7 +201,7 @@ function createFn(generator, injectedDeps = {}) {
  */
 // Detect generator functions via their constructor (immune to minification).
 // This uses `instanceof`, which assumes the generator is from the same realm
-// (same global context) as this module. Safe in practice — users always write
+// (same global context) as this module. Safe in practice; users always write
 // `fn(function* () { ... })` inline, never across iframes or VM contexts.
 const GeneratorFunction = (function* () { }).constructor;
 // Implementation
@@ -209,8 +212,8 @@ export function fn(funcOrGenerator) {
     }
     // Regular function: return as-is. The type overload handles
     // collapsing Result<T, never> | Result<never, E> into Result<T, E>.
-    // No Fn wrapper needed — no generators, no DI, no runtime overhead.
+    // No Fn wrapper needed. No generators, no DI, no runtime overhead.
     return funcOrGenerator;
 }
-// Used by inject.ts — not re-exported from mod.ts
+// Used by inject.ts, not re-exported from mod.ts
 export { createFn };

package/esm/fn/inject.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"inject.d.ts","sourceRoot":"","sources":["../../src/fn/inject.ts"],"names":[],"mappings":"AAAA,2DAA2D;AAG3D,OAAO,KAAK,EACX,UAAU,EACV,cAAc,EACd,EAAE,EACF,QAAQ,EACR,gBAAgB,EAChB,MAAM,YAAY,CAAC;AAEpB;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,MAAM,GACjB,KAAK,CAAC,KAAK,SAAS,SAAS,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAC1D,GAAG,OAAO,KAAK,MAGf,IAAI,SAAS,GAAG,EAAE,EAClB,MAAM,EACN,MAAM,SAAS,MAAM,EACrB,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,EAEpC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,KAChC,EAAE,CACJ,IAAI,EACJ,MAAM,EACN,MAAM,EACN,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAevC,CAAC"}
+{"version":3,"file":"inject.d.ts","sourceRoot":"","sources":["../../src/fn/inject.ts"],"names":[],"mappings":"AAAA,2DAA2D;AAE3D,OAAO,KAAK,EACX,UAAU,EACV,cAAc,EACd,EAAE,EACF,QAAQ,EACR,gBAAgB,EAChB,MAAM,YAAY,CAAC;AAGpB;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,MAAM,GACjB,KAAK,CAAC,KAAK,SAAS,SAAS,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAC1D,GAAG,OAAO,KAAK,MAGf,IAAI,SAAS,GAAG,EAAE,EAClB,MAAM,EACN,MAAM,SAAS,MAAM,EACrB,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,EAEpC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,KAChC,EAAE,CACJ,IAAI,EACJ,MAAM,EACN,MAAM,EACN,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAGvC,CAAC"}

package/esm/fn/inject.js

@@ -1,5 +1,5 @@
 /** Dependency injection operator for use with `pipe()`. */
-import { createFn } from "./fn.js";
+import { injectDeps } from "../_internal/handlers.js";
 /**
  * Provides dependency implementations to an `Fn`. Use inside `pipe()`.
  *
@@ -21,11 +21,5 @@ import { createFn } from "./fn.js";
  * ```
  */
 export const inject = (...impls) => (fn) => {
-    // Merge new implementations with existing ones
-    const newInjectedDeps = { ...fn._fn._injectedDeps };
-    for (const impl of impls) {
-        newInjectedDeps[impl.key] = impl.value;
-    }
-    // Create new Fn with merged dependencies
-    return createFn(fn._fn._generator, newInjectedDeps);
+    return injectDeps(fn, impls);
 };

package/esm/fn/types.d.ts

@@ -61,6 +61,8 @@ export type Fn<Args extends any[], Return, Errors extends string, Deps extends D
         _: `ERROR - Missing dependencies: ${DepKeys<Deps>}. Use inject() first.`
     ]): [Deps] extends [never] ? Result<Return, Errors> | Promise<Result<Return, Errors>> : never;
     readonly _fn: FnMetadata<Args, Return, Errors, Deps>;
+    /** Provides dependency implementations, returning a new Fn with those dependencies satisfied. */
+    inject<const Impls extends readonly DependencyImpl<any, string>[]>(...impls: Impls): Fn<Args, Return, Errors, RemoveDepsByKeys<Deps, ImplKeys<Impls>>>;
     [Symbol.iterator](): Generator<Fn<Args, Return, Errors, Deps>, ContextualizedCallable<Args, Return, Errors>, any>;
 };
 /** Extracts dependency key strings from a Dependency union (for error messages). */

package/esm/fn/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/fn/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAMvD,kEAAkE;AAClE,MAAM,WAAW,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IACvD,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAChB,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAC9D;AAED,+FAA+F;AAC/F,MAAM,WAAW,cAAc,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IAC3D,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAChB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;CAClB;AAED,gFAAgF;AAChF,MAAM,WAAW,iBAAiB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IAC9D,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAChB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAChC;AAED,2EAA2E;AAC3E,MAAM,WAAW,oBAAoB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM;IACxD,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,YAAY,CAC5B,IAAI,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,EAC1B,MAAM,GAAG,GAAG,EACZ,MAAM,SAAS,MAAM,GAAG,MAAM,EAC9B,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC;IAE9D,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;CAChD;AAED,MAAM,MAAM,UAAU,CAAC,CAAC,GAAG,GAAG,IAC3B,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,GAC5B,YAAY,CAAC;AAMhB,0EAA0E;AAC1E,MAAM,MAAM,YAAY,GACrB,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GACnB,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAC5B,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,GAC9B,UAAU,CAAC,GAAG,CAAC,GACf,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE1B,wFAAwF;AACxF,MAAM,MAAM,uBAAuB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI;IAC1D,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;CAC7E,CAAC;AAEF,6FAA6F;AAC7F,MAAM,MAAM,sBAAsB,CACjC,IAAI,SAAS,GAAG,EAAE,EAClB,MAAM,EACN,MAAM,SAAS,MAAM,IAClB,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE/D,8EAA8E;AAC9E,MAAM,WAAW,UAAU,CAC1B,IAAI,SAAS,GAAG,EAAE,EAClB,MAAM,EACN,MAAM,SAAS,MAAM,EACrB,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC;IAEpC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1E,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC5C;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,EAAE,CACb,IAAI,SAAS,GAAG,EAAE,EAClB,MAAM,EACN,MAAM,SAAS,MAAM,EACrB,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IACzC;IACH,CACC,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GACnC;QACD,CAAC,EAAE,iCAAiC,OAAO,CAC1C,IAAI,CACJ,uBAAuB;KACxB,GACA,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACtB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACxD,KAAK,CAAC;IAET,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAErD,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,SAAS,CAC7B,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAC9B,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAC5C,GAAG,CACH,CAAC;CACF,CAAC;AAMF,oFAAoF;AACpF,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAExE,gGAAgG;AAChG,MAAM,MAAM,WAAW,CAAC,CAAC,IAExB,CAAC,SAAS;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAEtE,CAAC,SACF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,GAAG,CAAC,GAEzE,CAAC,SAAS;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAE1D,CAAC,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GACxC,KAAK,CAAC;AAEV,yFAAyF;AACzF,MAAM,MAAM,aAAa,CAAC,CAAC,IAE1B,CAAC,SACA;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAA;CAAE,GAAG,CAAC,GAExE,CAAC,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GACxC,SAAS,CAAC,CAAC,CAAC,CAAC;AAEjB,iDAAiD;AACjD,MAAM,MAAM,sBAAsB,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAC3E,CAAC,GACD,KAAK,CAAC;AAET,qFAAqF;AACrF,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE7E,uFAAuF;AACvF,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GACxE,KAAK,CAAC;AAET,gDAAgD;AAChD,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAC1E,CAAC,GACD,KAAK,CAAC;AAET,sEAAsE;AACtE,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,WAAW,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAEzE,4DAA4D;AAC5D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAMrE,MAAM,MAAM,gBAAgB,CAC3B,IAAI,EACJ,IAAI,SAAS,MAAM,IAChB,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC,GACxE,KAAK,CAAC;AAET,MAAM,MAAM,QAAQ,CACnB,KAAK,SAAS,SAAS,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IACjD,KAAK,CAAC,MAAM,CAAC,SAAS,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/fn/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAMvD,kEAAkE;AAClE,MAAM,WAAW,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IACvD,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAChB,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAC9D;AAED,+FAA+F;AAC/F,MAAM,WAAW,cAAc,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IAC3D,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAChB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;CAClB;AAED,gFAAgF;AAChF,MAAM,WAAW,iBAAiB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IAC9D,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAChB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAChC;AAED,2EAA2E;AAC3E,MAAM,WAAW,oBAAoB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM;IACxD,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,YAAY,CAC5B,IAAI,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,EAC1B,MAAM,GAAG,GAAG,EACZ,MAAM,SAAS,MAAM,GAAG,MAAM,EAC9B,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC;IAE9D,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;CAChD;AAED,MAAM,MAAM,UAAU,CAAC,CAAC,GAAG,GAAG,IAC3B,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,GAC5B,YAAY,CAAC;AAMhB,0EAA0E;AAC1E,MAAM,MAAM,YAAY,GACrB,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GACnB,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAC5B,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,GAC9B,UAAU,CAAC,GAAG,CAAC,GACf,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE1B,wFAAwF;AACxF,MAAM,MAAM,uBAAuB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI;IAC1D,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;CAC7E,CAAC;AAEF,6FAA6F;AAC7F,MAAM,MAAM,sBAAsB,CACjC,IAAI,SAAS,GAAG,EAAE,EAClB,MAAM,EACN,MAAM,SAAS,MAAM,IAClB,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE/D,8EAA8E;AAC9E,MAAM,WAAW,UAAU,CAC1B,IAAI,SAAS,GAAG,EAAE,EAClB,MAAM,EACN,MAAM,SAAS,MAAM,EACrB,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC;IAEpC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1E,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC5C;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,EAAE,CACb,IAAI,SAAS,GAAG,EAAE,EAClB,MAAM,EACN,MAAM,SAAS,MAAM,EACrB,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,KAAK,IACzC;IACH,CACC,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GACnC;QACD,CAAC,EAAE,iCAAiC,OAAO,CAC1C,IAAI,CACJ,uBAAuB;KACxB,GACA,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACtB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACxD,KAAK,CAAC;IAET,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAErD,iGAAiG;IACjG,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAChE,GAAG,KAAK,EAAE,KAAK,GACb,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAErE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,SAAS,CAC7B,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAC9B,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAC5C,GAAG,CACH,CAAC;CACF,CAAC;AAMF,oFAAoF;AACpF,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAExE,gGAAgG;AAChG,MAAM,MAAM,WAAW,CAAC,CAAC,IAExB,CAAC,SAAS;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAEtE,CAAC,SACF;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,GAAG,CAAC,GAEzE,CAAC,SAAS;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAE1D,CAAC,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GACxC,KAAK,CAAC;AAEV,yFAAyF;AACzF,MAAM,MAAM,aAAa,CAAC,CAAC,IAE1B,CAAC,SACA;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAA;CAAE,GAAG,CAAC,GAExE,CAAC,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GACxC,SAAS,CAAC,CAAC,CAAC,CAAC;AAEjB,iDAAiD;AACjD,MAAM,MAAM,sBAAsB,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAC3E,CAAC,GACD,KAAK,CAAC;AAET,qFAAqF;AACrF,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE7E,uFAAuF;AACvF,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GACxE,KAAK,CAAC;AAET,gDAAgD;AAChD,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAC1E,CAAC,GACD,KAAK,CAAC;AAET,sEAAsE;AACtE,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,WAAW,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAEzE,4DAA4D;AAC5D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;AAMrE,MAAM,MAAM,gBAAgB,CAC3B,IAAI,EACJ,IAAI,SAAS,MAAM,IAChB,IAAI,SAAS,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC,GACxE,KAAK,CAAC;AAET,MAAM,MAAM,QAAQ,CACnB,KAAK,SAAS,SAAS,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IACjD,KAAK,CAAC,MAAM,CAAC,SAAS,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC"}

package/esm/fn/use.d.ts

@@ -3,8 +3,8 @@ import type { ContextualizedCallable, Dependency, Fn, UseDependencyRequest, UseF
 /**
  * Acquires a dependency or nested Fn inside a generator function.
  *
- * - `yield* R.use(Database)` — returns the dependency value
- * - `yield* R.use(ChildFn)` — returns a contextualized callable that inherits
+ * - `yield* R.use(Database)` returns the dependency value
+ * - `yield* R.use(ChildFn)` returns a contextualized callable that inherits
  *   the parent's dependency context
  *
  * For unwrapping Results, use plain `yield*` instead (no `use()` needed).

package/esm/operators/inspect.d.ts

@@ -22,7 +22,7 @@ type InspectOperator = <R extends AnyResult, U>(fn: (value: InferOk<R>) => U) =>
  * Runs a side effect on the ok value without changing the Result.
  *
  * The callback's return value is ignored. If the callback throws or
- * returns a rejected Promise, the error is silently swallowed — side
+ * returns a rejected Promise, the error is silently swallowed. Side
  * effects never break the pipeline.
  *
  * @example

package/esm/operators/inspect.js

@@ -5,7 +5,7 @@ import { asyncResult } from "../async_result.js";
  * Runs a side effect on the ok value without changing the Result.
  *
  * The callback's return value is ignored. If the callback throws or
- * returns a rejected Promise, the error is silently swallowed — side
+ * returns a rejected Promise, the error is silently swallowed. Side
  * effects never break the pipeline.
  *
  * @example

package/esm/operators/inspect_err.d.ts

@@ -24,7 +24,7 @@ type InspectErrOperator = <R extends AnyResult, U>(fn: (err: Extract<Awaited<R>,
  * Runs a side effect on the error without changing the Result.
  *
  * The callback's return value is ignored. If the callback throws or
- * returns a rejected Promise, the error is silently swallowed — side
+ * returns a rejected Promise, the error is silently swallowed. Side
  * effects never break the pipeline.
  *
  * @example

package/esm/operators/inspect_err.js

@@ -5,7 +5,7 @@ import { asyncResult } from "../async_result.js";
  * Runs a side effect on the error without changing the Result.
  *
  * The callback's return value is ignored. If the callback throws or
- * returns a rejected Promise, the error is silently swallowed — side
+ * returns a rejected Promise, the error is silently swallowed. Side
  * effects never break the pipeline.
  *
  * @example

package/esm/operators/map.d.ts

@@ -30,7 +30,7 @@ type MapOperator = <R extends AnyResult, U>(fn: (value: InferOk<R>) => U) => (re
  * Transforms the ok value. Skips if the result is an error.
  *
  * If `fn` returns a Result, it's automatically flattened (no nesting).
- * If `fn` returns a Promise, the pipeline becomes async — resolved values
+ * If `fn` returns a Promise, the pipeline becomes async. Resolved values
  * become ok, rejections become `UNKNOWN_ERR`.
  *
  * Throws {@link Panic} if `fn` throws synchronously.