effect 2.0.0-next.51 → 2.0.0-next.52
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.
|
@@ -189,7 +189,7 @@ export declare const tagged: <A extends Case & {
|
|
|
189
189
|
* @category constructors
|
|
190
190
|
*/
|
|
191
191
|
export declare const Class: new <A extends Record<string, any>>(args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void : {
|
|
192
|
-
readonly [P in
|
|
192
|
+
readonly [P in keyof A as P extends keyof Equal.Equal ? never : P]: A[P];
|
|
193
193
|
}) => Data<Readonly<A>>;
|
|
194
194
|
/**
|
|
195
195
|
* Provides a Tagged constructor for a Case Class.
|
|
@@ -214,14 +214,16 @@ export declare const Class: new <A extends Record<string, any>>(args: Types.Equa
|
|
|
214
214
|
* @since 2.0.0
|
|
215
215
|
* @category constructors
|
|
216
216
|
*/
|
|
217
|
-
export declare const TaggedClass: <Tag extends string>(tag: Tag) => new <A extends Record<string, any>>(args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void : { readonly [P in
|
|
217
|
+
export declare const TaggedClass: <Tag extends string>(tag: Tag) => new <A extends Record<string, any>>(args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" | keyof Equal.Equal ? never : P]: A[P]; }) => Data<Readonly<A> & {
|
|
218
218
|
readonly _tag: Tag;
|
|
219
219
|
}>;
|
|
220
220
|
/**
|
|
221
221
|
* @since 2.0.0
|
|
222
222
|
* @category constructors
|
|
223
223
|
*/
|
|
224
|
-
export declare const Structural: new <A>(args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void :
|
|
224
|
+
export declare const Structural: new <A>(args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void : {
|
|
225
|
+
readonly [P in keyof A as P extends keyof Equal.Equal ? never : P]: A[P];
|
|
226
|
+
}) => Case;
|
|
225
227
|
/**
|
|
226
228
|
* Create a tagged enum data type, which is a union of `Data` structs.
|
|
227
229
|
*
|
|
@@ -383,13 +385,13 @@ export interface YieldableError extends Case, Pipeable, Readonly<Error> {
|
|
|
383
385
|
* @category constructors
|
|
384
386
|
*/
|
|
385
387
|
export declare const Error: new <A extends Record<string, any>>(args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void : {
|
|
386
|
-
readonly [P in
|
|
388
|
+
readonly [P in keyof A as P extends keyof Equal.Equal ? never : P]: A[P];
|
|
387
389
|
}) => YieldableError & Readonly<A>;
|
|
388
390
|
/**
|
|
389
391
|
* @since 2.0.0
|
|
390
392
|
* @category constructors
|
|
391
393
|
*/
|
|
392
|
-
export declare const TaggedError: <Tag extends string>(tag: Tag) => new <A extends Record<string, any>>(args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void : { readonly [P in
|
|
394
|
+
export declare const TaggedError: <Tag extends string>(tag: Tag) => new <A extends Record<string, any>>(args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" | keyof Equal.Equal ? never : P]: A[P]; }) => YieldableError & {
|
|
393
395
|
readonly _tag: Tag;
|
|
394
396
|
} & Readonly<A>;
|
|
395
397
|
//# sourceMappingURL=Data.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Data.d.ts","sourceRoot":"../../../src","sources":["Data.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,OAAO,qBAAiB;AACzC,OAAO,KAAK,MAAM,oBAAgB;AAClC,OAAO,KAAK,UAAU,wBAAoB;AAC1C,OAAO,KAAK,KAAK,KAAK,mBAAe;AAErC,OAAO,EAAE,KAAK,QAAQ,EAAE,sBAAkB;AAC1C,OAAO,KAAK,KAAK,IAAI,kBAAc;AACnC,OAAO,KAAK,KAAK,KAAK,mBAAe;AAErC;;;GAGG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IACd;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GACjC,KAAK,CAAC,KAAK,CAAA;AAEf;;;;;;;GAOG;AACH,MAAM,WAAW,IAAK,SAAQ,KAAK,CAAC,KAAK;CAAG;AAE5C;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B;;;OAGG;IACH,UAAiB,WAAW,CAAC,CAAC,SAAS,IAAI,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,KAAK;QACtE,CACE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GACxE;YAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,MAAM,KAAK,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GACrF,CAAC,CAAA;KACL;CACF;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAmB,CAAA;AAEvH;;;GAGG;AACH,eAAO,MAAM,YAAY,oFACwB,CAAA;AAEjD;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,KAAK,8DAAoF,CAAA;AAEtG;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,KAAK,2DACyB,CAAA;AAE3C;;;GAGG;AACH,eAAO,MAAM,WAAW,2DACwB,CAAA;AAEhD,QAAA,MAAM,KAAK,kDACuE,CAAA;AAElF,OAAO;AACL;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,MAAM;mBAAsC,MAAM;iDAO9D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,KAAK,EAAE,KAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACnD,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAClE;IAAE,QAAQ,EAAE,CAAC,IAAI,
|
|
1
|
+
{"version":3,"file":"Data.d.ts","sourceRoot":"../../../src","sources":["Data.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,OAAO,qBAAiB;AACzC,OAAO,KAAK,MAAM,oBAAgB;AAClC,OAAO,KAAK,UAAU,wBAAoB;AAC1C,OAAO,KAAK,KAAK,KAAK,mBAAe;AAErC,OAAO,EAAE,KAAK,QAAQ,EAAE,sBAAkB;AAC1C,OAAO,KAAK,KAAK,IAAI,kBAAc;AACnC,OAAO,KAAK,KAAK,KAAK,mBAAe;AAErC;;;GAGG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IACd;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GACjC,KAAK,CAAC,KAAK,CAAA;AAEf;;;;;;;GAOG;AACH,MAAM,WAAW,IAAK,SAAQ,KAAK,CAAC,KAAK;CAAG;AAE5C;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B;;;OAGG;IACH,UAAiB,WAAW,CAAC,CAAC,SAAS,IAAI,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,KAAK;QACtE,CACE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GACxE;YAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,GAAG,MAAM,KAAK,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GACrF,CAAC,CAAA;KACL;CACF;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAmB,CAAA;AAEvH;;;GAGG;AACH,eAAO,MAAM,YAAY,oFACwB,CAAA;AAEjD;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,KAAK,8DAAoF,CAAA;AAEtG;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,KAAK,2DACyB,CAAA;AAE3C;;;GAGG;AACH,eAAO,MAAM,WAAW,2DACwB,CAAA;AAEhD,QAAA,MAAM,KAAK,kDACuE,CAAA;AAElF,OAAO;AACL;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,MAAM;mBAAsC,MAAM;iDAO9D,CAAA;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,KAAK,EAAE,KAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACnD,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAClE;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,KAC7E,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAA8B,CAAA;AAEnD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,WAAW;;EAUvB,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,KAAI,CAAC,EAC5B,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAClE;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,KAC7E,IAAiC,CAAA;AAEtC;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,IACjE,MAAM,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,SAAS,MAAM,CAAC,GAAG,IAAI,CACpD,KAAK,CAAC,QAAQ,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CAAE,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,CACrF,GACD,KAAK,GACL,KAAK,CAAA;AAET,KAAK,iBAAiB,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GACpG,KAAK,GACP,KAAK,GACL,KAAK,CAAA;AAET,KAAK,gBAAgB,CAAC,CAAC,IAAI,IAAI,SAAS,iBAAiB,CAAC,CAAC,CAAC,GACxD,oHAAoH,GACpH,OAAO,CAAA;AAEX;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,UAAU,CAAC;IAClC;;;OAGG;IACH,UAAiB,YAAY,CAAC,KAAK,SAAS,MAAM;QAChD,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC,CAAA;QACpD,QAAQ,CAAC,gBAAgB,EAAE,KAAK,CAAA;QAEhC,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;QACnB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;QACnB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;QACnB,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAA;KACpB;IAED;;;OAGG;IACH,KAAY,IAAI,CACd,CAAC,SAAS,YAAY,CAAC,MAAM,CAAC,EAC9B,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,EACX,CAAC,GAAG,OAAO,IACT,CAAC,CAAC,GAAG;QACP,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;QACb,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;QACb,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;QACb,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;KACd,CAAC,CAAC,YAAY,CAAC,CAAA;IAEhB;;OAEG;IACH,KAAY,IAAI,CACd,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,KAAK,CAAC,KAAK,EACjD,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,EACnB,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,IAClC;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KAAE,SAAS,MAAM,CAAC,GAChG,EAAE,SAAS,CAAC,GAAG,IAAI,GAAG,CAAC,GACrB,KAAK,CAAA;IAET;;OAEG;IACH,KAAY,KAAK,CACf,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,KAAK,CAAC,KAAK,EACjD,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,IACjB,OAAO,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;CACrC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAC3C,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EACrB,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CACvD,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KAClD,CAAA;IAED,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAC9C,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACxB,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CAC1D,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KACrD,CAAA;IAED,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACjD,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC3B,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CAC7D,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KACxD,CAAA;IAED,CAAC,CAAC,SAAS,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK;QACxC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACpD,IAAI,EAAE,UAAU,CAAC,IAAI,CACnB,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC9B,GAAG,EACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,CAChE,KACE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;KAC3D,CAAA;IAED,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,KAAK,CAAC,KAAK,KAAK;QACrD,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;SAAE,CAAC,EAAE,MAAM,CAAC;KAC1F,CAAA;CAMQ,CAAA;AAEX;;;GAGG;AACH,MAAM,WAAW,cAAe,SAAQ,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC;IACrE,QAAQ,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IACpF,QAAQ,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IACpF,QAAQ,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC9F,QAAQ,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,cAAc,CACjE,KAAK,EACL,OAAO,EACP,OAAO,EACP,OAAO,EACP,IAAI,EACJ,KAAK,EACL,KAAK,CACN,CAAA;CACF;AAYD;;;;;GAKG;AACH,eAAO,MAAM,KAAK,EAAE,KAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACnD,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAClE;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,KAC7E,cAAc,GAAG,QAAQ,CAAC,CAAC,CAS5B,CAAA;AAEJ;;;GAGG;AACH,eAAO,MAAM,WAAW;;eASvB,CAAA"}
|
package/package.json
CHANGED
package/src/Data.ts
CHANGED
|
@@ -211,7 +211,7 @@ export const tagged = <A extends Case & { readonly _tag: string }>(
|
|
|
211
211
|
*/
|
|
212
212
|
export const Class: new<A extends Record<string, any>>(
|
|
213
213
|
args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void
|
|
214
|
-
: { readonly [P in
|
|
214
|
+
: { readonly [P in keyof A as P extends keyof Equal.Equal ? never : P]: A[P] }
|
|
215
215
|
) => Data<Readonly<A>> = internal.Structural as any
|
|
216
216
|
|
|
217
217
|
/**
|
|
@@ -241,7 +241,7 @@ export const TaggedClass = <Tag extends string>(
|
|
|
241
241
|
tag: Tag
|
|
242
242
|
): new<A extends Record<string, any>>(
|
|
243
243
|
args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void
|
|
244
|
-
: { readonly [P in
|
|
244
|
+
: { readonly [P in keyof A as P extends "_tag" | keyof Equal.Equal ? never : P]: A[P] }
|
|
245
245
|
) => Data<Readonly<A> & { readonly _tag: Tag }> => {
|
|
246
246
|
class Base extends Class<any> {
|
|
247
247
|
readonly _tag = tag
|
|
@@ -254,8 +254,9 @@ export const TaggedClass = <Tag extends string>(
|
|
|
254
254
|
* @category constructors
|
|
255
255
|
*/
|
|
256
256
|
export const Structural: new<A>(
|
|
257
|
-
args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void
|
|
258
|
-
|
|
257
|
+
args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void
|
|
258
|
+
: { readonly [P in keyof A as P extends keyof Equal.Equal ? never : P]: A[P] }
|
|
259
|
+
) => Case = internal.Structural as any
|
|
259
260
|
|
|
260
261
|
/**
|
|
261
262
|
* Create a tagged enum data type, which is a union of `Data` structs.
|
|
@@ -478,7 +479,7 @@ const YieldableErrorProto = {
|
|
|
478
479
|
*/
|
|
479
480
|
export const Error: new<A extends Record<string, any>>(
|
|
480
481
|
args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void
|
|
481
|
-
: { readonly [P in
|
|
482
|
+
: { readonly [P in keyof A as P extends keyof Equal.Equal ? never : P]: A[P] }
|
|
482
483
|
) => YieldableError & Readonly<A> = (function() {
|
|
483
484
|
class Base extends globalThis.Error {
|
|
484
485
|
constructor(args: any) {
|
|
@@ -496,7 +497,7 @@ export const Error: new<A extends Record<string, any>>(
|
|
|
496
497
|
*/
|
|
497
498
|
export const TaggedError = <Tag extends string>(tag: Tag): new<A extends Record<string, any>>(
|
|
498
499
|
args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void
|
|
499
|
-
: { readonly [P in
|
|
500
|
+
: { readonly [P in keyof A as P extends "_tag" | keyof Equal.Equal ? never : P]: A[P] }
|
|
500
501
|
) => YieldableError & { readonly _tag: Tag } & Readonly<A> => {
|
|
501
502
|
class Base extends Error<{}> {
|
|
502
503
|
readonly _tag = tag
|
package/src/internal/Data.ts
CHANGED
|
@@ -39,7 +39,8 @@ export const StructProto: Equal.Equal = {
|
|
|
39
39
|
|
|
40
40
|
/** @internal */
|
|
41
41
|
export const Structural: new<A>(
|
|
42
|
-
args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void
|
|
42
|
+
args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void
|
|
43
|
+
: { readonly [P in keyof A as P extends keyof Equal.Equal ? never : P]: A[P] }
|
|
43
44
|
) => Data.Case = (function() {
|
|
44
45
|
function Structural(this: any, args: any) {
|
|
45
46
|
if (args) {
|