@nicolastoulemont/std 0.6.0 → 0.7.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +232 -27
- package/dist/adt/index.d.mts +2 -2
- package/dist/adt/index.mjs +1 -1
- package/dist/adt-DajUZvJe.mjs +2 -0
- package/dist/adt-DajUZvJe.mjs.map +1 -0
- package/dist/brand/index.d.mts +2 -2
- package/dist/brand/index.mjs +1 -1
- package/dist/brand-Bia3Vj6l.mjs +2 -0
- package/dist/brand-Bia3Vj6l.mjs.map +1 -0
- package/dist/context/index.d.mts +2 -0
- package/dist/context/index.mjs +1 -0
- package/dist/context-CCHj1nab.mjs +2 -0
- package/dist/context-CCHj1nab.mjs.map +1 -0
- package/dist/context-r8ESJiFn.d.mts +176 -0
- package/dist/context-r8ESJiFn.d.mts.map +1 -0
- package/dist/data/index.d.mts +2 -2
- package/dist/data/index.mjs +1 -1
- package/dist/data-CJxw6al9.mjs +2 -0
- package/dist/data-CJxw6al9.mjs.map +1 -0
- package/dist/data.tagged-error.types-CLlJJ3n5.d.mts +50 -0
- package/dist/data.tagged-error.types-CLlJJ3n5.d.mts.map +1 -0
- package/dist/{discriminator.types-9PxvrZki.d.mts → discriminator.types-CTURejXz.d.mts} +1 -1
- package/dist/discriminator.types-CTURejXz.d.mts.map +1 -0
- package/dist/dual-CZhzZslG.mjs +2 -0
- package/dist/dual-CZhzZslG.mjs.map +1 -0
- package/dist/either/index.d.mts +2 -2
- package/dist/either/index.mjs +1 -1
- package/dist/either-6BwadiFj.mjs +2 -0
- package/dist/either-6BwadiFj.mjs.map +1 -0
- package/dist/{equality-CD4_A1Op.mjs → equality-CoyUHWh9.mjs} +1 -1
- package/dist/{equality-CD4_A1Op.mjs.map → equality-CoyUHWh9.mjs.map} +1 -1
- package/dist/{flow-CYjiodlC.mjs → flow-D8_tllWl.mjs} +1 -1
- package/dist/flow-D8_tllWl.mjs.map +1 -0
- package/dist/functions/index.d.mts +2 -0
- package/dist/functions/index.mjs +1 -0
- package/dist/functions-BkevX2Dw.mjs +2 -0
- package/dist/functions-BkevX2Dw.mjs.map +1 -0
- package/dist/fx/index.d.mts +2 -3
- package/dist/fx/index.mjs +1 -1
- package/dist/fx-BzxLbf1Q.mjs +2 -0
- package/dist/fx-BzxLbf1Q.mjs.map +1 -0
- package/dist/fx.runtime-BcC6yMSy.mjs +2 -0
- package/dist/fx.runtime-BcC6yMSy.mjs.map +1 -0
- package/dist/{fx.types-CDVjDn_3.mjs → fx.types-Bg-Mmdm5.mjs} +1 -1
- package/dist/fx.types-Bg-Mmdm5.mjs.map +1 -0
- package/dist/{fx.types-B34asVRX.d.mts → fx.types-DeEWEltG.d.mts} +2 -2
- package/dist/{fx.types-B34asVRX.d.mts.map → fx.types-DeEWEltG.d.mts.map} +1 -1
- package/dist/index-7Lv982Om.d.mts +217 -0
- package/dist/index-7Lv982Om.d.mts.map +1 -0
- package/dist/index-B_iY5tq0.d.mts +241 -0
- package/dist/index-B_iY5tq0.d.mts.map +1 -0
- package/dist/index-B_wWGszy.d.mts +129 -0
- package/dist/index-B_wWGszy.d.mts.map +1 -0
- package/dist/index-BiiE8NS7.d.mts +108 -0
- package/dist/index-BiiE8NS7.d.mts.map +1 -0
- package/dist/index-By6dNRc4.d.mts +277 -0
- package/dist/index-By6dNRc4.d.mts.map +1 -0
- package/dist/index-CCo85AdC.d.mts +121 -0
- package/dist/index-CCo85AdC.d.mts.map +1 -0
- package/dist/index-CUZn-ohG.d.mts +490 -0
- package/dist/index-CUZn-ohG.d.mts.map +1 -0
- package/dist/index-CugDqdx6.d.mts +464 -0
- package/dist/index-CugDqdx6.d.mts.map +1 -0
- package/dist/{index-B2l8_CiD.d.mts → index-DEAWPlcI.d.mts} +155 -216
- package/dist/index-DEAWPlcI.d.mts.map +1 -0
- package/dist/{index-C4v_3f3-.d.mts → index-DKS1g1oC.d.mts} +95 -42
- package/dist/index-DKS1g1oC.d.mts.map +1 -0
- package/dist/{index-CklRfom5.d.mts → index-DSsDFLGw.d.mts} +263 -368
- package/dist/index-DSsDFLGw.d.mts.map +1 -0
- package/dist/{index-jeC5jyRh.d.mts → index-DXbYlSnB.d.mts} +64 -101
- package/dist/index-DXbYlSnB.d.mts.map +1 -0
- package/dist/{index-BzYtgdX0.d.mts → index-DaTvFhZ8.d.mts} +123 -16
- package/dist/index-DaTvFhZ8.d.mts.map +1 -0
- package/dist/{index-CjZ95Dsv.d.mts → index-Dm2dFysv.d.mts} +188 -202
- package/dist/index-Dm2dFysv.d.mts.map +1 -0
- package/dist/index.d.mts +23 -16
- package/dist/index.mjs +1 -1
- package/dist/layer/index.d.mts +2 -0
- package/dist/layer/index.mjs +1 -0
- package/dist/layer-BttmtDrs.mjs +2 -0
- package/dist/layer-BttmtDrs.mjs.map +1 -0
- package/dist/layer.types-DgpCIsk_.d.mts +100 -0
- package/dist/layer.types-DgpCIsk_.d.mts.map +1 -0
- package/dist/multithread/index.d.mts +2 -0
- package/dist/multithread/index.mjs +1 -0
- package/dist/multithread-xUUh4eLn.mjs +19 -0
- package/dist/multithread-xUUh4eLn.mjs.map +1 -0
- package/dist/option/index.d.mts +2 -3
- package/dist/option/index.mjs +1 -1
- package/dist/option-Qt1H-u7c.mjs +2 -0
- package/dist/option-Qt1H-u7c.mjs.map +1 -0
- package/dist/option.types-DRUm2QiI.mjs +2 -0
- package/dist/option.types-DRUm2QiI.mjs.map +1 -0
- package/dist/{option.types-ClJiBTdg.d.mts → option.types-DlAb6Sr0.d.mts} +4 -4
- package/dist/option.types-DlAb6Sr0.d.mts.map +1 -0
- package/dist/order/index.d.mts +2 -0
- package/dist/order/index.mjs +1 -0
- package/dist/order-D5c4QChk.mjs +2 -0
- package/dist/order-D5c4QChk.mjs.map +1 -0
- package/dist/pipeable-COGyGMUV.mjs +2 -0
- package/dist/pipeable-COGyGMUV.mjs.map +1 -0
- package/dist/{pipeable-B4YJA56p.d.mts → pipeable-rfqacPxZ.d.mts} +2 -9
- package/dist/{pipeable-B4YJA56p.d.mts.map → pipeable-rfqacPxZ.d.mts.map} +1 -1
- package/dist/predicate/index.d.mts +2 -2
- package/dist/predicate/index.mjs +1 -1
- package/dist/predicate-DUhhQqWY.mjs +2 -0
- package/dist/predicate-DUhhQqWY.mjs.map +1 -0
- package/dist/provide/index.d.mts +2 -0
- package/dist/provide/index.mjs +1 -0
- package/dist/provide-B_SqJpCd.mjs +2 -0
- package/dist/provide-B_SqJpCd.mjs.map +1 -0
- package/dist/queue/index.d.mts +2 -0
- package/dist/queue/index.mjs +1 -0
- package/dist/queue-CG5izEBS.mjs +2 -0
- package/dist/queue-CG5izEBS.mjs.map +1 -0
- package/dist/queue.types-CD2LOu37.d.mts +36 -0
- package/dist/queue.types-CD2LOu37.d.mts.map +1 -0
- package/dist/result/index.d.mts +2 -3
- package/dist/result/index.mjs +1 -1
- package/dist/result-BEzV0DYC.mjs +2 -0
- package/dist/result-BEzV0DYC.mjs.map +1 -0
- package/dist/{result.types-HHDzgSTV.d.mts → result.types-_xDAei3-.d.mts} +5 -97
- package/dist/result.types-_xDAei3-.d.mts.map +1 -0
- package/dist/schedule/index.d.mts +2 -0
- package/dist/schedule/index.mjs +1 -0
- package/dist/schedule-C6tjcJ1O.mjs +2 -0
- package/dist/schedule-C6tjcJ1O.mjs.map +1 -0
- package/dist/schedule-DlX2Dg69.d.mts +144 -0
- package/dist/schedule-DlX2Dg69.d.mts.map +1 -0
- package/dist/scope/index.d.mts +2 -0
- package/dist/scope/index.mjs +1 -0
- package/dist/scope-CZdp4wKX.d.mts +79 -0
- package/dist/scope-CZdp4wKX.d.mts.map +1 -0
- package/dist/scope-qwL1VUh2.mjs +2 -0
- package/dist/scope-qwL1VUh2.mjs.map +1 -0
- package/dist/service/index.d.mts +2 -0
- package/dist/service/index.mjs +1 -0
- package/dist/service-3PYQTUdH.mjs +2 -0
- package/dist/service-3PYQTUdH.mjs.map +1 -0
- package/dist/service-DrXU7KJG.d.mts +69 -0
- package/dist/service-DrXU7KJG.d.mts.map +1 -0
- package/dist/service-resolution-C19smeaO.mjs +2 -0
- package/dist/service-resolution-C19smeaO.mjs.map +1 -0
- package/package.json +50 -12
- package/dist/adt-CkRcY_GA.mjs +0 -2
- package/dist/adt-CkRcY_GA.mjs.map +0 -1
- package/dist/apply-fn.types-0g_9eXRy.d.mts +0 -8
- package/dist/apply-fn.types-0g_9eXRy.d.mts.map +0 -1
- package/dist/brand-Gy0kW6-n.mjs +0 -2
- package/dist/brand-Gy0kW6-n.mjs.map +0 -1
- package/dist/data-C0_3MGwm.mjs +0 -2
- package/dist/data-C0_3MGwm.mjs.map +0 -1
- package/dist/discriminator.types-9PxvrZki.d.mts.map +0 -1
- package/dist/either-CPzK-s8W.mjs +0 -2
- package/dist/either-CPzK-s8W.mjs.map +0 -1
- package/dist/err/index.d.mts +0 -2
- package/dist/err/index.mjs +0 -1
- package/dist/err-3KpQ4pj9.mjs +0 -2
- package/dist/err-3KpQ4pj9.mjs.map +0 -1
- package/dist/flow/index.d.mts +0 -2
- package/dist/flow/index.mjs +0 -1
- package/dist/flow-CYjiodlC.mjs.map +0 -1
- package/dist/fx-vqywVJhV.mjs +0 -2
- package/dist/fx-vqywVJhV.mjs.map +0 -1
- package/dist/fx.types-CDVjDn_3.mjs.map +0 -1
- package/dist/index-8Ne4GdOG.d.mts +0 -288
- package/dist/index-8Ne4GdOG.d.mts.map +0 -1
- package/dist/index-B2l8_CiD.d.mts.map +0 -1
- package/dist/index-BOrJQBPO.d.mts +0 -80
- package/dist/index-BOrJQBPO.d.mts.map +0 -1
- package/dist/index-BsXtpnw-.d.mts +0 -225
- package/dist/index-BsXtpnw-.d.mts.map +0 -1
- package/dist/index-BzYtgdX0.d.mts.map +0 -1
- package/dist/index-C4v_3f3-.d.mts.map +0 -1
- package/dist/index-CjZ95Dsv.d.mts.map +0 -1
- package/dist/index-CklRfom5.d.mts.map +0 -1
- package/dist/index-DZdmFtjA.d.mts +0 -79
- package/dist/index-DZdmFtjA.d.mts.map +0 -1
- package/dist/index-a4MEBZZ1.d.mts +0 -850
- package/dist/index-a4MEBZZ1.d.mts.map +0 -1
- package/dist/index-jeC5jyRh.d.mts.map +0 -1
- package/dist/option-DawZC1cE.mjs +0 -2
- package/dist/option-DawZC1cE.mjs.map +0 -1
- package/dist/option.types-ClJiBTdg.d.mts.map +0 -1
- package/dist/pipe/index.d.mts +0 -2
- package/dist/pipe/index.mjs +0 -1
- package/dist/pipe-BPpJyZf7.mjs +0 -2
- package/dist/pipe-BPpJyZf7.mjs.map +0 -1
- package/dist/pipeable-BA0mXhs4.mjs +0 -2
- package/dist/pipeable-BA0mXhs4.mjs.map +0 -1
- package/dist/predicate-Cy_oHA1Q.mjs +0 -2
- package/dist/predicate-Cy_oHA1Q.mjs.map +0 -1
- package/dist/result-CgGYLp0L.mjs +0 -2
- package/dist/result-CgGYLp0L.mjs.map +0 -1
- package/dist/result.types-HHDzgSTV.d.mts.map +0 -1
- /package/dist/{chunk-DAexk1S7.mjs → chunk-C934ptG5.mjs} +0 -0
- /package/dist/{option-Bb-taghv.mjs → option-CBCwzF0L.mjs} +0 -0
- /package/dist/{result-fiJhwVGz.mjs → result-B5WbPg8C.mjs} +0 -0
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import {
|
|
2
|
-
import { t as Discriminator } from "./discriminator.types-
|
|
1
|
+
import { h as Prettify, t as Result } from "./result.types-_xDAei3-.mjs";
|
|
2
|
+
import { t as Discriminator } from "./discriminator.types-CTURejXz.mjs";
|
|
3
3
|
import { StandardSchemaV1 } from "@standard-schema/spec";
|
|
4
4
|
|
|
5
5
|
//#region src/adt/adt.match.d.ts
|
|
@@ -45,7 +45,7 @@ type AdtMatchHandlers<T extends {
|
|
|
45
45
|
* }
|
|
46
46
|
* ```
|
|
47
47
|
*/
|
|
48
|
-
declare function match<T extends {
|
|
48
|
+
declare function match$1<T extends {
|
|
49
49
|
readonly _tag: string;
|
|
50
50
|
}, TResult, Handlers extends AdtMatchHandlers<T, TResult> = AdtMatchHandlers<T, TResult>>(value: T, handlers: Handlers): TResult;
|
|
51
51
|
//#endregion
|
|
@@ -60,26 +60,6 @@ type AdtValidationError = {
|
|
|
60
60
|
readonly path?: ReadonlyArray<PropertyKey> | undefined;
|
|
61
61
|
}>;
|
|
62
62
|
};
|
|
63
|
-
/**
|
|
64
|
-
* A codec definition for encoding and decoding a variant type.
|
|
65
|
-
* @template T - The variant output type (after validation)
|
|
66
|
-
* @template TInput - The encoded input type (e.g., string for JSON/graphic formats)
|
|
67
|
-
* @template TDecoded - The type returned by decode (before validation, defaults to unknown)
|
|
68
|
-
*/
|
|
69
|
-
type AdtCodecDef<T, TInput, TDecoded = unknown> = {
|
|
70
|
-
/**
|
|
71
|
-
* Encode a validated variant value to the target format.
|
|
72
|
-
* This function receives the fully validated variant (with _tag).
|
|
73
|
-
* @throws May throw if encoding fails
|
|
74
|
-
*/
|
|
75
|
-
to: (value: T) => TInput;
|
|
76
|
-
/**
|
|
77
|
-
* Decode from the target format to a plain object.
|
|
78
|
-
* Returns null if decoding fails (e.g., invalid format).
|
|
79
|
-
* The result will be validated through the schema before being returned to the user.
|
|
80
|
-
*/
|
|
81
|
-
from: (input: TInput) => TDecoded | null;
|
|
82
|
-
};
|
|
83
63
|
/**
|
|
84
64
|
* Constraint for custom codec definitions.
|
|
85
65
|
* Ensures codecs have properly typed `to` and `from` methods.
|
|
@@ -253,7 +233,7 @@ type InferADTUnion<R$1 extends Record<string, AdtVariantDef>> = { [K in keyof R$
|
|
|
253
233
|
* // => { _tag: 'Circle', radius: number }
|
|
254
234
|
* ```
|
|
255
235
|
*/
|
|
256
|
-
type AdtInfer<T> = T extends AdtUnion<infer R> ? Prettify<InferADTUnion<R>> : T extends AdtVariant<infer Tag, infer S> ? Prettify<AdtInferOutput<S> & Discriminator<Tag>> : never;
|
|
236
|
+
type AdtInfer$1<T> = T extends AdtUnion<infer R> ? Prettify<InferADTUnion<R>> : T extends AdtVariant<infer Tag, infer S> ? Prettify<AdtInferOutput<S> & Discriminator<Tag>> : never;
|
|
257
237
|
/**
|
|
258
238
|
* Extract the union of all variant names from an AdtUnion.
|
|
259
239
|
*
|
|
@@ -263,7 +243,7 @@ type AdtInfer<T> = T extends AdtUnion<infer R> ? Prettify<InferADTUnion<R>> : T
|
|
|
263
243
|
* type Names = AdtVariantNames<typeof Shape> // "Circle" | "Square"
|
|
264
244
|
* ```
|
|
265
245
|
*/
|
|
266
|
-
type AdtVariantNames<T> = T extends AdtUnion<infer R> ? keyof R & string : never;
|
|
246
|
+
type AdtVariantNames$1<T> = T extends AdtUnion<infer R> ? keyof R & string : never;
|
|
267
247
|
/**
|
|
268
248
|
* Extract the type of a specific variant from an AdtUnion.
|
|
269
249
|
*
|
|
@@ -274,7 +254,7 @@ type AdtVariantNames<T> = T extends AdtUnion<infer R> ? keyof R & string : never
|
|
|
274
254
|
* // => { _tag: "Circle", radius: number }
|
|
275
255
|
* ```
|
|
276
256
|
*/
|
|
277
|
-
type AdtVariantOf<T, K$1 extends string> = T extends AdtUnion<infer R> ? K$1 extends keyof R ? Prettify<AdtInferOutput<AdtExtractSchema<R[K$1]>> & Discriminator<K$1>> : never : never;
|
|
257
|
+
type AdtVariantOf$1<T, K$1 extends string> = T extends AdtUnion<infer R> ? K$1 extends keyof R ? Prettify<AdtInferOutput<AdtExtractSchema<R[K$1]>> & Discriminator<K$1>> : never : never;
|
|
278
258
|
//#endregion
|
|
279
259
|
//#region src/adt/adt.union.d.ts
|
|
280
260
|
/**
|
|
@@ -323,7 +303,7 @@ type AdtVariantOf<T, K$1 extends string> = T extends AdtUnion<infer R> ? K$1 ext
|
|
|
323
303
|
* Shape.Circle.is(someValue) // type guard for Circle
|
|
324
304
|
* ```
|
|
325
305
|
*/
|
|
326
|
-
declare function union<R$1 extends Record<string, AdtVariantDef>>(name: string, records: R$1): AdtUnion<R$1>;
|
|
306
|
+
declare function union$1<R$1 extends Record<string, AdtVariantDef>>(name: string, records: R$1): AdtUnion<R$1>;
|
|
327
307
|
//#endregion
|
|
328
308
|
//#region src/adt/adt.variant.d.ts
|
|
329
309
|
/**
|
|
@@ -376,21 +356,94 @@ declare function union<R$1 extends Record<string, AdtVariantDef>>(name: string,
|
|
|
376
356
|
* const result3 = Circle2.from.graphic("(10)") // Result<Circle, AdtCodecError>
|
|
377
357
|
* ```
|
|
378
358
|
*/
|
|
379
|
-
declare function variant<Tag$1 extends string, S$1 extends StandardSchemaV1, Codecs extends AdtCodecConstraint<Tag$1, S$1>>(_tag: Tag$1, schema: S$1, codecs: Codecs): AdtVariant<Tag$1, S$1, Codecs>;
|
|
380
|
-
declare function variant<Tag$1 extends string, S$1 extends StandardSchemaV1>(_tag: Tag$1, schema: S$1): AdtVariant<Tag$1, S$1>;
|
|
381
|
-
|
|
382
|
-
|
|
383
|
-
|
|
384
|
-
readonly union: typeof union;
|
|
385
|
-
readonly variant: typeof variant;
|
|
386
|
-
readonly match: typeof match;
|
|
387
|
-
};
|
|
388
|
-
//#endregion
|
|
389
|
-
//#region src/adt/adt.codec.d.ts
|
|
359
|
+
declare function variant$1<Tag$1 extends string, S$1 extends StandardSchemaV1, Codecs extends AdtCodecConstraint<Tag$1, S$1>>(_tag: Tag$1, schema: S$1, codecs: Codecs): AdtVariant<Tag$1, S$1, Codecs>;
|
|
360
|
+
declare function variant$1<Tag$1 extends string, S$1 extends StandardSchemaV1>(_tag: Tag$1, schema: S$1): AdtVariant<Tag$1, S$1>;
|
|
361
|
+
declare namespace adt_d_exports {
|
|
362
|
+
export { AdtInfer, AdtVariantNames, AdtVariantOf, match, union, variant };
|
|
363
|
+
}
|
|
390
364
|
/**
|
|
391
|
-
*
|
|
365
|
+
* Re-exported ADT inferred union helper.
|
|
366
|
+
*
|
|
367
|
+
* @example
|
|
368
|
+
* ```ts
|
|
369
|
+
* import { Adt } from "@nicolastoulemont/std"
|
|
370
|
+
*
|
|
371
|
+
* type Example = typeof Adt
|
|
372
|
+
* ```
|
|
373
|
+
*
|
|
374
|
+
* @category Type-level
|
|
375
|
+
*/
|
|
376
|
+
type AdtInfer<T> = AdtInfer$1<T>;
|
|
377
|
+
/**
|
|
378
|
+
* Re-exported union variant name helper.
|
|
379
|
+
*
|
|
380
|
+
* @example
|
|
381
|
+
* ```ts
|
|
382
|
+
* import { Adt } from "@nicolastoulemont/std"
|
|
383
|
+
*
|
|
384
|
+
* type Example = typeof Adt
|
|
385
|
+
* ```
|
|
386
|
+
*
|
|
387
|
+
* @category Type-level
|
|
388
|
+
*/
|
|
389
|
+
type AdtVariantNames<T> = AdtVariantNames$1<T>;
|
|
390
|
+
/**
|
|
391
|
+
* Re-exported helper to extract a specific variant from an ADT.
|
|
392
|
+
*
|
|
393
|
+
* @example
|
|
394
|
+
* ```ts
|
|
395
|
+
* import { Adt } from "@nicolastoulemont/std"
|
|
396
|
+
*
|
|
397
|
+
* type Example = typeof Adt
|
|
398
|
+
* ```
|
|
399
|
+
*
|
|
400
|
+
* @category Type-level
|
|
401
|
+
*/
|
|
402
|
+
type AdtVariantOf<T, K$1 extends string> = AdtVariantOf$1<T, K$1>;
|
|
403
|
+
/**
|
|
404
|
+
* Build an ADT union from named variants.
|
|
405
|
+
*
|
|
406
|
+
* @example
|
|
407
|
+
* ```ts
|
|
408
|
+
* import { Adt } from "@nicolastoulemont/std"
|
|
409
|
+
*
|
|
410
|
+
* const Shape = Adt.union("Shape", {} as never)
|
|
411
|
+
* // => union helper with tagged constructors
|
|
412
|
+
* ```
|
|
413
|
+
*
|
|
414
|
+
* @category Constructors
|
|
415
|
+
*/
|
|
416
|
+
declare const union: typeof union$1;
|
|
417
|
+
/**
|
|
418
|
+
* Define one ADT variant with schema-backed validation.
|
|
419
|
+
*
|
|
420
|
+
* @example
|
|
421
|
+
* ```ts
|
|
422
|
+
* import { Adt } from "@nicolastoulemont/std"
|
|
423
|
+
*
|
|
424
|
+
* const Circle = Adt.variant("Circle", {} as never)
|
|
425
|
+
* // => callable variant constructor
|
|
426
|
+
* ```
|
|
427
|
+
*
|
|
428
|
+
* @category Constructors
|
|
429
|
+
*/
|
|
430
|
+
declare const variant: typeof variant$1;
|
|
431
|
+
/**
|
|
432
|
+
* Match over ADT variants by discriminator tag.
|
|
433
|
+
*
|
|
434
|
+
* @example
|
|
435
|
+
* ```ts
|
|
436
|
+
* import { Adt } from "@nicolastoulemont/std"
|
|
437
|
+
*
|
|
438
|
+
* const label = Adt.match({ _tag: "Circle", radius: 2 } as const, {
|
|
439
|
+
* Circle: (circle) => `r=${circle.radius}` ,
|
|
440
|
+
* })
|
|
441
|
+
* // => "r=2"
|
|
442
|
+
* ```
|
|
443
|
+
*
|
|
444
|
+
* @category Pattern Matching
|
|
392
445
|
*/
|
|
393
|
-
declare
|
|
446
|
+
declare const match: typeof match$1;
|
|
394
447
|
//#endregion
|
|
395
|
-
export {
|
|
396
|
-
//# sourceMappingURL=index-
|
|
448
|
+
export { adt_d_exports as t };
|
|
449
|
+
//# sourceMappingURL=index-DKS1g1oC.d.mts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index-DKS1g1oC.d.mts","names":[],"sources":["../src/adt/adt.match.ts","../src/adt/adt.types.ts","../src/adt/adt.union.ts","../src/adt/adt.variant.ts","../src/adt/adt.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;;KAOK,gBACG,CAAA,UAAA;EAA4B,SAAA,IAAA,EAAA,MAAA;CAAoB,EAAA,OAAA,CAAA,GAAA,QAAhD,CAAoB,CAAA,MAAA,CAAA,GAAA,CAAA,KAAA,EAAA,OAAA,CAAQ,CAAR,EAAA;EAAqC,SAAA,IAAA,EAAT,CAAS;AAAO,CAAA,CAAA,EAAA,GAAP,OAAO,EAgCxE;;;;;;;;;;;;;;AC3BA;;;;;AAsCA;;;;;;;;AAcA;AAeA;;AAAoE,iBDxCpD,OCwCoD,CAAA,UAAA;EAAZ,SAAA,IAAA,EAAA,MAAA;CAAW,EAAA,OAAA,EAAA,iBDrChD,gBCqCgD,CDrC/B,CCqC+B,EDrC5B,OCqC4B,CAAA,GDrCjB,gBCqCiB,CDrCA,CCqCA,EDrCG,OCqCH,CAAA,CAAA,CAAA,KAAA,EDpC1D,CCoC0D,EAAA,QAAA,EDpC7C,QCoC6C,CAAA,EDpClC,OCoCkC;;;;;;;ADxE/B,KCKxB,kBAAA,GDLwB;EAAoB,SAAA,MAAA,ECMrC,aDNqC,CAAA;IAA5B,SAAA,OAAA,EAAA,MAAA;IAAqC,SAAA,IAAA,CAAA,ECQ7C,aDR6C,CCQ/B,WDR+B,CAAA,GAAA,SAAA;EAAO,CAAA,CAAA;AAgCxE,CAAA;;;;;;ACWuF,KAA3E,kBAA2E,CAAA,cAAA,MAAA,EAAA,YAA1B,gBAA0B,CAAA,GAAN,MAAM,CAAA,MAAA,EAAA;EAc3E,EAAA,EAAA,CAAA,KAAA,EAVI,cAUS,CAVM,GAUN,CAIK,GAdM,aAcN,CAdoB,KAcF,CAAA,EAAA,GAAA,GAAA;EAWpC,IAAA,EAAA,CAAA,KAAA,EAAA,GAAa,EAAA,GAAA,GAAA;CAAW,CAAA;;;;AAMpC;AAAqC,KArBzB,aAAA,GAqByB;EAAgC,SAAA,IAAA,EAAA,eAAA,GAAA,eAAA,GAAA,iBAAA;EAAZ,SAAA,OAAA,EAAA,MAAA;EAAW,SAAA,KAAA,CAAA,EAAA,OAAA;EAW/D,SAAA,gBAAe,CAAA,EA5BU,kBA4BH,CAAA,QAAA,CAAA;AAAA,CAAA;AAe3B;;;;AACoD,KAjCxC,aAiCwC,CAAA,YAjChB,gBAiCgB,CAAA,GAjCI,WAiCJ,CAjCgB,GAiChB,CAAA,WAAA,CAAA,CAAA,OAAA,CAAA,CAAA,CAAA,OAAA,CAAA;;;;;AAIH,KA/BrC,cA+BqC,CAAA,YA/BZ,gBA+BY,CAAA,GA/BQ,WA+BR,CA/BoB,GA+BpB,CAAA,WAAA,CAAA,CAAA,OAAA,CAAA,CAAA,CAAA,QAAA,CAAA;;;;;KApB5C,eAoBsF,CAAA,CAAA,CAAA,GApBjE,CAoBiE,SAAA;EAAnC,EAAA,EAAA,CAAA,KAAA,EAAA,GAAA,EAAA,GAAA,KAAA,EAAA;CAAM,GAAA,CAAA,GAAA,KAAA;AAU9D;;;;KAvBK,gBAwB+D,CAAA,CAAA,CAAA,GAxBzC,CAwByC,SAAA;EAAd,IAAA,EAAA,CAAA,KAAA,EAAA,KAAA,EAAA,EAAA,GAAA,GAAA;CAAoB,GAAA,CAAA,GAAA,KAAA;;;;;;;AAK3D,KArBH,SAqBG,CAAA,YArBiB,gBAqBjB,EAAA,MAAA,CAAA,GAAA;EACkB,IAAA,EAAA,CAAA,KAAA,EArBjB,aAqBiB,CArBH,GAqBG,CAAA,EAAA,GArBI,MAqBJ,CAAA,MAAA,EArBmB,aAqBnB,CAAA;CAAf,GAAA,CAnBb,MAmBa,SAnBE,MAmBF,CAAA,MAAA,EAAA,GAAA,CAAA,GAAA,QAAkC,MAjBlC,MAiBkC,GAAA,CAAA,KAAA,EAjBjB,aAiBiB,CAjBH,GAiBG,CAAA,EAAA,GAjBI,MAiBJ,CAjBW,eAiBX,CAjB2B,MAiB3B,CAjBkC,CAiBlC,CAAA,CAAA,EAjBuC,aAiBvC,CAAA,EAAd,GAAA,MAAA,CAAA;;;;AAatC;;;AAGoC,KAvBxB,WAuBwB,CAAA,cAAA,MAAA,EAAA,YAvBkB,gBAuBlB,EAAA,MAAA,CAAA,GAAA;EAAK,IAAA,EAAA,CAAA,KAAA,EAAA,MAAA,EAAA,GAtBd,MAsBc,CAtBP,cAsBO,CAtBQ,GAsBR,CAAA,GAtBa,aAsBb,CAtB2B,KAsB3B,CAAA,EAtBiC,aAsBjC,CAAA;CAAxB,GAAA,CApBZ,MAoBY,SApBG,MAoBH,CAAA,MAAA,EAAA,GAAA,CAAA,GAAA,QAKA,MAvBC,MAuBD,GAAA,CAAA,KAAA,EAtBF,gBAsBE,CAtBe,MAsBf,CAtBsB,CAsBtB,CAAA,CAAA,EAAA,GArBN,MAqBM,CArBC,cAqBD,CArBgB,GAqBhB,CAAA,GArBqB,aAqBrB,CArBmC,KAqBnC,CAAA,EArByC,aAqBzC,CAAA,EAEE,GAAA,MAAA,CAAA;;;;;;AAQmD,KAlB1D,UAkB0D,CAAA,cAAA,MAAA,GAAA,MAAA,EAAA,YAhB1D,gBAgB0D,GAhBvC,gBAgBuC,EAAA,eAfrD,kBAeqD,CAflC,KAekC,EAf7B,GAe6B,CAAA,GAAA,SAAA,GAAA,SAAA,CAAA,GAAA;EAAd;EAAoB,SAAA,QAAA,EAAA,IAAA;EAA/C;EAKiB,SAAA,IAAA,EAf7B,KAe6B;EAAf;EAAkC,SAAA,MAAA,EAb9C,GAa8C;EAAd;EAK1B,SAAA,MAAA,CAAA,EAhBL,MAgBK;EAAG;;;;;EAMX,CAAA,KAAA,EAhBP,aAgBO,CAhBO,GAgBP,CAAA,CAAA,EAhBY,MAgBZ,CAhBmB,cAgBnB,CAhBkC,GAgBlC,CAAA,GAhBuC,aAgBvC,CAhBqD,KAgBrD,CAAA,EAhB2D,kBAgB3D,CAAA;EAKU;;;;EAA2C,EAAA,CAAA,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,IAhBvC,cAgBuC,CAhBxB,GAgBwB,CAAA,GAhBnB,aAgBmB,CAhBL,KAgBK,CAAA;EAAf;;;;EAMzC,SAAA,EAAA,EAjBC,SAiBD,CAjBW,GAiBX,EAjBc,MAiBd,CAAA;EAAkC;;;AAahD;AAA2E;EAU3C,SAAA,IAAA,EAlCf,WAkCe,CAlCH,KAkCG,EAlCE,GAkCF,EAlCK,MAkCL,CAAA;EAE9B;;;;EAA8E,MAAA,CAAA,CAAA,EA/BpE,cA+BoE,CA/BrD,GA+BqD,CAAA,GA/BhD,aA+BgD,CA/BlC,KA+BkC,CAAA,EAAA,CAAA,EA/BzB,cA+ByB,CA/BV,GA+BU,CAAA,GA/BL,aA+BK,CA/BS,KA+BT,CAAA,CAAA,EAAA,OAAA;EAAC;AAAA;;;;EAMf,IAAA,CAAA,KAAA,EA/BpD,cA+BoD,CA/BrC,GA+BqC,CAAA,GA/BhC,aA+BgC,CA/BlB,KA+BkB,CAAA,CAAA,EAAA,MAAA;AAOlE,CAAA;;;;;;AAWY,KApCA,aAAA,GAAgB,gBAoChB,GApCmC,UAoCnC,CAAA,MAAA,EAAA,GAAA,EAAA,GAAA,CAAA;;;;KA1BP,gBA8BS,CAAA,UA9BkB,aA8BlB,CAAA,GA5BZ,CA4BY,SA5BF,UA4BE,CAAA,MAAA,EAAA,KAAA,EAAA,EAAA,GAAA,CAAA,GAAA,CAAA,GA5BqC,CA4BrC,SA5B+C,gBA4B/C,GA5BkE,CA4BlE,GAAA,KAAA;;;;KAtBT,aAwBuD,CAAA,UAxB/B,aAwB+B,CAAA,GAxBd,CAwBc,SAxBJ,UAwBI,CAAA,MAAA,EAAA,GAAA,EAAA,KAAA,OAAA,CAAA,GAAA,MAAA,GAAA,SAAA;;;;;;AAAhC,KAjBhB,QAiBgB,CAAA,YAjBG,MAiBH,CAAA,MAAA,EAjBkB,aAiBlB,CAAA,CAAA,GAAA;EAUvB;EAAgD,SAAA,KAAA,EAAA,MAAA;EAAiD;;;EACrF,EAAA,CAAA,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,IAtBc,aAsBd,CAtB4B,GAsB5B,CAAA;EAAG;AAAA;;;EAON,MAAA,CAAA,CAAA,EAxBF,aAwBE,CAxBY,GAwBZ,CAAA,EAAA,CAAA,EAxBmB,aAwBnB,CAxBiC,GAwBjC,CAAA,CAAA,EAAA,OAAA;EAAsB;;;EAAlB,IAAA,CAAA,KAAA,EApBJ,aAoBI,CApBU,GAoBV,CAAA,CAAA,EAAA,MAAA;CACV,GAAA,QAAC,MAnBK,GAmBL,GAnBS,UAmBT,CAnBoB,CAmBpB,GAAA,MAAA,EAnBgC,gBAmBhC,CAnBiD,GAmBjD,CAnBmD,CAmBnD,CAAA,CAAA,EAnBwD,aAmBxD,CAnBsE,GAmBtE,CAnBwE,CAmBxE,CAAA,CAAA,CAAA,EAoBT;;;;KA7BK,iBA+BU,CAAA,cAAA,MAAA,EAAA,YA/BsC,aA+BtC,CAAA,GA/BuD,cA+BvD,CA/BsE,gBA+BtE,CA/BuF,GA+BvF,CAAA,CAAA,GAAA;EAAT,SAAA,IAAA,EA9BW,KA8BX;CACA;;;;KAzBD,aA0B8C,CAAA,YA1BtB,MA0BsB,CAAA,MAAA,EA1BP,aA0BO,CAAA,CAAA,GAAA,QAAd,MAzBvB,GAyBuB,GAzBnB,iBAyBmB,CAzBD,CAyBC,GAAA,MAAA,EAzBW,GAyBX,CAzBa,CAyBb,CAAA,CAAA,EAA7B,CAAA,MAxBA,GAwBA,CAAA;;AAgBR;;;;;AAYA;;;;;;;;;;;;AAGgB,KAnCJ,UAmCI,CAAA,CAAA,CAAA,GAlCd,CAkCc,SAlCJ,QAkCI,CAAA,KAAA,EAAA,CAAA,GAjCV,QAiCU,CAjCD,aAiCC,CAjCa,CAiCb,CAAA,CAAA,GAhCV,CAgCU,SAhCA,UAgCA,CAAA,KAAA,IAAA,EAAA,KAAA,EAAA,CAAA,GA/BR,QA+BQ,CA/BC,cA+BD,CA/BgB,CA+BhB,CAAA,GA/BqB,aA+BrB,CA/BmC,GA+BnC,CAAA,CAAA,GAAA,KAAA;;;;AC7QhB;;;;;;AAAkG,KD8PtF,iBC9PsF,CAAA,CAAA,CAAA,GD8PjE,CC9PiE,SD8PvD,QC9PuD,CAAA,KAAA,EAAA,CAAA,GAAA,MD8P7B,CC9P6B,GAAA,MAAA,GAAA,KAAA;;;;ACQlG;;;;;;;AAGU,KF+PE,cE/PF,CAAA,CAAA,EAAA,YAAA,MAAA,CAAA,GFgQR,CEhQQ,SFgQE,QEhQF,CAAA,KAAA,EAAA,CAAA,GFiQJ,GEjQI,SAAA,MFiQY,CEjQZ,GFkQF,QElQE,CFkQO,cElQP,CFkQsB,gBElQtB,CFkQuC,CElQvC,CFkQyC,GElQzC,CAAA,CAAA,CAAA,GFkQgD,aElQhD,CFkQ8D,GElQ9D,CAAA,CAAA,GAAA,KAAA,GAAA,KAAA;;;;;;;;;;;;;;;AHvBV;;;;;;;;;;;;;;AC3BA;;;;;AAsCA;;;;;;;;AAcA;AAeA;;;;;AAMA;AAAqC,iBClCrB,ODkCqB,CAAA,YClCL,MDkCK,CAAA,MAAA,EClCU,aDkCV,CAAA,CAAA,CAAA,IAAA,EAAA,MAAA,EAAA,OAAA,EClCiD,GDkCjD,CAAA,EClCqD,QDkCrD,CClC8D,GDkC9D,CAAA;;;;;;;;;;;;;;AD9CrC;;;;;;;;;;;;;;AC3BA;;;;;AAsCA;;;;;;;;AAcA;AAeA;;;;;AAMA;;;;;AAAuG;AAkBlG,iBE5CW,SF4CK,CAAA,cAAO,MAAA,EAAA,YE5C0B,gBF4C1B,EAAA,eE5C2D,kBF4C3D,CE5C8E,KF4C9E,EE5CmF,GF4CnF,CAAA,CAAA,CAAA,IAAA,EE3CpB,KF2CoB,EAAA,MAAA,EE1ClB,GF0CkB,EAAA,MAAA,EEzClB,MFyCkB,CAAA,EExCzB,UFwCyB,CExCd,KFwCc,EExCT,GFwCS,EExCN,MFwCM,CAAA;AAQhB,iBE7CI,SF6CK,CAAA,cAAA,MAAA,EAAA,YE7CiC,gBF6CjC,CAAA,CAAA,IAAA,EE7CyD,KF6CzD,EAAA,MAAA,EE7CsE,GF6CtE,CAAA,EE7C0E,UF6C1E,CE7CqF,KF6CrF,EE7C0F,GF6C1F,CAAA;AAAA;;;AA7DrB;;;;;;;;AAcA;AAeA;;;AAAwD,KG/B5C,QH+B4C,CAAA,CAAA,CAAA,GG/B9B,UH+B8B,CG/BjB,CH+BiB,CAAA;;AAMxD;;;;;AAAuG;AAW5E;AAe3B;;;;AACoD,KGlDxC,eHkDwC,CAAA,CAAA,CAAA,GGlDnB,iBHkDmB,CGlDC,CHkDD,CAAA;;;;;;;;;;;;;AAcxC,KGlDA,YHkDW,CAAA,CAAA,EAAA,YAAA,MAAA,CAAA,GGlDyB,cHkDzB,CGlD0C,CHkD1C,EGlD6C,GHkD7C,CAAA;;;;;;;;;;;;;;AAOU,cG1CpB,KH0CoB,EAAA,OG1Cf,OH0Ce;;;;;;;AAajC;;;;;;;AAUmB,cGlDN,OHkDM,EAAA,OGlDC,SHkDD;;;;;;;;;;;;;;;;AAkBJ,cGnDF,KHmDE,EAAA,OGnDG,OHmDH"}
|