@nicolastoulemont/std 0.7.1 → 0.8.0

package/dist/{index-BNQ9xSAz.d.mts → index-MsJqfQu0.d.mts}

@@ -1,8 +1,8 @@
-import { a as FxError, c as FxTypeId, d as FxYieldable, f as RunnableFx, h as isServiceRequest, i as Fx, l as FxValue, m as SyncFx, n as AsyncFxGenerator, o as FxGenerator, p as ServiceRequest, r as AsyncFxYieldable, s as FxRequirements, t as AsyncFx, u as FxYield } from "./fx.types-DeEWEltG.mjs";
-import { a as ResultFromTry, m as Ok, p as Err, t as Result } from "./result.types-_xDAei3-.mjs";
-import { r as Option } from "./option.types-qPevEZQd.mjs";
-import { t as Concurrency } from "./queue.types-CD2LOu37.mjs";
-import { n as SyncRetrySchedule, t as RetrySchedule } from "./schedule-DlX2Dg69.mjs";
+import { a as FxError, c as FxTypeId, d as FxYieldable, f as RunnableFx, h as isServiceRequest, i as Fx, l as FxValue, m as SyncFx, n as AsyncFxGenerator, o as FxGenerator, p as ServiceRequest, r as AsyncFxYieldable, s as FxRequirements, t as AsyncFx, u as FxYield } from "./fx.types-BdN1EWxr.mjs";
+import { a as ResultFromTry, m as Ok, p as Err, t as Result } from "./result.types-BKzChyWY.mjs";
+import { r as Option } from "./option.types-D9hrKcfa.mjs";
+import { t as Concurrency } from "./queue.types-B-l5XYbU.mjs";
+import { n as SyncRetrySchedule, t as RetrySchedule } from "./schedule-B9K_2Z21.mjs";
 
 //#region src/fx/exit.d.ts
 /**
@@ -100,17 +100,14 @@ type FxGenRequirements<Yielded> = Yielded extends Fx<unknown, unknown, infer R>
  *
  * @example
  * ```ts
- * const getUser = (id: string) => Fx.gen(function* () {
- *   const db = yield* Database
- *   const logger = yield* Logger
+ * import { Fx, Provide, Service } from "@nicolastoulemont/std"
  *
- *   logger.info(`Fetching user ${id}`)
- *   return yield* db.query<User>(`SELECT * FROM users WHERE id = '${id}'`)
+ * const Port = Service.tag<number>("Port")
+ * const readPort = Fx.gen(function* () {
+ *   return yield* Port
  * })
- * // Type: SyncFx<User[], DatabaseError, Database | Logger>
- *
- * // Execute later with dependencies provided
- * const exit = pipe(getUser("123"), Provide.layer(AppLayer)).run()
+ * const exit = Fx.run(Provide.service(Port, 3000)(readPort))
+ * // => { _tag: "Ok", value: 3000 }
  * ```
  */
 declare function fxGen<Yielded, A$1>(generatorFn: () => Generator<Yielded, A$1, unknown>): SyncFx<A$1, FxGenError<Yielded>, FxGenRequirements<Yielded>>;
@@ -125,14 +122,16 @@ declare function fxGen<Yielded, A$1>(generatorFn: () => Generator<Yielded, A$1,
  *
  * @example
  * ```ts
- * const fetchData = (url: string) => Fx.gen(async function* () {
- *   const logger = yield* Logger
+ * import { Fx, Provide, Service } from "@nicolastoulemont/std"
  *
- *   logger.info(`Fetching ${url}`)
- *   const response = await fetch(url)
- *   return yield* Result.try(async () => await response.json())
+ * const Token = Service.tag<string>("Token")
+ * const readToken = Fx.gen(async function* () {
+ *   const token = yield* Token
+ *   const suffix = await Promise.resolve("-ok")
+ *   return `${token}${suffix}`
  * })
- * // Type: AsyncFx<unknown, Error, Logger>
+ * const exit = await Fx.run(Provide.service(Token, "abc")(readToken))
+ * // => { _tag: "Ok", value: "abc-ok" }
  * ```
  */
 declare function fxGen<Yielded, A$1>(generatorFn: () => AsyncGenerator<Yielded, A$1, unknown>): AsyncFx<A$1, FxGenError<Yielded>, FxGenRequirements<Yielded>>;
@@ -148,13 +147,15 @@ declare function fxGen<Yielded, A$1>(generatorFn: () => AsyncGenerator<Yielded,
  *
  * @example
  * ```ts
- * const getUser = Fx.gen(function* ({userId}: {userId: string}) {
- *   const db = yield* Database
- *   return yield* db.query(`SELECT * FROM users WHERE id = '${userId}'`)
- * })
- * // Type: (params: {userId: string}) => SyncFx<...>
+ * import { Fx, Provide, Service } from "@nicolastoulemont/std"
  *
- * const exit = Fx.run(pipe(getUser({userId: "123"}), Provide.layer(DbLayer)))
+ * const Port = Service.tag<number>("Port")
+ * const describePort = Fx.gen(function* (label: string) {
+ *   const port = yield* Port
+ *   return `${label}:${port}`
+ * })
+ * const exit = Fx.run(Provide.service(Port, 3000)(describePort("port")))
+ * // => { _tag: "Ok", value: "port:3000" }
  * ```
  */
 declare function fxGen<P extends [unknown, ...unknown[]], Yielded, A$1>(generatorFn: (...params: P) => Generator<Yielded, A$1, unknown>): (...params: P) => SyncFx<A$1, FxGenError<Yielded>, FxGenRequirements<Yielded>>;
@@ -170,11 +171,16 @@ declare function fxGen<P extends [unknown, ...unknown[]], Yielded, A$1>(generato
  *
  * @example
  * ```ts
- * const fetchUser = Fx.gen(async function* ({url}: {url: string}) {
- *   const response = await fetch(url)
- *   return yield* Result.try(async () => await response.json())
+ * import { Fx, Provide, Service } from "@nicolastoulemont/std"
+ *
+ * const Token = Service.tag<string>("Token")
+ * const describeToken = Fx.gen(async function* (prefix: string) {
+ *   const token = yield* Token
+ *   const suffix = await Promise.resolve("!")
+ *   return `${prefix}:${token}${suffix}`
  * })
- * // Type: (params: {url: string}) => AsyncFx<...>
+ * const exit = await Fx.run(Provide.service(Token, "abc")(describeToken("token")))
+ * // => { _tag: "Ok", value: "token:abc!" }
  * ```
  */
 declare function fxGen<P extends [unknown, ...unknown[]], Yielded, A$1>(generatorFn: (...params: P) => AsyncGenerator<Yielded, A$1, unknown>): (...params: P) => AsyncFx<A$1, FxGenError<Yielded>, FxGenRequirements<Yielded>>;
@@ -191,13 +197,14 @@ type FxRunResult<F extends RunnableFx<unknown, unknown, unknown>> = F extends As
  *
  * @example
  * ```ts
+ * import { Fx } from "@nicolastoulemont/std"
+ *
  * const exit = Fx.fn(function* () {
- *   const a = yield* Result.ok(10)
- *   const b = yield* Result.ok(20)
+ *   const a = yield* Fx.ok(10)
+ *   const b = yield* Fx.ok(20)
  *   return a + b
  * })
- * // Type: Exit<number, never>
- * // exit = { _tag: "Ok", value: 30 }
+ * // => { _tag: "Ok", value: 30 }
  * ```
  */
 declare function fxFn<A$1, E$1>(generatorFn: () => FxGenerator<A$1, E$1, never>): Exit<A$1, E$1>;
@@ -213,12 +220,13 @@ declare function fxFn<A$1, E$1>(generatorFn: () => FxGenerator<A$1, E$1, never>)
  *
  * @example
  * ```ts
+ * import { Fx } from "@nicolastoulemont/std"
+ *
  * const exit = await Fx.fn(async function* () {
- *   const response = await fetch("/api/users")
- *   const data = yield* Result.try(async () => await response.json())
- *   return data
+ *   const value = await Promise.resolve(2)
+ *   return value + 1
  * })
- * // Type: Promise<Exit<unknown, Error>>
+ * // => { _tag: "Ok", value: 3 }
  * ```
  */
 declare function fxFn<A$1, E$1>(generatorFn: () => AsyncFxGenerator<A$1, E$1, never>): Promise<Exit<A$1, E$1>>;
@@ -236,13 +244,15 @@ declare function fxFn<A$1, E$1>(generatorFn: () => AsyncFxGenerator<A$1, E$1, ne
  *
  * @example
  * ```ts
+ * import { Fx, Provide, Service } from "@nicolastoulemont/std"
+ *
+ * const Port = Service.tag<number>("Port")
+ *
  * const exit = Fx.fn(function* () {
- *   const config = yield* Config
- *   const logger = yield* Logger
- *   logger.info(`DB URL: ${config.dbUrl}`)
- *   return config.dbUrl
- * }, Provide.layer(AppLayer))
- * // Type: Exit<string, never>
+ *   const port = yield* Port
+ *   return port + 1
+ * }, Provide.service(Port, 3000))
+ * // => { _tag: "Ok", value: 3001 }
  * ```
  */
 declare function fxFn<A$1, E$1, R$1, ProvidedFx extends RunnableFx<unknown, unknown, unknown>>(generatorFn: () => FxGenerator<A$1, E$1, R$1>, provider: (fx: SyncFx<A$1, E$1, R$1>) => ProvidedFx): FxRunResult<ProvidedFx>;
@@ -260,12 +270,16 @@ declare function fxFn<A$1, E$1, R$1, ProvidedFx extends RunnableFx<unknown, unkn
  *
  * @example
  * ```ts
+ * import { Fx, Provide, Service } from "@nicolastoulemont/std"
+ *
+ * const Token = Service.tag<string>("Token")
+ *
  * const exit = await Fx.fn(async function* () {
- *   const config = yield* Config
- *   await doAsyncWork()
- *   return config.dbUrl
- * }, Provide.layer(AppLayer))
- * // Type: Promise<Exit<string, never>>
+ *   const token = yield* Token
+ *   const suffix = await Promise.resolve("!")
+ *   return `${token}${suffix}`
+ * }, Provide.service(Token, "abc"))
+ * // => { _tag: "Ok", value: "abc!" }
  * ```
  */
 declare function fxFn<A$1, E$1, R$1, ProvidedFx extends RunnableFx<unknown, unknown, unknown>>(generatorFn: () => AsyncFxGenerator<A$1, E$1, R$1>, provider: (fx: AsyncFx<A$1, E$1, R$1>) => ProvidedFx): FxRunResult<ProvidedFx>;
@@ -279,8 +293,6 @@ declare function fxFn<A$1, E$1, R$1, ProvidedFx extends RunnableFx<unknown, unkn
  *
  * type Example = typeof Fx
  * ```
- *
- * @category Type-level
  */
 type TaggedMatch<T extends {
   readonly _tag: string;
@@ -301,8 +313,6 @@ type TaggedMatch<T extends {
  * const exit = Fx.run(program)
  * // => { _tag: "Ok", value: 3 }
  * ```
- *
- * @category Constructors
  */
 declare const gen: typeof fxGen;
 /**
@@ -317,8 +327,6 @@ declare const gen: typeof fxGen;
  * })
  * // => { _tag: "Ok", value: 2 }
  * ```
- *
- * @category Utilities
  */
 declare const fn: typeof fxFn;
 /**
@@ -333,8 +341,6 @@ declare const fn: typeof fxFn;
  * }))
  * // => { _tag: "Ok", value: 1 }
  * ```
- *
- * @category Utilities
  */
 declare const run: typeof fxRun;
 /**
@@ -355,8 +361,6 @@ declare const run: typeof fxRun;
  * const exit = Fx.run(retried)
  * // => { _tag: "Err", error: "boom" }
  * ```
- *
- * @category Error Handling
  */
 declare const retry: {
   <Fx$1 extends RunnableFx<unknown, unknown, unknown>, S extends RetrySchedule>(fx: Fx$1, schedule: S): RetryResult<Fx$1, S>;
@@ -374,8 +378,6 @@ declare const retry: {
  * }))
  * // => AsyncFx<readonly number[], ...>
  * ```
- *
- * @category Sequencing
  */
 declare const forEach: {
   <A$1, F extends (a: A$1, i: number) => RunnableFx<unknown, unknown, unknown>, const Discard extends boolean = false>(self: Iterable<A$1>, f: F, options?: {
@@ -403,8 +405,6 @@ declare const forEach: {
  * const value = Fx.ok(42)
  * // => { _tag: "Ok", value: 42 }
  * ```
- *
- * @category Constructors
  */
 declare const ok: <T>(value: T) => Result<T, never>;
 /**
@@ -417,8 +417,6 @@ declare const ok: <T>(value: T) => Result<T, never>;
  * const value = Fx.err("boom")
  * // => { _tag: "Err", error: "boom" }
  * ```
- *
- * @category Constructors
  */
 declare const err: <E$1>(error: E$1) => Result<never, E$1>;
 /**
@@ -431,8 +429,6 @@ declare const err: <E$1>(error: E$1) => Result<never, E$1>;
  * const value = Fx.option("token")
  * // => { _tag: "Some", value: "token" }
  * ```
- *
- * @category Conversions
  */
 declare const option: <T>(value: T) => Option<NonNullable<T>>;
 declare const try_: ResultFromTry;
@@ -448,8 +444,6 @@ declare const try_: ResultFromTry;
  * })
  * // => 3
  * ```
- *
- * @category Pattern Matching
  */
 declare const match: {
   <T extends {
@@ -461,4 +455,4 @@ declare const match: {
 };
 //#endregion
 export { fx_d_exports as t };
-//# sourceMappingURL=index-BNQ9xSAz.d.mts.map
+//# sourceMappingURL=index-MsJqfQu0.d.mts.map

package/dist/index-MsJqfQu0.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-MsJqfQu0.d.mts","names":[],"sources":["../src/fx/exit.ts","../src/fx/fx.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;KAUK,MAAA;;;;AAToD;AA+BzD;;;;;;;AAmBuF;;;;;;;AAiGvF;;AA3GoC,KATxB,IASwB,CAAA,GAAA,EAAA,GAAA,CAAA,GATX,EASW,CATR,GASQ,CAAA,GATH,GASG,CATC,GASD,CAAA,GATM,MASN;;;;KAsC/B,SAT8B,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,GAAA;EAAG,SAAA,EAAA,EAAA,CAAA,KAAA,EAUf,GAVe,EAAA,GAUT,GAVS;EAAR,SAAA,GAAA,EAAA,CAAA,KAAA,EAWN,GAXM,EAAA,GAWA,GAXA;EAAqB,SAAA,MAAA,EAAA,CAAA,MAAA,EAAA,OAAA,EAAA,GAYX,GAZW;CAoC5B;;;;AAA8B,cA0CxC,IA1CwC,EAAA;EAAG,SAAA,EAAA,EAAA,CAAA,GAAA,CAAA,CAAA,KAAA,EAjE3B,GAiE2B,EAAA,GAjEvB,EAiEuB,CAjEpB,GAiEoB,CAAA;EAAhB,SAAA,GAAA,EAAA,CAAA,GAAA,CAAA,CAAA,KAAA,EA5DV,GA4DU,EAAA,GA5DN,GA4DM,CA5DF,GA4DE,CAAA;EAAqB,SAAA,MAAA,EAAA,CAAA,MAAA,EAAA,OAAA,EAAA,GAvDpB,MAuDoB;EAC7B,SAAA,IAAA,EAAA,CAAA,GAAA,EAAA,GAAA,CAAA,CAAA,IAAA,EA/CN,IA+CM,CA/CD,GA+CC,EA/CE,GA+CF,CAAA,EAAA,GAAA,IAAA,IA/Ce,EA+Cf,CA/CkB,GA+ClB,CAAA;EAAG,SAAA,KAAA,EAAA,CAAA,GAAA,EAAA,GAAA,CAAA,CAAA,IAAA,EA1CR,IA0CQ,CA1CH,GA0CG,EA1CA,GA0CA,CAAA,EAAA,GAAA,IAAA,IA1Ca,GA0Cb,CA1CiB,GA0CjB,CAAA;EAAG,SAAA,QAAA,EAAA,CAAA,GAAA,EAAA,GAAA,CAAA,CAAA,IAAA,EArCR,IAqCQ,CArCH,GAqCG,EArCA,GAqCA,CAAA,EAAA,GAAA,IAAA,IArCa,MAqCb;EAAhB,SAAA,KAAA,EAAA;IAAiC,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,CAAA,IAAA,EADrC,IACqC,CADhC,GACgC,EAD7B,GAC6B,CAAA,EAAA,QAAA,EADf,SACe,CADL,GACK,EADF,GACE,EADC,GACD,CAAA,CAAA,EADM,GACN;IAAG,CAAA,GAAA,EAAA,GAAA,EAAA,GAAA,CAAA,CAAA,QAAA,EAApC,SAAoC,CAA1B,GAA0B,EAAvB,GAAuB,EAApB,GAAoB,CAAA,CAAA,EAAA,CAAA,IAAA,EAAR,IAAQ,CAAH,GAAG,EAAA,GAAA,CAAA,EAAA,GAAO,GAAP;EAAR,CAAA;EAAe,SAAA,UAAA,EAAA,CAAA,GAAA,EAAA,GAAA,CAAA,CAAA,IAAA,EAsBjC,IAtBiC,CAsB5B,GAtB4B,EAsBzB,GAtByB,CAAA,EAAA,GAsBpB,GAtBoB;CAsB5B;AAAA;;;;;;;ACmiBrB;;;;iBAvYP,KAgakE,CAAA,GAAA,EAAA,GAAA,CAAA,CAAA,EAAA,EAhalD,MAgakD,CAha3C,GAga2C,EAhaxC,GAgawC,CAAA,CAAA,EAhanC,IAgamC,CAha1B,GAga0B,EAhavB,GAgauB,CAAA;;;;AAAD;;;;;iBAtZjE,KA6akF,CAAA,GAAA,EAAA,GAAA,CAAA,CAAA,EAAA,EA7alE,OA6akE,CA7a1D,GA6a0D,EA7avD,GA6auD,CAAA,CAAA,EA7alD,OA6akD,CA7a1C,IA6a0C,CA7ajC,GA6aiC,EA7a9B,GA6a8B,CAAA,CAAA;;;;AAAb;;iBAtarE,KAkcwB,CAAA,GAAA,EAAA,GAAA,CAAA,CAAA,EAAA,EAlcR,UAkcQ,CAlcG,GAkcH,EAlcM,GAkcN,CAAA,CAAA,EAlcW,IAkcX,CAlcoB,GAkcpB,EAlcuB,GAkcvB,CAAA,GAlc4B,OAkc5B,CAlcoC,IAkcpC,CAlc6C,GAkc7C,EAlcgD,GAkchD,CAAA,CAAA;;;;;;KAlS5B,WAmSyB,CAAA,aAnSF,UAmSE,CAAA,OAAA,EAAA,OAAA,EAAA,OAAA,CAAA,EAAA,UAnS+C,aAmS/C,CAAA,GAlS5B,IAkS4B,SAlSjB,OAkSiB,CAAA,KAAA,EAAA,EAAA,KAAA,EAAA,EAAA,KAAA,EAAA,CAAA,GAjSxB,OAiSwB,CAjShB,CAiSgB,EAjSb,CAiSa,EAjSV,CAiSU,CAAA,GAhSxB,CAgSwB,SAhSd,iBAgSc,GA/RtB,IA+RsB,SA/RX,MA+RW,CAAA,KAAA,EAAA,EAAA,KAAA,EAAA,EAAA,KAAA,EAAA,CAAA,GA9RpB,MA8RoB,CA9Rb,CA8Ra,EA9RV,CA8RU,EA9RP,CA8RO,CAAA,GAAA,KAAA,GA5RtB,IA4RsB,SA5RX,MA4RW,CAAA,KAAA,EAAA,EAAA,KAAA,EAAA,EAAA,KAAA,EAAA,CAAA,GA3RpB,OA2RoB,CA3RZ,CA2RY,EA3RT,CA2RS,EA3RN,CA2RM,CAAA,GAAA,KAAA;KAlQzB,UAkQY,CAAA,OAAA,CAAA,GAlQU,OAkQV,SAlQ0B,EAkQ1B,CAAA,OAAA,EAAA,KAAA,EAAA,EAAA,OAAA,CAAA,GAAA,CAAA,GAlQsE,OAkQtE;KAjQZ,iBAiQgC,CAAA,OAAA,CAAA,GAjQH,OAiQG,SAjQa,EAiQb,CAAA,OAAA,EAAA,OAAA,EAAA,KAAA,EAAA,CAAA,GAAA,CAAA,GAAA,KAAA;;;;AACvB;;;;;;;;;;;;;;AA8Jd;;;;iBAzYS,KA0Y8B,CAAA,OAAA,EAAA,GAAA,CAAA,CAAA,WAAA,EAAA,GAAA,GAzYlB,SAyYkB,CAzYR,OAyYQ,EAzYC,GAyYD,EAAA,OAAA,CAAA,CAAA,EAxYpC,MAwYoC,CAxY7B,GAwY6B,EAxY1B,UAwY0B,CAxYf,OAwYe,CAAA,EAxYL,iBAwYK,CAxYa,OAwYb,CAAA,CAAA;;;AA4DvC;AAeA;AAeA;AAqBA;;;;;;;;;;;;;;;;AAeA;;iBA7eS,uCACY,eAAe,SAAS,gBAC1C,QAAQ,KAAG,WAAW,UAAU,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;iBAyB5C,gFACkB,MAAM,UAAU,SAAS,4BACrC,MAAM,OAAO,KAAG,WAAW,UAAU,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;iBA0B7D,gFACkB,MAAM,eAAe,SAAS,4BAC1C,MAAM,QAAQ,KAAG,WAAW,UAAU,kBAAkB;KAqElE,sBAAsB,yCACzB,UAAU,qCACN,QAAQ,KAAS,GAAG,MACpB,UAAU,oCACR,KAAS,GAAG;;;;;;;;;;AAwXpB;;;;;AAaA;;;;;AAaA;;;iBAzXS,IAyXU,CAAA,GAAA,EAAA,GAAA,CAAA,CAAA,WAAA,EAAA,GAAA,GAzXoB,WAyXpB,CAzXgC,GAyXhC,EAzXmC,GAyXnC,EAAA,KAAA,CAAA,CAAA,EAzX+C,IAyX/C,CAzXwD,GAyXxD,EAzX2D,GAyX3D,CAAA;;;AAAW;AAiC9B;;;;;;;;;;;;;;;;;;iBAnYS,kCAA8B,iBAAiB,KAAG,cAAY,QAAQ,KAAS,KAAG;;;;;;;;;;;;;;;;;;;;;;;;;;iBA2BlF,uCAAiC,0DACrB,YAAY,KAAG,KAAG,qBACtB,OAAO,KAAG,KAAG,SAAO,aAClC,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;iBA4BN,uCAAiC,0DACrB,iBAAiB,KAAG,KAAG,qBAC3B,QAAQ,KAAG,KAAG,SAAO,aACnC,YAAY;;;;;;;;;;;;KA+HH;;2BACK,sBAAsB,QAAQ;iBAAoB;OAAS;;;;;;;;;;;;;;;;cA4D/D,YAAG;;;;;;;;;;;;;;cAeH,WAAE;;;;;;;;;;;;;;cAeF,YAAG;;;;;;;;;;;;;;;;;;;;cAqBH;gBAtiBC,iDAAiD,mBAAmB,gBAAc,IAAI,YAAY,MAAI;aACvG,yBACC,kBACG,2CAA2C,SAAO,YAAY,MAAI;;;;;;;;;;;;;;;cAkjBtE;;;;;;;;;;;;;;;;;;;;;;;;;;;cAaA,eAAE,MAAA,OAAA;;;;;;;;;;;;cAaF,kBAAG,QAAA,cAAA;;;;;;;;;;;;cAaH,mBAAM,MAAA,OAAA,YAAA;cAEb,MAAY;;;;;;;;;;;;;;cA+BL;;;iBArKqC,aAAa,YAAY,GAAG,OAAK;;;oBAC9B,YAAY,GAAG,eAAa,MAAM"}

package/dist/{index-CGiLfREk.d.mts → index-UINIHFuh.d.mts}

@@ -1,5 +1,5 @@
-import { t as Discriminator } from "./discriminator.types-CTURejXz.mjs";
-import { t as TaggedErrorFactory } from "./data.tagged-error.types-CGiKD-ES.mjs";
+import { i as Fx } from "./fx.types-BdN1EWxr.mjs";
+import { t as Discriminator } from "./discriminator.types-C-ygT2S1.mjs";
 
 //#region src/data/data.types.d.ts
 /**
@@ -185,6 +185,40 @@ declare function struct$1<T extends Record<string, unknown>>(input: T): StructVa
  */
 declare function tagged$1<T extends Record<string, unknown>>(tag: string): TaggedConstructor<typeof tag, T>;
 //#endregion
+//#region src/data/data.tagged-error.types.d.ts
+interface TaggedErrorCore<Tag extends string, Data extends object = object> extends Error, Fx<never, TaggedErrorInstance<Tag, Data>, never> {
+  readonly _tag: Tag;
+  [Symbol.iterator](): Generator<TaggedErrorInstance<Tag, Data>, never, unknown>;
+}
+/**
+ * Type for instances created by the TaggedError class factory.
+ * Extends Error and includes the tag, data, Fx protocol, and Yieldable protocol.
+ * When yielded, yields itself as an Fx type for proper inference.
+ *
+ * @template Tag - The error tag (discriminator string)
+ * @template Data - Additional error data (optional)
+ */
+type TaggedErrorInstance<Tag extends string, Data extends object = object> = TaggedErrorCore<Tag, Data> & Readonly<Data>;
+/**
+ * Public constructor shape for tagged error classes with a fixed payload.
+ *
+ * @template Tag - The error tag (discriminator string)
+ * @template Data - Additional error data (optional)
+ */
+type TaggedErrorClass<Tag extends string, Data extends object = object> = {
+  new (...args: keyof Data extends never ? [] : [data: Data]): TaggedErrorInstance<Tag, Data>;
+  readonly _tag: Tag;
+};
+/**
+ * Type for the class returned by TaggedError factory.
+ * Supports the Effect-style curried syntax: `TaggedError("Tag")<{ data }>` and `TaggedError("Tag")`
+ *
+ * @template Tag - The error tag (discriminator string)
+ */
+type TaggedErrorFactory<Tag extends string> = TaggedErrorClass<Tag> & {
+  new <Data extends object = object>(...args: keyof Data extends never ? [] : [data: Data]): TaggedErrorInstance<Tag, Data>;
+};
+//#endregion
 //#region src/data/data.tagged-error.d.ts
 /**
  * Create a class-based tagged error type (Effect-style syntax).
@@ -255,7 +289,7 @@ declare function TaggedError$1<Tag extends string>(tag: Tag): TaggedErrorFactory
  */
 declare function tuple$1<T extends readonly unknown[]>(...args: T): TupleValue<T>;
 declare namespace data_d_exports {
-  export { TaggedError, array, struct, tagged, tuple };
+  export { TaggedError, TaggedErrorClass, TaggedErrorFactory, TaggedErrorInstance, array, struct, tagged, tuple };
 }
 /**
  * Construct tagged data objects.
@@ -268,8 +302,6 @@ declare namespace data_d_exports {
  * const user = User({ id: "u1" })
  * // => { _tag: "User", id: "u1" }
  * ```
- *
- * @category Constructors
  */
 declare const tagged: typeof tagged$1;
 /**
@@ -283,8 +315,6 @@ declare const tagged: typeof tagged$1;
  * const error = new NotFoundError({ id: "u1" })
  * // => { _tag: "NotFoundError", id: "u1" }
  * ```
- *
- * @category Constructors
  */
 declare const TaggedError: typeof TaggedError$1;
 /**
@@ -298,8 +328,6 @@ declare const TaggedError: typeof TaggedError$1;
  * const same = point.equals({ x: 1, y: 2 })
  * // => true
  * ```
- *
- * @category Constructors
  */
 declare const struct: typeof struct$1;
 /**
@@ -313,8 +341,6 @@ declare const struct: typeof struct$1;
  * const first = pair[0]
  * // => "left"
  * ```
- *
- * @category Constructors
  */
 declare const tuple: typeof tuple$1;
 /**
@@ -328,10 +354,8 @@ declare const tuple: typeof tuple$1;
  * const upper = ids.map((id) => id.toUpperCase())
  * // => ["A", "B"]
  * ```
- *
- * @category Constructors
  */
 declare const array: typeof array$1;
 //#endregion
-export { data_d_exports as t };
-//# sourceMappingURL=index-CGiLfREk.d.mts.map
+export { TaggedErrorFactory as n, data_d_exports as t };
+//# sourceMappingURL=index-UINIHFuh.d.mts.map

package/dist/index-UINIHFuh.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-UINIHFuh.d.mts","names":[],"sources":["../src/data/data.types.ts","../src/data/data.array.ts","../src/data/data.struct.ts","../src/data/data.tagged.ts","../src/data/data.tagged-error.types.ts","../src/data/data.tagged-error.ts","../src/data/data.tuple.ts","../src/data/data.ts"],"sourcesContent":[],"mappings":";;;;;;;;AAUY,KAAA,WAAW,CAAA,YAAA,MAAA,EAAA,CAAA,CAAA,GAA0B,QAA1B,CAAmC,CAAnC,CAAA,GAAwC,aAAxC,CAAsD,GAAtD,CAAA;;;;;;AAOX,KAAA,iBAAiB,CAAA,YAAA,MAAA,EAAA,CAAA,CAAA,GAAA;EAEZ;EAEP,SAAA,IAAA,EAFO,GAEP;EAAgB;EAAK,CAAA,KAAA,EAArB,CAAqB,CAAA,EAAjB,WAAiB,CAAL,GAAK,EAAA,CAAA,CAAA;EAAjB;EAE6B,EAAA,CAAA,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,IAAZ,WAAY,CAAA,GAAA,EAAK,CAAL,CAAA;EAAK;EAAjB,MAAA,CAAA,CAAA,EAEnB,WAFmB,CAEP,GAFO,EAEF,CAFE,CAAA,EAAA,CAAA,EAEK,WAFL,CAEiB,GAFjB,EAEsB,CAFtB,CAAA,CAAA,EAAA,OAAA;EAEP;EAAK,IAAA,CAAA,KAAA,EAEf,WAFe,CAEH,GAFG,EAEE,CAFF,CAAA,CAAA,EAAA,MAAA;CAAjB;;;;;AAEmB,KAWnB,WAXmB,CAAA,UAWG,MAXH,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAW8B,QAX9B,CAWuC,CAXvC,CAAA,GAAA;EAAjB;EAAW,MAAA,CAAA,KAAA,EAaT,CAbS,CAAA,EAAA,OAAA;EAWb;EAAsB,IAAA,EAAA,EAAA,MAAA;CAAoC;;;;AAetE;AACuB,KADX,UACW,CAAA,UAAA,SAAA,OAAA,EAAA,CAAA,GAAA,iBAAI,MAAJ,CAAI,GAAA,CAAA,CAAE,CAAF,CAAA,EAAE,GAAA;EAEV,SAAA,MAAA,EAAA,CAAA,CAAA,QAAA,CAAA;EAMqB;EAAjB,MAAA,CAAA,KAAA,EAAA,SAAA,OAAA,EAAA,CAAA,EAAA,OAAA;EAAgB;EAa3B,IAAA,EAAA,EAAA,MAAU;EACM,CAAA,MAAA,CAAA,QAAA,GAAA,EAdL,gBAcK,CAdY,CAcZ,CAAA,MAAA,CAAA,CAAA;CAGD;;;;;;;AAIuC,KARtD,UAQsD,CAAA,KAAA,CAAA,GAAA;EAE9C,UAAA,KAAA,EAAA,MAAA,CAAA,EATQ,CASR;EAAkC,SAAA,MAAA,EAAA,MAAA;EAA6B;EAAX,MAAA,CAAA,KAAA,EANxD,UAMwD,CAN7C,CAM6C,CAAA,GAAA,SAN/B,CAM+B,EAAA,CAAA,EAAA,OAAA;EAEhC;EAAjB,IAAA,EAAA,EAAA,MAAA;EAEF;EAAkC,GAAA,CAAA,CAAA,CAAA,CAAA,EAAA,EAAA,CAAA,IAAA,EANnC,CAMmC,EAAA,KAAA,EAAA,MAAA,EAAA,KAAA,EAAA,SAND,CAMC,EAAA,EAAA,GANO,CAMP,CAAA,EANW,UAMX,CANsB,CAMtB,CAAA;EACrC;EAAkC,MAAA,CAAA,EAAA,EAAA,CAAA,IAAA,EALhC,CAKgC,EAAA,KAAA,EAAA,MAAA,EAAA,KAAA,EAAA,SALE,CAKF,EAAA,EAAA,GAAA,OAAA,CAAA,EALoB,UAKpB,CAL+B,CAK/B,CAAA;EAAkB,CAAA,MAAA,CAAA,QAAA,GAAA,EAH/C,gBAG+C,CAH9B,CAG8B,CAAA;EAC/C,OAAA,CAAA,EAAA,EAAA,CAAA,IAAA,EAFF,CAEE,EAAA,KAAA,EAAA,MAAA,EAAA,KAAA,EAAA,SAFgC,CAEhC,EAAA,EAAA,GAAA,IAAA,CAAA,EAAA,IAAA;EAAkC,IAAA,CAAA,EAAA,EAAA,CAAA,IAAA,EADvC,CACuC,EAAA,KAAA,EAAA,MAAA,EAAA,KAAA,EAAA,SADL,CACK,EAAA,EAAA,GAAA,OAAA,CAAA,EADa,CACb,GAAA,SAAA;EACvC,SAAA,CAAA,EAAA,EAAA,CAAA,IAAA,EADK,CACL,EAAA,KAAA,EAAA,MAAA,EAAA,KAAA,EAAA,SADuC,CACvC,EAAA,EAAA,GAAA,OAAA,CAAA,EAAA,MAAA;EAAkC,IAAA,CAAA,EAAA,EAAA,CAAA,IAAA,EAAlC,CAAkC,EAAA,KAAA,EAAA,MAAA,EAAA,KAAA,EAAA,SAAA,CAAA,EAAA,EAAA,GAAA,OAAA,CAAA,EAAA,OAAA;EACjC,KAAA,CAAA,EAAA,EAAA,CAAA,IAAA,EAAA,CAAA,EAAA,KAAA,EAAA,MAAA,EAAA,KAAA,EAAA,SAAkC,CAAlC,EAAA,EAAA,GAAA,OAAA,CAAA,EAAA,OAAA;EAAkC,QAAA,CAAA,IAAA,EACpC,CADoC,CAAA,EAAA,OAAA;EACpC,OAAA,CAAA,IAAA,EACD,CADC,CAAA,EAAA,MAAA;EACD,MAAA,CAAA,CAAA,CAAA,CAAA,EAAA,EAAA,CAAA,GAAA,EACM,CADN,EAAA,IAAA,EACe,CADf,EAAA,KAAA,EAAA,MAAA,EAAA,KAAA,EAAA,SACiD,CADjD,EAAA,EAAA,GACyD,CADzD,EAAA,OAAA,EACqE,CADrE,CAAA,EACyE,CADzE;EACM,KAAA,CAAA,KAAA,CAAA,EAAA,MAAA,EAAA,GAAA,CAAA,EAAA,MAAA,CAAA,EACiB,UADjB,CAC4B,CAD5B,CAAA;EAAS,MAAA,CAAA,GAAA,KAAA,EAAA,SAAA,CAEF,CAFE,GAAA,SAEW,CAFX,EAAA,CAAA,EAAA,CAAA,EAEoB,UAFpB,CAE+B,CAF/B,CAAA;EAAkC,IAAA,CAAA,SAAA,CAAA,EAAA,MAAA,CAAA,EAAA,MAAA;CAAQ;;;;;;;AAtFzE;;;;;;AAOA;;;;;;;;;;;;;;;;;;;AAqBA;;;;;;AAeA;AACuB,iBCfP,ODeO,CAAA,CAAA,CAAA,CAAA,KAAA,EAAA,SCfkB,CDelB,EAAA,CAAA,ECfwB,UDexB,CCfmC,CDenC,CAAA;;;;;;;AA5CvB;;;;;;AAOA;;;;;;;;;;;;;;;;;;;AAqBA;;AAAsE,iBEJtD,QFIsD,CAAA,UEJrC,MFIqC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,CAAA,KAAA,EEJL,CFIK,CAAA,EEJD,WFIC,CEJW,CFIX,CAAA;;;;;;;AA5BtE;;;;;;AAOA;;;;;;;;;;;;;;;;;;;AAqBA;;;AAA6D,iBGF7C,QHE6C,CAAA,UGF5B,MHE4B,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,CAAA,GAAA,EAAA,MAAA,CAAA,EGFW,iBHEX,CAAA,OGFoC,GHEpC,EGFyC,CHEzC,CAAA;;;UInCnD,0EACA,OAAO,UAAU,oBAAoB,KAAK;iBACnC;uBACM,UAAU,oBAAoB,KAAK;;AJI1D;;;;;;AAOA;;AAIU,KIJE,mBJIF,CAAA,YAAA,MAAA,EAAA,aAAA,MAAA,GAAA,MAAA,CAAA,GIJ0E,eJI1E,CIJ0F,GJI1F,EIJ+F,IJI/F,CAAA,GIHR,QJGQ,CIHC,IJGD,CAAA;;;;;;;AAIc,KICZ,gBJDY,CAAA,YAAA,MAAA,EAAA,aAAA,MAAA,GAAA,MAAA,CAAA,GAAA;EAAK,KAAA,GAAA,IAAA,EAAA,MIEP,IJFO,SAAA,KAAA,GAAA,EAAA,GAAA,CAAA,IAAA,EIE0B,IJF1B,CAAA,CAAA,EIEkC,mBJFlC,CIEsD,GJFtD,EIE2D,IJF3D,CAAA;EAAjB,SAAA,IAAA,EIGK,GJHL;CAAoC;;;;;;;AAapC,KIDA,kBJCW,CAAA,YAAA,MAAA,CAAA,GID8B,gBJC9B,CID+C,GJC/C,CAAA,GAAA;EAAW,IAAA,CAAA,aAAA,MAAA,GAAA,MAAA,CAAA,CAAA,GAAA,IAAA,EAAA,MICf,IJDe,SAAA,KAAA,GAAA,EAAA,GAAA,CAAA,IAAA,EICkB,IJDlB,CAAA,CAAA,EIE7B,mBJF6B,CIET,GJFS,EIEJ,IJFI,CAAA;CAAoC;;;;;;;AA5BtE;;;;;;AAOA;;;;;;;;;;;;;;;;;;;AAqBA;;;;;AAEiB,iBKDD,aLCC,CAAA,YAAA,MAAA,CAAA,CAAA,GAAA,EKDoC,GLCpC,CAAA,EKD0C,kBLC1C,CKD6D,GLC7D,CAAA;;;;;;;AA9BjB;;;;;;AAOA;;;;;;;;;;;;;;;;;;;AAqBA;AAAkC,iBMLlB,ONKkB,CAAA,UAAA,SAAA,OAAA,EAAA,CAAA,CAAA,GAAA,IAAA,EML2B,CNK3B,CAAA,EML+B,UNK/B,CML0C,CNK1C,CAAA;AAAA;;;;AAelC;;;;;;;;AAsBA;;;AAIgB,cO/BH,MP+BG,EAAA,OO/BG,QP+BH;;;;;;;;;;;;;AAUK,cO3BR,WP2BQ,EAAA,OO3BG,aP2BH;;;;;;;;;;;;;AAOC,cOpBT,MPoBS,EAAA,OOpBH,QPoBG;;;;;;;;;;;;;cONT,cAAK;;;ANnDlB;;;;;;;;ACLA;;AAAiE,cKsEpD,KLtEoD,EAAA,OKsE/C,OLtE+C"}

package/dist/{index-BiiE8NS7.d.mts → index-crtzMG48.d.mts}

@@ -1,7 +1,7 @@
-import { f as RunnableFx, m as SyncFx, t as AsyncFx } from "./fx.types-DeEWEltG.mjs";
-import { t as ServiceClass } from "./service-DrXU7KJG.mjs";
-import { t as Context } from "./context-r8ESJiFn.mjs";
-import { n as Layer } from "./layer.types-DgpCIsk_.mjs";
+import { f as RunnableFx, m as SyncFx, t as AsyncFx } from "./fx.types-BdN1EWxr.mjs";
+import { t as ServiceClass } from "./service-D8mr0wwg.mjs";
+import { t as Context } from "./context-B2dWloPl.mjs";
+import { n as Layer } from "./layer.types-BB0MrvLg.mjs";
 
 //#region src/provide/provide.d.ts
 declare namespace provide_d_exports {
@@ -39,9 +39,7 @@ type ProvideResult<E2, LayerSync extends boolean, Fx extends RunnableFx<unknown,
  *
  * @example
  * ```ts
- * import { Provide } from "@nicolastoulemont/std"
- *
- * import { Fx, Layer, Service } from "@nicolastoulemont/std"
+ * import { Fx, Layer, Provide, Service } from "@nicolastoulemont/std"
  *
  * const Port = Service.tag<number>("Port")
  * const portLayer = Layer.ok(Port, 3000)
@@ -49,10 +47,9 @@ type ProvideResult<E2, LayerSync extends boolean, Fx extends RunnableFx<unknown,
  *   return yield* Port
  * })
  * const provided = Provide.layer(portLayer)(readPort)
- * // => Fx with Port dependency resolved
+ * const exit = Fx.run(provided)
+ * // => { _tag: "Ok", value: 3000 }
  * ```
- *
- * @category Utilities
  */
 declare function layer<ROut, E2, LayerSync extends boolean>(layer: Layer<ROut, E2, never, LayerSync>): <Fx extends RunnableFx<unknown, unknown, ROut>>(fx: Fx) => ProvideResult<E2, LayerSync, Fx>;
 /**
@@ -63,9 +60,7 @@ declare function layer<ROut, E2, LayerSync extends boolean>(layer: Layer<ROut, E
  *
  * @example
  * ```ts
- * import { Provide } from "@nicolastoulemont/std"
- *
- * import { Context, Fx, Service } from "@nicolastoulemont/std"
+ * import { Context, Fx, Provide, Service } from "@nicolastoulemont/std"
  *
  * const Port = Service.tag<number>("Port")
  * const ctx = Context.make(Port, 3000)
@@ -73,10 +68,9 @@ declare function layer<ROut, E2, LayerSync extends boolean>(layer: Layer<ROut, E
  *   return yield* Port
  * })
  * const provided = Provide.context(ctx)(readPort)
- * // => Fx runnable without Port requirement
+ * const exit = Fx.run(provided)
+ * // => { _tag: "Ok", value: 3000 }
  * ```
- *
- * @category Utilities
  */
 declare const context: <R>(ctx: Context<R>) => <A, E>(fx: RunnableFx<A, E, R>) => RunnableFx<A, E>;
 /**
@@ -88,21 +82,18 @@ declare const context: <R>(ctx: Context<R>) => <A, E>(fx: RunnableFx<A, E, R>) =
  *
  * @example
  * ```ts
- * import { Provide } from "@nicolastoulemont/std"
- *
- * import { Fx, Service } from "@nicolastoulemont/std"
+ * import { Fx, Provide, Service } from "@nicolastoulemont/std"
  *
  * const Port = Service.tag<number>("Port")
  * const readPort = Fx.gen(function* () {
  *   return yield* Port
  * })
  * const provided = Provide.service(Port, 3000)(readPort)
- * // => Fx runnable without Port requirement
+ * const exit = Fx.run(provided)
+ * // => { _tag: "Ok", value: 3000 }
  * ```
- *
- * @category Utilities
  */
 declare const service: <S>(service: ServiceClass<S>, impl: S) => <A, E, R>(fx: RunnableFx<A, E, R | S>) => RunnableFx<A, E, Exclude<R, S>>;
 //#endregion
 export { provide_d_exports as t };
-//# sourceMappingURL=index-BiiE8NS7.d.mts.map
+//# sourceMappingURL=index-crtzMG48.d.mts.map

package/dist/index-crtzMG48.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-crtzMG48.d.mts","names":[],"sources":["../src/provide/provide.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;KAoBK,iBAAiB,UAAU;;;;KAK3B,iBAAiB,UAAU;AAlBsB;AAaZ;AAKA;;;;;;KAUrC,aAMqC,CAAA,EAAA,EAAA,kBAAA,OAAA,EAAA,WAH7B,UAG6B,CAAA,OAAA,EAAA,OAAA,EAAA,OAAA,CAAA,CAAA,GAFtC,SAEsC,SAAA,IAAA,GADtC,EACsC,CAAA,MAAA,CAAA,SAAA,QAAA,GAApC,MAAoC,CAA7B,WAA6B,CAAjB,EAAiB,CAAA,EAAZ,WAAY,CAAA,EAAA,CAAA,GAAM,EAAN,CAAA,GACpC,OADoC,CAC5B,WAD4B,CAChB,EADgB,CAAA,EACX,WADW,CACC,EADD,CAAA,GACO,EADP,CAAA,GAEtC,SAFsC,SAAA,KAAA,GAGpC,OAHoC,CAG5B,WAH4B,CAGhB,EAHgB,CAAA,EAGX,WAHW,CAGC,EAHD,CAAA,GAGO,EAHP,CAAA,GAIpC,UAJoC,CAIzB,WAJyB,CAIb,EAJa,CAAA,EAIR,WAJQ,CAII,EAJJ,CAAA,GAIU,EAJV,CAAA;;;;;;;;;;;;;;;;;;;;;;;;AAiC1C;;;;AACS,iBADO,KACP,CAAA,IAAA,EAAA,EAAA,EAAA,kBAAA,OAAA,CAAA,CAAA,KAAA,EAAA,KAAA,CAAM,IAAN,EAAY,EAAZ,EAAA,KAAA,EAAuB,SAAvB,CAAA,CAAA,EAAA,CAAA,WACM,UADN,CAAA,OAAA,EAAA,OAAA,EACmC,IADnC,CAAA,CAAA,CAAA,EAAA,EAC8C,EAD9C,EAAA,GACqD,aADrD,CACmE,EADnE,EACuE,SADvE,EACkF,EADlF,CAAA;;;;;;;;;AA+LT;;;;;;;;;;;AA8FA;AAC4B,cA/Ff,OA+Fe,EAAA,CAAA,CAAA,CAAA,CAAA,GAAA,EA9FjB,OA8FiB,CA9FT,CA8FS,CAAA,EAAA,GAAA,CAAA,CAAA,EAAA,CAAA,CAAA,CAAA,EAAA,EA7Ff,UA6Fe,CA7FJ,CA6FI,EA7FD,CA6FC,EA7FE,CA6FF,CAAA,EAAA,GA7FO,UA6FP,CA7FkB,CA6FlB,EA7FqB,CA6FrB,CAAA;;;;;;;;;;;;;;;;;;;;;cADf,sBACE,aAAa,UAAU,oBACtB,WAAW,GAAG,GAAG,IAAI,OAAK,WAAW,GAAG,GAAG,QAAQ,GAAG"}