@nlozgachev/pipekit 0.4.1 → 0.4.2

package/README.md

@@ -4,6 +4,8 @@
 
 A TypeScript toolkit for writing code that means exactly what it says.
 
+> **Note:** pipekit is pre-1.0. The API may change between minor versions until the 1.0 release.
+
 ```sh
 # npm / pnpm / yarn / bun
 npm add @nlozgachev/pipekit
@@ -36,6 +38,10 @@ No FP jargon required. You won't find `Monad`, `Functor`, or `Applicative` in th
 - **`These<E, A>`** — an inclusive OR: holds an error, a value, or both at once.
 - **`RemoteData<E, A>`** — the four states of a data fetch: `NotAsked`, `Loading`, `Failure`,
   `Success`.
+- **`Lens<S, A>`** — focus on a required field in a nested structure. Read, set, and modify
+  immutably.
+- **`Optional<S, A>`** — like `Lens`, but the target may be absent (nullable fields, array indices).
+- **`Reader<R, A>`** — a computation that depends on an environment `R`, resolved later.
 - **`Arr`** — array utilities that return `Option` instead of `undefined`.
 - **`Rec`** — record/object utilities.
 

package/esm/src/Core/Optional.js

@@ -26,9 +26,7 @@ export var Optional;
      */
     Optional.prop = () => (key) => Optional.make((s) => {
         const val = s[key];
-        return val != null
-            ? Option.some(val)
-            : Option.none();
+        return val != null ? Option.some(val) : Option.none();
     }, (a) => (s) => ({ ...s, [key]: a }));
     /**
      * Creates an Optional that focuses on an element at a given index in an array.
@@ -154,9 +152,7 @@ export var Optional;
      */
     Optional.andThenLens = (inner) => (outer) => Optional.make((s) => {
         const mid = outer.get(s);
-        return mid.kind === "None"
-            ? Option.none()
-            : Option.some(inner.get(mid.value));
+        return mid.kind === "None" ? Option.none() : Option.some(inner.get(mid.value));
     }, (b) => (s) => {
         const mid = outer.get(s);
         return mid.kind === "None" ? s : outer.set(inner.set(b)(mid.value))(s);

package/esm/src/Core/Reader.js

@@ -0,0 +1,134 @@
+export var Reader;
+(function (Reader) {
+    /**
+     * Lifts a pure value into a Reader. The environment is ignored.
+     *
+     * @example
+     * ```ts
+     * const always42: Reader<Config, number> = Reader.resolve(42);
+     * always42(anyConfig); // 42
+     * ```
+     */
+    Reader.resolve = (value) => (_env) => value;
+    /**
+     * Returns the full environment as the result.
+     * The fundamental way to access the environment in a pipeline.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   Reader.ask<Config>(),
+     *   Reader.map(config => config.baseUrl)
+     * )(appConfig); // "https://api.example.com"
+     * ```
+     */
+    Reader.ask = () => (env) => env;
+    /**
+     * Projects a value from the environment using a selector function.
+     * Equivalent to `pipe(Reader.ask(), Reader.map(f))` but more direct.
+     *
+     * @example
+     * ```ts
+     * const getBaseUrl: Reader<Config, string> = Reader.asks(c => c.baseUrl);
+     * getBaseUrl(appConfig); // "https://api.example.com"
+     * ```
+     */
+    Reader.asks = (f) => (env) => f(env);
+    /**
+     * Transforms the value produced by a Reader.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   Reader.asks((c: Config) => c.baseUrl),
+     *   Reader.map(url => url.toUpperCase())
+     * )(appConfig); // "HTTPS://API.EXAMPLE.COM"
+     * ```
+     */
+    Reader.map = (f) => (data) => (env) => f(data(env));
+    /**
+     * Sequences two Readers. Both see the same environment.
+     * The output of the first is passed to `f`, which returns the next Reader.
+     *
+     * @example
+     * ```ts
+     * const buildUrl = (path: string): Reader<Config, string> =>
+     *   Reader.asks(c => `${c.baseUrl}${path}`);
+     *
+     * const addAuth = (url: string): Reader<Config, string> =>
+     *   Reader.asks(c => `${url}?key=${c.apiKey}`);
+     *
+     * pipe(
+     *   buildUrl("/items"),
+     *   Reader.chain(addAuth)
+     * )(appConfig); // "https://api.example.com/items?key=secret"
+     * ```
+     */
+    Reader.chain = (f) => (data) => (env) => f(data(env))(env);
+    /**
+     * Applies a function wrapped in a Reader to a value wrapped in a Reader.
+     * Both Readers see the same environment.
+     *
+     * @example
+     * ```ts
+     * const add = (a: number) => (b: number) => a + b;
+     * pipe(
+     *   Reader.resolve<Config, typeof add>(add),
+     *   Reader.ap(Reader.asks(c => c.timeout)),
+     *   Reader.ap(Reader.resolve(5))
+     * )(appConfig);
+     * ```
+     */
+    Reader.ap = (arg) => (data) => (env) => data(env)(arg(env));
+    /**
+     * Executes a side effect on the produced value without changing the Reader.
+     * Useful for logging or debugging inside a pipeline.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   buildUrl("/users"),
+     *   Reader.tap(url => console.log("Requesting:", url)),
+     *   Reader.chain(addAuth)
+     * )(appConfig);
+     * ```
+     */
+    Reader.tap = (f) => (data) => (env) => {
+        const a = data(env);
+        f(a);
+        return a;
+    };
+    /**
+     * Adapts a Reader to work with a different (typically wider) environment
+     * by transforming the environment before passing it to the Reader.
+     * This lets you compose Readers that expect different environments.
+     *
+     * @example
+     * ```ts
+     * type AppEnv = { db: DbPool; config: Config; logger: Logger };
+     *
+     * // buildUrl only needs Config
+     * const buildUrl: Reader<Config, string> = Reader.asks(c => c.baseUrl);
+     *
+     * // Zoom in from AppEnv to Config
+     * const buildUrlFromApp: Reader<AppEnv, string> =
+     *   pipe(buildUrl, Reader.local((env: AppEnv) => env.config));
+     *
+     * buildUrlFromApp(appEnv); // works with the full AppEnv
+     * ```
+     */
+    Reader.local = (f) => (data) => (env) => data(f(env));
+    /**
+     * Runs a Reader by supplying the environment. Use this at the edge of your
+     * program where the environment is available.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   buildEndpoint("/users"),
+     *   Reader.run(appConfig)
+     * ); // "https://api.example.com/users?key=secret"
+     * ```
+     */
+    Reader.run = (env) => (data) => data(env);
+})(Reader || (Reader = {}));

package/esm/src/Core/index.js

@@ -1,6 +1,7 @@
 export * from "./Arr.js";
 export * from "./Lens.js";
 export * from "./Option.js";
+export * from "./Reader.js";
 export * from "./Optional.js";
 export * from "./Rec.js";
 export * from "./RemoteData.js";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nlozgachev/pipekit",
-  "version": "0.4.1",
+  "version": "0.4.2",
   "description": "Simple functional programming toolkit for TypeScript",
   "keywords": [
     "functional",

package/script/src/Core/Optional.js

@@ -29,9 +29,7 @@ var Optional;
      */
     Optional.prop = () => (key) => Optional.make((s) => {
         const val = s[key];
-        return val != null
-            ? Option_js_1.Option.some(val)
-            : Option_js_1.Option.none();
+        return val != null ? Option_js_1.Option.some(val) : Option_js_1.Option.none();
     }, (a) => (s) => ({ ...s, [key]: a }));
     /**
      * Creates an Optional that focuses on an element at a given index in an array.
@@ -157,9 +155,7 @@ var Optional;
      */
     Optional.andThenLens = (inner) => (outer) => Optional.make((s) => {
         const mid = outer.get(s);
-        return mid.kind === "None"
-            ? Option_js_1.Option.none()
-            : Option_js_1.Option.some(inner.get(mid.value));
+        return mid.kind === "None" ? Option_js_1.Option.none() : Option_js_1.Option.some(inner.get(mid.value));
     }, (b) => (s) => {
         const mid = outer.get(s);
         return mid.kind === "None" ? s : outer.set(inner.set(b)(mid.value))(s);

package/script/src/Core/Reader.js

@@ -0,0 +1,137 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Reader = void 0;
+var Reader;
+(function (Reader) {
+    /**
+     * Lifts a pure value into a Reader. The environment is ignored.
+     *
+     * @example
+     * ```ts
+     * const always42: Reader<Config, number> = Reader.resolve(42);
+     * always42(anyConfig); // 42
+     * ```
+     */
+    Reader.resolve = (value) => (_env) => value;
+    /**
+     * Returns the full environment as the result.
+     * The fundamental way to access the environment in a pipeline.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   Reader.ask<Config>(),
+     *   Reader.map(config => config.baseUrl)
+     * )(appConfig); // "https://api.example.com"
+     * ```
+     */
+    Reader.ask = () => (env) => env;
+    /**
+     * Projects a value from the environment using a selector function.
+     * Equivalent to `pipe(Reader.ask(), Reader.map(f))` but more direct.
+     *
+     * @example
+     * ```ts
+     * const getBaseUrl: Reader<Config, string> = Reader.asks(c => c.baseUrl);
+     * getBaseUrl(appConfig); // "https://api.example.com"
+     * ```
+     */
+    Reader.asks = (f) => (env) => f(env);
+    /**
+     * Transforms the value produced by a Reader.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   Reader.asks((c: Config) => c.baseUrl),
+     *   Reader.map(url => url.toUpperCase())
+     * )(appConfig); // "HTTPS://API.EXAMPLE.COM"
+     * ```
+     */
+    Reader.map = (f) => (data) => (env) => f(data(env));
+    /**
+     * Sequences two Readers. Both see the same environment.
+     * The output of the first is passed to `f`, which returns the next Reader.
+     *
+     * @example
+     * ```ts
+     * const buildUrl = (path: string): Reader<Config, string> =>
+     *   Reader.asks(c => `${c.baseUrl}${path}`);
+     *
+     * const addAuth = (url: string): Reader<Config, string> =>
+     *   Reader.asks(c => `${url}?key=${c.apiKey}`);
+     *
+     * pipe(
+     *   buildUrl("/items"),
+     *   Reader.chain(addAuth)
+     * )(appConfig); // "https://api.example.com/items?key=secret"
+     * ```
+     */
+    Reader.chain = (f) => (data) => (env) => f(data(env))(env);
+    /**
+     * Applies a function wrapped in a Reader to a value wrapped in a Reader.
+     * Both Readers see the same environment.
+     *
+     * @example
+     * ```ts
+     * const add = (a: number) => (b: number) => a + b;
+     * pipe(
+     *   Reader.resolve<Config, typeof add>(add),
+     *   Reader.ap(Reader.asks(c => c.timeout)),
+     *   Reader.ap(Reader.resolve(5))
+     * )(appConfig);
+     * ```
+     */
+    Reader.ap = (arg) => (data) => (env) => data(env)(arg(env));
+    /**
+     * Executes a side effect on the produced value without changing the Reader.
+     * Useful for logging or debugging inside a pipeline.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   buildUrl("/users"),
+     *   Reader.tap(url => console.log("Requesting:", url)),
+     *   Reader.chain(addAuth)
+     * )(appConfig);
+     * ```
+     */
+    Reader.tap = (f) => (data) => (env) => {
+        const a = data(env);
+        f(a);
+        return a;
+    };
+    /**
+     * Adapts a Reader to work with a different (typically wider) environment
+     * by transforming the environment before passing it to the Reader.
+     * This lets you compose Readers that expect different environments.
+     *
+     * @example
+     * ```ts
+     * type AppEnv = { db: DbPool; config: Config; logger: Logger };
+     *
+     * // buildUrl only needs Config
+     * const buildUrl: Reader<Config, string> = Reader.asks(c => c.baseUrl);
+     *
+     * // Zoom in from AppEnv to Config
+     * const buildUrlFromApp: Reader<AppEnv, string> =
+     *   pipe(buildUrl, Reader.local((env: AppEnv) => env.config));
+     *
+     * buildUrlFromApp(appEnv); // works with the full AppEnv
+     * ```
+     */
+    Reader.local = (f) => (data) => (env) => data(f(env));
+    /**
+     * Runs a Reader by supplying the environment. Use this at the edge of your
+     * program where the environment is available.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   buildEndpoint("/users"),
+     *   Reader.run(appConfig)
+     * ); // "https://api.example.com/users?key=secret"
+     * ```
+     */
+    Reader.run = (env) => (data) => data(env);
+})(Reader || (exports.Reader = Reader = {}));

package/script/src/Core/index.js

@@ -17,6 +17,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 __exportStar(require("./Arr.js"), exports);
 __exportStar(require("./Lens.js"), exports);
 __exportStar(require("./Option.js"), exports);
+__exportStar(require("./Reader.js"), exports);
 __exportStar(require("./Optional.js"), exports);
 __exportStar(require("./Rec.js"), exports);
 __exportStar(require("./RemoteData.js"), exports);

package/types/src/Core/Lens.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Lens.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Lens.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI;IACvB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;CACrC,CAAC;AAEF,yBAAiB,IAAI,CAAC;IACpB;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EACvB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAChB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACzB,IAAI,CAAC,CAAC,EAAE,CAAC,CAAmB,CAAC;IAEhC;;;;;;;;OAQG;IACI,MAAM,IAAI,GAAI,CAAC,QACrB,CAAC,SAAS,MAAM,CAAC,EAAE,KAAK,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAItC,CAAC;IAEJ;;;;;;;OAOG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,KAAG,CAAgB,CAAC;IAExE;;;;;;;OAOG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,KAAG,CAAmB,CAAC;IAErF;;;;;;;OAOG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAG,CACjD,CAAC;IAE9B;;;;;;;;;;;OAWG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAI3D,CAAC;IAEN;;;;;;;;;;;OAWG;IACI,MAAM,eAAe,GACzB,CAAC,EAAE,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAGpE,CAAC;IAEL;;;;;;;;;;;;OAYG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAG/D,CAAC;CACJ"}
+{"version":3,"file":"Lens.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Lens.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI;IACvB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;CACrC,CAAC;AAEF,yBAAiB,IAAI,CAAC;IACpB;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EACvB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAChB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACzB,IAAI,CAAC,CAAC,EAAE,CAAC,CAAmB,CAAC;IAEhC;;;;;;;;OAQG;IACI,MAAM,IAAI,GAAI,CAAC,QAAQ,CAAC,SAAS,MAAM,CAAC,EAAE,KAAK,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAInE,CAAC;IAEJ;;;;;;;OAOG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,KAAG,CAAgB,CAAC;IAExE;;;;;;;OAOG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,KAAG,CAAmB,CAAC;IAErF;;;;;;;OAOG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAG,CACjD,CAAC;IAE9B;;;;;;;;;;;OAWG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAIlF,CAAC;IAEJ;;;;;;;;;;;OAWG;IACI,MAAM,eAAe,GACzB,CAAC,EAAE,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAGpE,CAAC;IAEL;;;;;;;;;;;;OAYG;IACI,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAG/D,CAAC;CACJ"}

package/types/src/Core/Optional.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Optional.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,0EAA0E;AAC1E,KAAK,YAAY,CAAC,CAAC,IAAI;KACpB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CACrD,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI;IAC3B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;CACrC,CAAC;AAEF,yBAAiB,QAAQ,CAAC;IACxB;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EACvB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EACxB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACzB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAmB,CAAC;IAEpC;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GAAI,CAAC,QACrB,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAS/D,CAAC;IAEJ;;;;;;;;;;;OAWG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,GAAG,MAAM,KAAG,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CASjD,CAAC;IAEJ;;;;;;;OAOG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,KAAG,MAAM,CAAC,CAAC,CAAe,CAAC;IAElF;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,KAAG,CAAkB,CAAC;IAEvF;;;;;;;;OAQG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAG,CAGhF,CAAC;IAEF;;;;;;;OAOG;IACI,MAAM,SAAS,GACnB,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,cAAc,CAAC,MAAM,GAAG,CAAC,KAAG,CAG3D,CAAC;IAEJ;;;;;;;;OAQG;IACI,MAAM,IAAI,GACd,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAG,CAGnF,CAAC;IAEJ;;;;;;;;;;OAUG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO;QAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAAE,MAC7E,GAAG,CAAC,KAAG,CAGP,CAAC;IAEJ;;;;;;;;;;;OAWG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAUvE,CAAC;IAEN;;;;;;;;;;;OAWG;IACI,MAAM,WAAW,GACrB,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAYnE,CAAC;CACP"}
+{"version":3,"file":"Optional.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,0EAA0E;AAC1E,KAAK,YAAY,CAAC,CAAC,IAAI;KACpB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CACrD,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI;IAC3B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;CACrC,CAAC;AAEF,yBAAiB,QAAQ,CAAC;IACxB;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EACvB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EACxB,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACzB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAmB,CAAC;IAEpC;;;;;;;;;;OAUG;IACI,MAAM,IAAI,GACd,CAAC,QAAQ,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAOxE,CAAC;IAEN;;;;;;;;;;;OAWG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,GAAG,MAAM,KAAG,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CASjD,CAAC;IAEJ;;;;;;;OAOG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,KAAG,MAAM,CAAC,CAAC,CAAe,CAAC;IAElF;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,KAAG,CAAkB,CAAC;IAEvF;;;;;;;;OAQG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAG,CAGhF,CAAC;IAEF;;;;;;;OAOG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,cAAc,CAAC,MAAM,GAAG,CAAC,KAAG,CAGpF,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,IAAI,GACd,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAG,CAGnF,CAAC;IAEJ;;;;;;;;;;OAUG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MACzB,CAAC,EAAE,OAAO;QAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;KAAE,MAE7C,GAAG,CAAC,KACH,CAGF,CAAC;IAEJ;;;;;;;;;;;OAWG;IACI,MAAM,OAAO,GACjB,CAAC,EAAE,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAUvE,CAAC;IAEN;;;;;;;;;;;OAWG;IACI,MAAM,WAAW,GACrB,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAUnE,CAAC;CACP"}

package/types/src/Core/Reader.d.ts

@@ -0,0 +1,156 @@
+/**
+ * A computation that reads from a shared environment `R` and produces a value `A`.
+ * Use Reader to thread a dependency (config, logger, DB pool) through a pipeline
+ * without passing it explicitly to every function.
+ *
+ * @example
+ * ```ts
+ * type Config = { baseUrl: string; apiKey: string };
+ *
+ * const buildUrl = (path: string): Reader<Config, string> =>
+ *   (config) => `${config.baseUrl}${path}`;
+ *
+ * const withAuth = (url: string): Reader<Config, string> =>
+ *   (config) => `${url}?key=${config.apiKey}`;
+ *
+ * const fetchEndpoint = (path: string): Reader<Config, string> =>
+ *   pipe(
+ *     buildUrl(path),
+ *     Reader.chain(withAuth)
+ *   );
+ *
+ * // Inject the config once at the edge
+ * fetchEndpoint("/users")(appConfig); // "https://api.example.com/users?key=secret"
+ * ```
+ */
+export type Reader<R, A> = (env: R) => A;
+export declare namespace Reader {
+    /**
+     * Lifts a pure value into a Reader. The environment is ignored.
+     *
+     * @example
+     * ```ts
+     * const always42: Reader<Config, number> = Reader.resolve(42);
+     * always42(anyConfig); // 42
+     * ```
+     */
+    const resolve: <R, A>(value: A) => Reader<R, A>;
+    /**
+     * Returns the full environment as the result.
+     * The fundamental way to access the environment in a pipeline.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   Reader.ask<Config>(),
+     *   Reader.map(config => config.baseUrl)
+     * )(appConfig); // "https://api.example.com"
+     * ```
+     */
+    const ask: <R>() => Reader<R, R>;
+    /**
+     * Projects a value from the environment using a selector function.
+     * Equivalent to `pipe(Reader.ask(), Reader.map(f))` but more direct.
+     *
+     * @example
+     * ```ts
+     * const getBaseUrl: Reader<Config, string> = Reader.asks(c => c.baseUrl);
+     * getBaseUrl(appConfig); // "https://api.example.com"
+     * ```
+     */
+    const asks: <R, A>(f: (env: R) => A) => Reader<R, A>;
+    /**
+     * Transforms the value produced by a Reader.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   Reader.asks((c: Config) => c.baseUrl),
+     *   Reader.map(url => url.toUpperCase())
+     * )(appConfig); // "HTTPS://API.EXAMPLE.COM"
+     * ```
+     */
+    const map: <R, A, B>(f: (a: A) => B) => (data: Reader<R, A>) => Reader<R, B>;
+    /**
+     * Sequences two Readers. Both see the same environment.
+     * The output of the first is passed to `f`, which returns the next Reader.
+     *
+     * @example
+     * ```ts
+     * const buildUrl = (path: string): Reader<Config, string> =>
+     *   Reader.asks(c => `${c.baseUrl}${path}`);
+     *
+     * const addAuth = (url: string): Reader<Config, string> =>
+     *   Reader.asks(c => `${url}?key=${c.apiKey}`);
+     *
+     * pipe(
+     *   buildUrl("/items"),
+     *   Reader.chain(addAuth)
+     * )(appConfig); // "https://api.example.com/items?key=secret"
+     * ```
+     */
+    const chain: <R, A, B>(f: (a: A) => Reader<R, B>) => (data: Reader<R, A>) => Reader<R, B>;
+    /**
+     * Applies a function wrapped in a Reader to a value wrapped in a Reader.
+     * Both Readers see the same environment.
+     *
+     * @example
+     * ```ts
+     * const add = (a: number) => (b: number) => a + b;
+     * pipe(
+     *   Reader.resolve<Config, typeof add>(add),
+     *   Reader.ap(Reader.asks(c => c.timeout)),
+     *   Reader.ap(Reader.resolve(5))
+     * )(appConfig);
+     * ```
+     */
+    const ap: <R, A>(arg: Reader<R, A>) => <B>(data: Reader<R, (a: A) => B>) => Reader<R, B>;
+    /**
+     * Executes a side effect on the produced value without changing the Reader.
+     * Useful for logging or debugging inside a pipeline.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   buildUrl("/users"),
+     *   Reader.tap(url => console.log("Requesting:", url)),
+     *   Reader.chain(addAuth)
+     * )(appConfig);
+     * ```
+     */
+    const tap: <R, A>(f: (a: A) => void) => (data: Reader<R, A>) => Reader<R, A>;
+    /**
+     * Adapts a Reader to work with a different (typically wider) environment
+     * by transforming the environment before passing it to the Reader.
+     * This lets you compose Readers that expect different environments.
+     *
+     * @example
+     * ```ts
+     * type AppEnv = { db: DbPool; config: Config; logger: Logger };
+     *
+     * // buildUrl only needs Config
+     * const buildUrl: Reader<Config, string> = Reader.asks(c => c.baseUrl);
+     *
+     * // Zoom in from AppEnv to Config
+     * const buildUrlFromApp: Reader<AppEnv, string> =
+     *   pipe(buildUrl, Reader.local((env: AppEnv) => env.config));
+     *
+     * buildUrlFromApp(appEnv); // works with the full AppEnv
+     * ```
+     */
+    const local: <R2, R>(f: (env: R2) => R) => <A>(data: Reader<R, A>) => Reader<R2, A>;
+    /**
+     * Runs a Reader by supplying the environment. Use this at the edge of your
+     * program where the environment is available.
+     *
+     * @example
+     * ```ts
+     * pipe(
+     *   buildEndpoint("/users"),
+     *   Reader.run(appConfig)
+     * ); // "https://api.example.com/users?key=secret"
+     * ```
+     */
+    const run: <R>(env: R) => <A>(data: Reader<R, A>) => A;
+}
+//# sourceMappingURL=Reader.d.ts.map

package/types/src/Core/Reader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Reader.d.ts","sourceRoot":"","sources":["../../../src/src/Core/Reader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AAEzC,yBAAiB,MAAM,CAAC;IACtB;;;;;;;;OAQG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAoB,CAAC;IAEzE;;;;;;;;;;;OAWG;IACI,MAAM,GAAG,GAAI,CAAC,OAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAiB,CAAC;IAEvD;;;;;;;;;OASG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAoB,CAAC;IAE9E;;;;;;;;;;OAUG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACnE,CAAC;IAEf;;;;;;;;;;;;;;;;;OAiBG;IACI,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACtD,CAAC;IAEtB;;;;;;;;;;;;;OAaG;IACI,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACtD,CAAC;IAExB;;;;;;;;;;;;OAYG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAIhF,CAAC;IAEF;;;;;;;;;;;;;;;;;;OAkBG;IACI,MAAM,KAAK,GACf,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,EAAE,EAAE,CAAC,CAA0B,CAAC;IAEhG;;;;;;;;;;;OAWG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAc,CAAC;CAC3E"}

package/types/src/Core/These.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"These.d.ts","sourceRoot":"","sources":["../../../src/src/Core/These.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE3E,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAC7D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AAChE,MAAM,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AAEhG,yBAAiB,KAAK,CAAC;IACrB;;;;;;;OAOG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,CAAsC,CAAC;IAEvF;;;;;;;OAOG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,WAAW,CAAC,CAAC,CAAwC,CAAC;IAE3F;;;;;;;OAOG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAI7D,CAAC;IAEH;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,UAAU,CAAC,CAAC,CAA0B,CAAC;IAEjG;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,WAAW,CAAC,CAAC,CAChD,CAAC;IAEzB;;OAEG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CAAyB,CAAC;IAEjG;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAkD,CAAC;IAE5F;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAC5B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAmD,CAAC;IAE9F;;;;;;;;;OASG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAInF,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIpF,CAAC;IAEF;;;;;;;;;;OAUG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAE7E,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,KAAK,CAAC,CAAC,EAAE,CAAC,CAIZ,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,UAAU,GACpB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MACjC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAG9B,CAAC;IAEJ;;;;;;;;;;;;OAYG;IACI,MAAM,WAAW,GACrB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MACjC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAG9B,CAAC;IAEJ;;;;;;;;;;;;;;OAcG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACpB,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACrB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,MAE1B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;;;;;;OAcG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACpB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;KACzB,MACA,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;OASG;IACI,MAAM,cAAc,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAClC,CAAC;IAE7C;;;;;;;;;OASG;IACI,MAAM,eAAe,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CACjC,CAAC;IAE/C;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAG9E,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIxD,CAAC;CACH"}
+{"version":3,"file":"These.d.ts","sourceRoot":"","sources":["../../../src/src/Core/These.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE3E,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAC7D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AAChE,MAAM,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;AAEhG,yBAAiB,KAAK,CAAC;IACrB;;;;;;;OAOG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,UAAU,CAAC,CAAC,CAAsC,CAAC;IAEvF;;;;;;;OAOG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,WAAW,CAAC,CAAC,CAAwC,CAAC;IAE3F;;;;;;;OAOG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,KAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAI7D,CAAC;IAEH;;OAEG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,UAAU,CAAC,CAAC,CAA0B,CAAC;IAEjG;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,WAAW,CAAC,CAAC,CAChD,CAAC;IAEzB;;OAEG;IACI,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CAAyB,CAAC;IAEjG;;OAEG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAC3B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAkD,CAAC;IAE5F;;OAEG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAC5B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAmD,CAAC;IAE9F;;;;;;;;;OASG;IACI,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAInF,CAAC;IAEF;;;;;;;;OAQG;IACI,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIpF,CAAC;IAEF;;;;;;;;;;OAUG;IACI,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAE7E,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAChB,KAAK,CAAC,CAAC,EAAE,CAAC,CAIZ,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,UAAU,GACpB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAGrE,CAAC;IAEJ;;;;;;;;;;;;OAYG;IACI,MAAM,WAAW,GACrB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAGrE,CAAC;IAEJ;;;;;;;;;;;;;;OAcG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACpB,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACrB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,MAE1B,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;;;;;;OAcG;IACI,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO;QACpC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACpB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;KACzB,MACA,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAIpB,CAAC;IAEF;;;;;;;;;OASG;IACI,MAAM,cAAc,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAClC,CAAC;IAE7C;;;;;;;;;OASG;IACI,MAAM,eAAe,GAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CACjC,CAAC;IAE/C;;;;;;;;OAQG;IACI,MAAM,GAAG,GAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAG9E,CAAC;IAEF;;;;;;;;;;;;OAYG;IACI,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAIxD,CAAC;CACH"}

package/types/src/Core/index.d.ts

@@ -1,6 +1,7 @@
 export * from "./Arr.js";
 export * from "./Lens.js";
 export * from "./Option.js";
+export * from "./Reader.js";
 export * from "./Optional.js";
 export * from "./Rec.js";
 export * from "./RemoteData.js";

package/types/src/Core/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/src/Core/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC;AAC9B,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/src/Core/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC;AAC9B,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC"}