effect-app 4.0.0-beta.201 → 4.0.0-beta.202
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/CHANGELOG.md +6 -0
- package/dist/Schema/brand.d.ts +3 -6
- package/dist/Schema/brand.d.ts.map +1 -1
- package/dist/Schema/brand.js +1 -1
- package/dist/Schema/moreStrings.d.ts +18 -106
- package/dist/Schema/moreStrings.d.ts.map +1 -1
- package/dist/Schema/numbers.d.ts +15 -127
- package/dist/Schema/numbers.d.ts.map +1 -1
- package/dist/Schema/strings.d.ts +5 -37
- package/dist/Schema/strings.d.ts.map +1 -1
- package/package.json +1 -1
- package/src/Schema/brand.ts +19 -7
package/CHANGELOG.md
CHANGED
package/dist/Schema/brand.d.ts
CHANGED
|
@@ -27,14 +27,11 @@ export interface Constructor<in out A extends B.Brand<any>> {
|
|
|
27
27
|
type BrandAnnotations<C extends B.Brand<any>> = S.Annotations.Filter & (C extends string ? {
|
|
28
28
|
readonly toArbitrary?: S.Annotations.ToArbitrary.Declaration<C, readonly []>;
|
|
29
29
|
} : {});
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
readonly Iso: C;
|
|
33
|
-
readonly "~type.make": C;
|
|
34
|
-
};
|
|
30
|
+
export interface BrandedSchema<S extends S.Top, C extends B.Brand<any>> extends S.Bottom<C, S["Encoded"], S["DecodingServices"], S["EncodingServices"], S["ast"], BrandedSchema<S, C>, S["~type.make.in"], S["Iso"], S["~type.parameters"], S["~type.make"], S["~type.mutability"], S["~type.optionality"], S["~type.constructor.default"], S["~encoded.mutability"], S["~encoded.optionality"]> {
|
|
31
|
+
}
|
|
35
32
|
export declare const fromBrand: <C extends B.Brand<any>>(constructor: Constructor<C>, options?: BrandAnnotations<C>) => <Self extends S.Top>(self: Self) => BrandedSchema<Self, C>;
|
|
36
33
|
export type Brands<P> = P extends B.Brand<any> ? B.Brand.Brands<P> : never;
|
|
37
34
|
export type Unbranded<P> = P extends B.Brand<any> ? B.Brand.Unbranded<P> : P;
|
|
38
35
|
export declare const nominal: <A extends B.Brand<any>>() => Constructor<A>;
|
|
39
36
|
export {};
|
|
40
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
37
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnJhbmQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9TY2hlbWEvYnJhbmQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sUUFBUSxDQUFBO0FBQ3BDLE9BQU8sS0FBSyxDQUFDLE1BQU0sY0FBYyxDQUFBO0FBQ2pDLE9BQU8sS0FBSyxLQUFLLE1BQU0sTUFBTSxlQUFlLENBQUE7QUFDNUMsT0FBTyxLQUFLLENBQUMsTUFBTSxlQUFlLENBQUE7QUFFbEMsTUFBTSxXQUFXLFdBQVcsQ0FBQyxFQUFFLENBQUMsR0FBRyxDQUFDLENBQUMsU0FBUyxDQUFDLENBQUMsS0FBSyxDQUFDLEdBQUcsQ0FBQztJQUN4RDs7O09BR0c7SUFDSCxDQUFDLElBQUksRUFBRSxTQUFTLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFBO0lBQ3ZCOzs7T0FHRztJQUNILE1BQU0sQ0FBQyxJQUFJLEVBQUUsU0FBUyxDQUFDLENBQUMsQ0FBQyxHQUFHLE1BQU0sQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUE7SUFDNUM7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLElBQUksRUFBRSxTQUFTLENBQUMsQ0FBQyxDQUFDLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLFVBQVUsQ0FBQyxDQUFBO0lBQzFEOzs7T0FHRztJQUNILEVBQUUsQ0FBQyxDQUFDLEVBQUUsU0FBUyxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsSUFBSSxTQUFTLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFBO0NBQzNDO0FBRUQsS0FBSyxnQkFBZ0IsQ0FBQyxDQUFDLFNBQVMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQUMsSUFDeEMsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxNQUFNLEdBQ3BCLENBQ0EsQ0FBQyxTQUFTLE1BQU0sR0FBRztJQUFFLFFBQVEsQ0FBQyxXQUFXLENBQUMsRUFBRSxDQUFDLENBQUMsV0FBVyxDQUFDLFdBQVcsQ0FBQyxXQUFXLENBQUMsQ0FBQyxFQUFFLFNBQVMsRUFBRSxDQUFDLENBQUE7Q0FBRSxHQUMvRixFQUFFLENBQ1AsQ0FBQTtBQUVILE1BQU0sV0FBVyxhQUFhLENBQUMsQ0FBQyxTQUFTLENBQUMsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxTQUFTLENBQUMsQ0FBQyxLQUFLLENBQUMsR0FBRyxDQUFDLENBQUUsU0FDdEUsQ0FBQyxDQUFDLE1BQU0sQ0FDTixDQUFDLEVBQ0QsQ0FBQyxDQUFDLFNBQVMsQ0FBQyxFQUNaLENBQUMsQ0FBQyxrQkFBa0IsQ0FBQyxFQUNyQixDQUFDLENBQUMsa0JBQWtCLENBQUMsRUFDckIsQ0FBQyxDQUFDLEtBQUssQ0FBQyxFQUNSLGFBQWEsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQ25CLENBQUMsQ0FBQyxlQUFlLENBQUMsRUFDbEIsQ0FBQyxDQUFDLEtBQUssQ0FBQyxFQUNSLENBQUMsQ0FBQyxrQkFBa0IsQ0FBQyxFQUNyQixDQUFDLENBQUMsWUFBWSxDQUFDLEVBQ2YsQ0FBQyxDQUFDLGtCQUFrQixDQUFDLEVBQ3JCLENBQUMsQ0FBQyxtQkFBbUIsQ0FBQyxFQUN0QixDQUFDLENBQUMsMkJBQTJCLENBQUMsRUFDOUIsQ0FBQyxDQUFDLHFCQUFxQixDQUFDLEVBQ3hCLENBQUMsQ0FBQyxzQkFBc0IsQ0FBQyxDQUMxQjtDQUNEO0FBRUYsZUFBTyxNQUFNLFNBQVMsR0FBSSxDQUFDLFNBQVMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQUMsZUFDakMsV0FBVyxDQUFDLENBQUMsQ0FBQyxZQUNqQixnQkFBZ0IsQ0FBQyxDQUFDLENBQUMsTUFFOUIsSUFBSSxTQUFTLENBQUMsQ0FBQyxHQUFHLFFBQVEsSUFBSSxLQUFHLGFBQWEsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQUd0RCxDQUFBO0FBRUQsTUFBTSxNQUFNLE1BQU0sQ0FBQyxDQUFDLElBQUksQ0FBQyxTQUFTLENBQUMsQ0FBQyxLQUFLLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFDLEtBQUssQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLEdBQzlELEtBQUssQ0FBQTtBQUVULE1BQU0sTUFBTSxTQUFTLENBQUMsQ0FBQyxJQUFJLENBQUMsU0FBUyxDQUFDLENBQUMsS0FBSyxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQyxLQUFLLENBQUMsU0FBUyxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQTtBQUU1RSxlQUFPLE1BQU0sT0FBTyxFQUFFLENBQUMsQ0FBQyxTQUFTLENBQUMsQ0FBQyxLQUFLLENBQUMsR0FBRyxDQUFDLE9BQU8sV0FBVyxDQUFDLENBQUMsQ0FJdkMsQ0FBQSJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"brand.d.ts","sourceRoot":"","sources":["../../src/Schema/brand.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAElC,MAAM,WAAW,WAAW,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;IACxD;;;OAGG;IACH,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACvB;;;OAGG;IACH,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC5C;;;OAGG;IACH,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAA;IAC1D;;;OAGG;IACH,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;CAC3C;AAED,KAAK,gBAAgB,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IACxC,CAAC,CAAC,WAAW,CAAC,MAAM,GACpB,CACA,CAAC,SAAS,MAAM,GAAG;IAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAA;CAAE,GAC/F,EAAE,CACP,CAAA;AAEH,
|
|
1
|
+
{"version":3,"file":"brand.d.ts","sourceRoot":"","sources":["../../src/Schema/brand.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAElC,MAAM,WAAW,WAAW,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;IACxD;;;OAGG;IACH,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACvB;;;OAGG;IACH,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC5C;;;OAGG;IACH,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAA;IAC1D;;;OAGG;IACH,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;CAC3C;AAED,KAAK,gBAAgB,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IACxC,CAAC,CAAC,WAAW,CAAC,MAAM,GACpB,CACA,CAAC,SAAS,MAAM,GAAG;IAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAA;CAAE,GAC/F,EAAE,CACP,CAAA;AAEH,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAE,SACtE,CAAC,CAAC,MAAM,CACN,CAAC,EACD,CAAC,CAAC,SAAS,CAAC,EACZ,CAAC,CAAC,kBAAkB,CAAC,EACrB,CAAC,CAAC,kBAAkB,CAAC,EACrB,CAAC,CAAC,KAAK,CAAC,EACR,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EACnB,CAAC,CAAC,eAAe,CAAC,EAClB,CAAC,CAAC,KAAK,CAAC,EACR,CAAC,CAAC,kBAAkB,CAAC,EACrB,CAAC,CAAC,YAAY,CAAC,EACf,CAAC,CAAC,kBAAkB,CAAC,EACrB,CAAC,CAAC,mBAAmB,CAAC,EACtB,CAAC,CAAC,2BAA2B,CAAC,EAC9B,CAAC,CAAC,qBAAqB,CAAC,EACxB,CAAC,CAAC,sBAAsB,CAAC,CAC1B;CACD;AAEF,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,eACjC,WAAW,CAAC,CAAC,CAAC,YACjB,gBAAgB,CAAC,CAAC,CAAC,MAE9B,IAAI,SAAS,CAAC,CAAC,GAAG,QAAQ,IAAI,KAAG,aAAa,CAAC,IAAI,EAAE,CAAC,CAGtD,CAAA;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAC9D,KAAK,CAAA;AAET,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AAE5E,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,CAIvC,CAAA"}
|
package/dist/Schema/brand.js
CHANGED
|
@@ -5,4 +5,4 @@ export const fromBrand = (constructor, options) => (self) => {
|
|
|
5
5
|
return options ? branded.pipe(S.annotate(options)) : branded;
|
|
6
6
|
};
|
|
7
7
|
export const nominal = () => B.nominal();
|
|
8
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
8
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnJhbmQuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvU2NoZW1hL2JyYW5kLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUdBLE9BQU8sS0FBSyxDQUFDLE1BQU0sY0FBYyxDQUFBO0FBRWpDLE9BQU8sS0FBSyxDQUFDLE1BQU0sZUFBZSxDQUFBO0FBb0RsQyxNQUFNLENBQUMsTUFBTSxTQUFTLEdBQUcsQ0FDdkIsV0FBMkIsRUFDM0IsT0FBNkIsRUFDN0IsRUFBRSxDQUNKLENBQXFCLElBQVUsRUFBMEIsRUFBRTtJQUN6RCxNQUFNLE9BQU8sR0FBRyxDQUFDLENBQUMsU0FBUyxDQUFDLE9BQU8sRUFBRSxVQUFVLElBQUksT0FBTyxFQUFFLFdBQWtCLENBQUMsQ0FBQyxJQUFXLENBQUMsQ0FBQTtJQUM1RixPQUFPLE9BQU8sQ0FBQyxDQUFDLENBQUUsT0FBZSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsUUFBUSxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLE9BQWMsQ0FBQTtBQUM5RSxDQUFDLENBQUE7QUFPRCxNQUFNLENBQUMsTUFBTSxPQUFPLEdBQWlELEdBSW5FLEVBQUUsQ0FBQyxDQUFDLENBQUMsT0FBTyxFQUFZLENBQUEifQ==
|
|
@@ -15,15 +15,7 @@ export type NonEmptyString50 = string & NonEmptyString50Brand;
|
|
|
15
15
|
/**
|
|
16
16
|
* A string that is at least 1 character long and a maximum of 50.
|
|
17
17
|
*/
|
|
18
|
-
export declare const NonEmptyString50: WithDefaults<
|
|
19
|
-
readonly Type: NonEmptyString50;
|
|
20
|
-
readonly Iso: NonEmptyString50;
|
|
21
|
-
readonly "~type.make": NonEmptyString50;
|
|
22
|
-
}> & Omit<S.brand<S.NonEmptyString, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80">, "Iso" | "Type" | "~type.make"> & {
|
|
23
|
-
readonly Type: NonEmptyString50;
|
|
24
|
-
readonly Iso: NonEmptyString50;
|
|
25
|
-
readonly "~type.make": NonEmptyString50;
|
|
26
|
-
};
|
|
18
|
+
export declare const NonEmptyString50: WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString50>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString50>;
|
|
27
19
|
/**
|
|
28
20
|
* A string that is at least 1 character long and a maximum of 64.
|
|
29
21
|
*/
|
|
@@ -36,15 +28,7 @@ export type NonEmptyString64 = string & NonEmptyString64Brand;
|
|
|
36
28
|
/**
|
|
37
29
|
* A string that is at least 1 character long and a maximum of 64.
|
|
38
30
|
*/
|
|
39
|
-
export declare const NonEmptyString64: WithDefaults<
|
|
40
|
-
readonly Type: NonEmptyString64;
|
|
41
|
-
readonly Iso: NonEmptyString64;
|
|
42
|
-
readonly "~type.make": NonEmptyString64;
|
|
43
|
-
}> & Omit<S.brand<S.NonEmptyString, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80">, "Iso" | "Type" | "~type.make"> & {
|
|
44
|
-
readonly Type: NonEmptyString64;
|
|
45
|
-
readonly Iso: NonEmptyString64;
|
|
46
|
-
readonly "~type.make": NonEmptyString64;
|
|
47
|
-
};
|
|
31
|
+
export declare const NonEmptyString64: WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString64>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString64>;
|
|
48
32
|
/**
|
|
49
33
|
* A string that is at least 1 character long and a maximum of 80.
|
|
50
34
|
*/
|
|
@@ -57,15 +41,7 @@ export type NonEmptyString80 = string & NonEmptyString80Brand;
|
|
|
57
41
|
/**
|
|
58
42
|
* A string that is at least 1 character long and a maximum of 80.
|
|
59
43
|
*/
|
|
60
|
-
export declare const NonEmptyString80: WithDefaults<
|
|
61
|
-
readonly Type: NonEmptyString80;
|
|
62
|
-
readonly Iso: NonEmptyString80;
|
|
63
|
-
readonly "~type.make": NonEmptyString80;
|
|
64
|
-
}> & Omit<S.brand<S.NonEmptyString, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString64k" | "NonEmptyString80">, "Iso" | "Type" | "~type.make"> & {
|
|
65
|
-
readonly Type: NonEmptyString80;
|
|
66
|
-
readonly Iso: NonEmptyString80;
|
|
67
|
-
readonly "~type.make": NonEmptyString80;
|
|
68
|
-
};
|
|
44
|
+
export declare const NonEmptyString80: WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString80>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString80>;
|
|
69
45
|
/**
|
|
70
46
|
* A string that is at least 1 character long and a maximum of 100.
|
|
71
47
|
*/
|
|
@@ -78,15 +54,7 @@ export type NonEmptyString100 = string & NonEmptyString100Brand;
|
|
|
78
54
|
/**
|
|
79
55
|
* A string that is at least 1 character long and a maximum of 100.
|
|
80
56
|
*/
|
|
81
|
-
export declare const NonEmptyString100: WithDefaults<
|
|
82
|
-
readonly Type: NonEmptyString100;
|
|
83
|
-
readonly Iso: NonEmptyString100;
|
|
84
|
-
readonly "~type.make": NonEmptyString100;
|
|
85
|
-
}> & Omit<S.brand<S.NonEmptyString, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
86
|
-
readonly Type: NonEmptyString100;
|
|
87
|
-
readonly Iso: NonEmptyString100;
|
|
88
|
-
readonly "~type.make": NonEmptyString100;
|
|
89
|
-
};
|
|
57
|
+
export declare const NonEmptyString100: WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString100>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString100>;
|
|
90
58
|
/**
|
|
91
59
|
* A string that is at least 3 character long and a maximum of 255.
|
|
92
60
|
*/
|
|
@@ -99,15 +67,7 @@ export type Min3String255 = string & Min3String255Brand;
|
|
|
99
67
|
/**
|
|
100
68
|
* A string that is at least 3 character long and a maximum of 255.
|
|
101
69
|
*/
|
|
102
|
-
export declare const Min3String255: WithDefaults<
|
|
103
|
-
readonly Type: Min3String255;
|
|
104
|
-
readonly Iso: Min3String255;
|
|
105
|
-
readonly "~type.make": Min3String255;
|
|
106
|
-
}> & Omit<S.brand<S.String, "Min3String255" | "NonEmptyString" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
107
|
-
readonly Type: Min3String255;
|
|
108
|
-
readonly Iso: Min3String255;
|
|
109
|
-
readonly "~type.make": Min3String255;
|
|
110
|
-
};
|
|
70
|
+
export declare const Min3String255: WithDefaults<import("./brand.js").BrandedSchema<S.String, Min3String255>> & import("./brand.js").BrandedSchema<S.String, Min3String255>;
|
|
111
71
|
/**
|
|
112
72
|
* A string that is at least 6 characters long and a maximum of 50.
|
|
113
73
|
*/
|
|
@@ -120,73 +80,25 @@ export type StringId = string & StringIdBrand;
|
|
|
120
80
|
/**
|
|
121
81
|
* A string that is at least 6 characters long and a maximum of 50.
|
|
122
82
|
*/
|
|
123
|
-
export declare const StringId: WithDefaults<
|
|
124
|
-
readonly Type: StringId;
|
|
125
|
-
readonly Iso: StringId;
|
|
126
|
-
readonly "~type.make": StringId;
|
|
127
|
-
} & {
|
|
83
|
+
export declare const StringId: WithDefaults<import("./brand.js").BrandedSchema<S.String, StringId> & {
|
|
128
84
|
make: () => StringId;
|
|
129
|
-
withDefault: S.withConstructorDefault<
|
|
130
|
-
|
|
131
|
-
readonly Iso: StringId;
|
|
132
|
-
readonly "~type.make": StringId;
|
|
133
|
-
}>;
|
|
134
|
-
}> & Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
135
|
-
readonly Type: StringId;
|
|
136
|
-
readonly Iso: StringId;
|
|
137
|
-
readonly "~type.make": StringId;
|
|
138
|
-
} & {
|
|
85
|
+
withDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
|
|
86
|
+
}> & import("./brand.js").BrandedSchema<S.String, StringId> & {
|
|
139
87
|
make: () => StringId;
|
|
140
|
-
withDefault: S.withConstructorDefault<
|
|
141
|
-
readonly Type: StringId;
|
|
142
|
-
readonly Iso: StringId;
|
|
143
|
-
readonly "~type.make": StringId;
|
|
144
|
-
}>;
|
|
88
|
+
withDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
|
|
145
89
|
};
|
|
146
|
-
export declare function prefixedStringId<Brand extends StringId>(): <Prefix extends string, Separator extends string = "-">(prefix: Prefix, name: string, separator?: Separator) => WithDefaults<S.refine<string & Brand, WithDefaults<
|
|
147
|
-
readonly Type: StringId;
|
|
148
|
-
readonly Iso: StringId;
|
|
149
|
-
readonly "~type.make": StringId;
|
|
150
|
-
} & {
|
|
90
|
+
export declare function prefixedStringId<Brand extends StringId>(): <Prefix extends string, Separator extends string = "-">(prefix: Prefix, name: string, separator?: Separator) => WithDefaults<S.refine<string & Brand, WithDefaults<import("./brand.js").BrandedSchema<S.String, StringId> & {
|
|
151
91
|
make: () => StringId;
|
|
152
|
-
withDefault: S.withConstructorDefault<
|
|
153
|
-
|
|
154
|
-
readonly Iso: StringId;
|
|
155
|
-
readonly "~type.make": StringId;
|
|
156
|
-
}>;
|
|
157
|
-
}> & Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
158
|
-
readonly Type: StringId;
|
|
159
|
-
readonly Iso: StringId;
|
|
160
|
-
readonly "~type.make": StringId;
|
|
161
|
-
} & {
|
|
92
|
+
withDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
|
|
93
|
+
}> & import("./brand.js").BrandedSchema<S.String, StringId> & {
|
|
162
94
|
make: () => StringId;
|
|
163
|
-
withDefault: S.withConstructorDefault<
|
|
164
|
-
|
|
165
|
-
readonly Iso: StringId;
|
|
166
|
-
readonly "~type.make": StringId;
|
|
167
|
-
}>;
|
|
168
|
-
}>> & S.refine<string & Brand, WithDefaults<Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
169
|
-
readonly Type: StringId;
|
|
170
|
-
readonly Iso: StringId;
|
|
171
|
-
readonly "~type.make": StringId;
|
|
172
|
-
} & {
|
|
95
|
+
withDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
|
|
96
|
+
}>> & S.refine<string & Brand, WithDefaults<import("./brand.js").BrandedSchema<S.String, StringId> & {
|
|
173
97
|
make: () => StringId;
|
|
174
|
-
withDefault: S.withConstructorDefault<
|
|
175
|
-
|
|
176
|
-
readonly Iso: StringId;
|
|
177
|
-
readonly "~type.make": StringId;
|
|
178
|
-
}>;
|
|
179
|
-
}> & Omit<S.brand<S.String, "NonEmptyString" | "NonEmptyString100" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString50" | "NonEmptyString64" | "NonEmptyString64k" | "NonEmptyString80" | "StringId">, "Iso" | "Type" | "~type.make"> & {
|
|
180
|
-
readonly Type: StringId;
|
|
181
|
-
readonly Iso: StringId;
|
|
182
|
-
readonly "~type.make": StringId;
|
|
183
|
-
} & {
|
|
98
|
+
withDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
|
|
99
|
+
}> & import("./brand.js").BrandedSchema<S.String, StringId> & {
|
|
184
100
|
make: () => StringId;
|
|
185
|
-
withDefault: S.withConstructorDefault<
|
|
186
|
-
readonly Type: StringId;
|
|
187
|
-
readonly Iso: StringId;
|
|
188
|
-
readonly "~type.make": StringId;
|
|
189
|
-
}>;
|
|
101
|
+
withDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
|
|
190
102
|
}> & PrefixedStringUtils<Brand, Prefix, Separator>;
|
|
191
103
|
export declare const brandedStringId: <Brand extends StringIdBrand>() => WithDefaults<S.Codec<string & Brand, string, never, never> & {
|
|
192
104
|
make: () => string & Brand;
|
|
@@ -206,4 +118,4 @@ export interface UrlBrand extends Simplify<B.Brand<"Url"> & NonEmptyStringBrand>
|
|
|
206
118
|
}
|
|
207
119
|
export type Url = string & UrlBrand;
|
|
208
120
|
export declare const Url: WithDefaults<S.refine<Url, S.String>> & S.refine<Url, S.String>;
|
|
209
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
121
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibW9yZVN0cmluZ3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9TY2hlbWEvbW9yZVN0cmluZ3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxLQUFLLENBQUMsTUFBTSxlQUFlLENBQUE7QUFDbEMsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sY0FBYyxDQUFBO0FBSTVDLE9BQU8sRUFBbUIsS0FBSyxZQUFZLEVBQUUsTUFBTSxVQUFVLENBQUE7QUFDN0QsT0FBTyxFQUFFLEtBQUssQ0FBQyxFQUFFLE1BQU0sYUFBYSxDQUFBO0FBQ3BDLE9BQU8sS0FBSyxFQUFFLHNCQUFzQixFQUFFLG1CQUFtQixFQUFFLE1BQU0sY0FBYyxDQUFBO0FBSS9FOztHQUVHO0FBQ0gsTUFBTSxXQUFXLHFCQUFzQixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLGtCQUFrQixDQUFDLEdBQUcscUJBQXFCLENBQUM7Q0FBRztBQUUvRzs7R0FFRztBQUNILE1BQU0sTUFBTSxnQkFBZ0IsR0FBRyxNQUFNLEdBQUcscUJBQXFCLENBQUE7QUFFN0Q7O0dBRUc7QUFDSCxlQUFPLE1BQU0sZ0JBQWdCLCtKQU81QixDQUFBO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLFdBQVcscUJBQXNCLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsa0JBQWtCLENBQUMsR0FBRyxxQkFBcUIsQ0FBQztDQUFHO0FBRS9HOztHQUVHO0FBQ0gsTUFBTSxNQUFNLGdCQUFnQixHQUFHLE1BQU0sR0FBRyxxQkFBcUIsQ0FBQTtBQUU3RDs7R0FFRztBQUNILGVBQU8sTUFBTSxnQkFBZ0IsK0pBTzVCLENBQUE7QUFFRDs7R0FFRztBQUNILE1BQU0sV0FBVyxxQkFBc0IsU0FBUSxRQUFRLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxrQkFBa0IsQ0FBQyxHQUFHLHNCQUFzQixDQUFDO0NBQUc7QUFFaEg7O0dBRUc7QUFDSCxNQUFNLE1BQU0sZ0JBQWdCLEdBQUcsTUFBTSxHQUFHLHFCQUFxQixDQUFBO0FBRTdEOztHQUVHO0FBRUgsZUFBTyxNQUFNLGdCQUFnQiwrSkFPNUIsQ0FBQTtBQUVEOztHQUVHO0FBQ0gsTUFBTSxXQUFXLHNCQUF1QixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLG1CQUFtQixDQUFDLEdBQUcsc0JBQXNCLENBQUM7Q0FBRztBQUVsSDs7R0FFRztBQUNILE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxNQUFNLEdBQUcsc0JBQXNCLENBQUE7QUFFL0Q7O0dBRUc7QUFDSCxlQUFPLE1BQU0saUJBQWlCLGlLQU83QixDQUFBO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLFdBQVcsa0JBQW1CLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsZUFBZSxDQUFDLEdBQUcsc0JBQXNCLENBQUM7Q0FBRztBQUUxRzs7R0FFRztBQUNILE1BQU0sTUFBTSxhQUFhLEdBQUcsTUFBTSxHQUFHLGtCQUFrQixDQUFBO0FBRXZEOztHQUVHO0FBQ0gsZUFBTyxNQUFNLGFBQWEseUlBUXpCLENBQUE7QUFFRDs7R0FFRztBQUNILE1BQU0sV0FBVyxhQUFjLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsVUFBVSxDQUFDLEdBQUcscUJBQXFCLENBQUM7Q0FBRztBQUUvRjs7R0FFRztBQUNILE1BQU0sTUFBTSxRQUFRLEdBQUcsTUFBTSxHQUFHLGFBQWEsQ0FBQTtBQVc3Qzs7R0FFRztBQUNILGVBQU8sTUFBTSxRQUFRO2dCQVpJLFFBQVE7Ozs7O0NBMkJULENBQUE7QUFNeEIsd0JBQWdCLGdCQUFnQixDQUFDLEtBQUssU0FBUyxRQUFRLE1BQzdDLE1BQU0sU0FBUyxNQUFNLEVBQUUsU0FBUyxTQUFTLE1BQU0sR0FBRyxHQUFHLFVBQ25ELE1BQU0sUUFDUixNQUFNLGNBQ0EsU0FBUztnQkFyQ0EsUUFBUTs7Ozs7Ozs7Ozs7bURBNkVoQztBQUVELGVBQU8sTUFBTSxlQUFlLEdBQzFCLEtBQUssU0FBUyxhQUFhO1VBSWpCLE1BQU0sTUFBTSxHQUFHLEtBQUs7aUJBQ2IsQ0FBQyxDQUFDLHNCQUFzQixDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsTUFBTSxHQUFHLEtBQUssRUFBRSxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMseUJBQXlCLENBQUM7Ozs7K0RBRXZHLENBQUE7QUFFSCxNQUFNLFdBQVcsbUJBQW1CLENBQ2xDLEtBQUssU0FBUyxRQUFRLEVBQ3RCLE1BQU0sU0FBUyxNQUFNLEVBQ3JCLFNBQVMsU0FBUyxNQUFNO0lBRXhCLFFBQVEsQ0FBQyxJQUFJLEVBQUUsTUFBTSxLQUFLLENBQUE7SUFDMUIsUUFBUSxDQUFDLFVBQVUsRUFBRSxDQUFDLEdBQUcsRUFBRSxNQUFNLEtBQUssS0FBSyxDQUFBO0lBQzNDLFVBQVUsRUFBRSxDQUFDLElBQUksU0FBUyxNQUFNLEVBQUUsR0FBRyxFQUFFLEdBQUcsTUFBTSxHQUFHLFNBQVMsR0FBRyxJQUFJLEVBQUUsS0FBSyxLQUFLLENBQUE7SUFDL0UsUUFBUSxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUE7SUFDdkIsUUFBUSxDQUFDLFdBQVcsRUFBRSxDQUFDLENBQUMsc0JBQXNCLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxLQUFLLEVBQUUsTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUFDLHlCQUF5QixDQUFDLENBQUE7Q0FDckc7QUFFRCxNQUFNLFdBQVcsUUFBUyxTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLEtBQUssQ0FBQyxHQUFHLG1CQUFtQixDQUFDO0NBQUc7QUFFbkYsTUFBTSxNQUFNLEdBQUcsR0FBRyxNQUFNLEdBQUcsUUFBUSxDQUFBO0FBTW5DLGVBQU8sTUFBTSxHQUFHLGlFQWViLENBQUEifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"moreStrings.d.ts","sourceRoot":"","sources":["../../src/Schema/moreStrings.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAI5C,OAAO,EAAmB,KAAK,YAAY,EAAE,MAAM,UAAU,CAAA;AAC7D,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,KAAK,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAI/E;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,qBAAqB,CAAC;CAAG;AAE/G;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,qBAAqB,CAAA;AAE7D;;GAEG;AACH,eAAO,MAAM,gBAAgB
|
|
1
|
+
{"version":3,"file":"moreStrings.d.ts","sourceRoot":"","sources":["../../src/Schema/moreStrings.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAI5C,OAAO,EAAmB,KAAK,YAAY,EAAE,MAAM,UAAU,CAAA;AAC7D,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,KAAK,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAI/E;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,qBAAqB,CAAC;CAAG;AAE/G;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,qBAAqB,CAAA;AAE7D;;GAEG;AACH,eAAO,MAAM,gBAAgB,+JAO5B,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,qBAAqB,CAAC;CAAG;AAE/G;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,qBAAqB,CAAA;AAE7D;;GAEG;AACH,eAAO,MAAM,gBAAgB,+JAO5B,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,sBAAsB,CAAC;CAAG;AAEhH;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,qBAAqB,CAAA;AAE7D;;GAEG;AAEH,eAAO,MAAM,gBAAgB,+JAO5B,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,sBAAsB,CAAC;CAAG;AAElH;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,sBAAsB,CAAA;AAE/D;;GAEG;AACH,eAAO,MAAM,iBAAiB,iKAO7B,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,kBAAmB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,GAAG,sBAAsB,CAAC;CAAG;AAE1G;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,kBAAkB,CAAA;AAEvD;;GAEG;AACH,eAAO,MAAM,aAAa,yIAQzB,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,aAAc,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,qBAAqB,CAAC;CAAG;AAE/F;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,aAAa,CAAA;AAW7C;;GAEG;AACH,eAAO,MAAM,QAAQ;gBAZI,QAAQ;;;;;CA2BT,CAAA;AAMxB,wBAAgB,gBAAgB,CAAC,KAAK,SAAS,QAAQ,MAC7C,MAAM,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,GAAG,GAAG,UACnD,MAAM,QACR,MAAM,cACA,SAAS;gBArCA,QAAQ;;;;;;;;;;;mDA6EhC;AAED,eAAO,MAAM,eAAe,GAC1B,KAAK,SAAS,aAAa;UAIjB,MAAM,MAAM,GAAG,KAAK;iBACb,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,yBAAyB,CAAC;;;;+DAEvG,CAAA;AAEH,MAAM,WAAW,mBAAmB,CAClC,KAAK,SAAS,QAAQ,EACtB,MAAM,SAAS,MAAM,EACrB,SAAS,SAAS,MAAM;IAExB,QAAQ,CAAC,IAAI,EAAE,MAAM,KAAK,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,KAAK,CAAA;IAC3C,UAAU,EAAE,CAAC,IAAI,SAAS,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,GAAG,SAAS,GAAG,IAAI,EAAE,KAAK,KAAK,CAAA;IAC/E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,yBAAyB,CAAC,CAAA;CACrG;AAED,MAAM,WAAW,QAAS,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,mBAAmB,CAAC;CAAG;AAEnF,MAAM,MAAM,GAAG,GAAG,MAAM,GAAG,QAAQ,CAAA;AAMnC,eAAO,MAAM,GAAG,iEAeb,CAAA"}
|
package/dist/Schema/numbers.d.ts
CHANGED
|
@@ -3,156 +3,44 @@ import type { Simplify } from "effect/Types";
|
|
|
3
3
|
import { type B } from "./schema.js";
|
|
4
4
|
export interface PositiveIntBrand extends Simplify<B.Brand<"PositiveInt"> & NonNegativeIntBrand & PositiveNumberBrand> {
|
|
5
5
|
}
|
|
6
|
-
export declare const PositiveInt: import("./ext.js").WithDefaults<
|
|
7
|
-
|
|
8
|
-
readonly Iso: PositiveInt;
|
|
9
|
-
readonly "~type.make": PositiveInt;
|
|
10
|
-
}> & Omit<S.brand<S.Int, "Int" | "NonNegativeInt" | "NonNegativeNumber" | "PositiveInt" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
11
|
-
readonly Type: PositiveInt;
|
|
12
|
-
readonly Iso: PositiveInt;
|
|
13
|
-
readonly "~type.make": PositiveInt;
|
|
14
|
-
} & {
|
|
15
|
-
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<Omit<S.brand<S.Int, "Int" | "NonNegativeInt" | "NonNegativeNumber" | "PositiveInt" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
16
|
-
readonly Type: PositiveInt;
|
|
17
|
-
readonly Iso: PositiveInt;
|
|
18
|
-
readonly "~type.make": PositiveInt;
|
|
19
|
-
}> & Omit<S.brand<S.Int, "Int" | "NonNegativeInt" | "NonNegativeNumber" | "PositiveInt" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
20
|
-
readonly Type: PositiveInt;
|
|
21
|
-
readonly Iso: PositiveInt;
|
|
22
|
-
readonly "~type.make": PositiveInt;
|
|
23
|
-
}>;
|
|
6
|
+
export declare const PositiveInt: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, PositiveInt>> & import("./brand.js").BrandedSchema<S.Int, PositiveInt> & {
|
|
7
|
+
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, PositiveInt>> & import("./brand.js").BrandedSchema<S.Int, PositiveInt>>;
|
|
24
8
|
};
|
|
25
9
|
export type PositiveInt = number & PositiveIntBrand;
|
|
26
10
|
export interface NonNegativeIntBrand extends Simplify<B.Brand<"NonNegativeInt"> & IntBrand & NonNegativeNumberBrand> {
|
|
27
11
|
}
|
|
28
|
-
export declare const NonNegativeInt: import("./ext.js").WithDefaults<
|
|
29
|
-
|
|
30
|
-
readonly Iso: NonNegativeInt;
|
|
31
|
-
readonly "~type.make": NonNegativeInt;
|
|
32
|
-
}> & Omit<S.brand<S.Int, "Int" | "NonNegativeInt" | "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
33
|
-
readonly Type: NonNegativeInt;
|
|
34
|
-
readonly Iso: NonNegativeInt;
|
|
35
|
-
readonly "~type.make": NonNegativeInt;
|
|
36
|
-
} & {
|
|
37
|
-
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<Omit<S.brand<S.Int, "Int" | "NonNegativeInt" | "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
38
|
-
readonly Type: NonNegativeInt;
|
|
39
|
-
readonly Iso: NonNegativeInt;
|
|
40
|
-
readonly "~type.make": NonNegativeInt;
|
|
41
|
-
}> & Omit<S.brand<S.Int, "Int" | "NonNegativeInt" | "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
42
|
-
readonly Type: NonNegativeInt;
|
|
43
|
-
readonly Iso: NonNegativeInt;
|
|
44
|
-
readonly "~type.make": NonNegativeInt;
|
|
45
|
-
}>;
|
|
12
|
+
export declare const NonNegativeInt: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, NonNegativeInt>> & import("./brand.js").BrandedSchema<S.Int, NonNegativeInt> & {
|
|
13
|
+
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, NonNegativeInt>> & import("./brand.js").BrandedSchema<S.Int, NonNegativeInt>>;
|
|
46
14
|
};
|
|
47
15
|
export type NonNegativeInt = number & NonNegativeIntBrand;
|
|
48
16
|
export interface IntBrand extends Simplify<B.Brand<"Int">> {
|
|
49
17
|
}
|
|
50
|
-
export declare const Int: import("./ext.js").WithDefaults<
|
|
51
|
-
|
|
52
|
-
readonly Iso: Int;
|
|
53
|
-
readonly "~type.make": Int;
|
|
54
|
-
}> & Omit<S.brand<S.Int, "Int">, "Iso" | "Type" | "~type.make"> & {
|
|
55
|
-
readonly Type: Int;
|
|
56
|
-
readonly Iso: Int;
|
|
57
|
-
readonly "~type.make": Int;
|
|
58
|
-
} & {
|
|
59
|
-
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<Omit<S.brand<S.Int, "Int">, "Iso" | "Type" | "~type.make"> & {
|
|
60
|
-
readonly Type: Int;
|
|
61
|
-
readonly Iso: Int;
|
|
62
|
-
readonly "~type.make": Int;
|
|
63
|
-
}> & Omit<S.brand<S.Int, "Int">, "Iso" | "Type" | "~type.make"> & {
|
|
64
|
-
readonly Type: Int;
|
|
65
|
-
readonly Iso: Int;
|
|
66
|
-
readonly "~type.make": Int;
|
|
67
|
-
}>;
|
|
18
|
+
export declare const Int: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, Int>> & import("./brand.js").BrandedSchema<S.Int, Int> & {
|
|
19
|
+
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, Int>> & import("./brand.js").BrandedSchema<S.Int, Int>>;
|
|
68
20
|
};
|
|
69
21
|
export type Int = number & IntBrand;
|
|
70
22
|
export interface PositiveNumberBrand extends Simplify<B.Brand<"PositiveNumber"> & NonNegativeNumberBrand> {
|
|
71
23
|
}
|
|
72
|
-
export declare const PositiveNumber: import("./ext.js").WithDefaults<
|
|
73
|
-
|
|
74
|
-
readonly Iso: PositiveNumber;
|
|
75
|
-
readonly "~type.make": PositiveNumber;
|
|
76
|
-
}> & Omit<S.brand<S.Finite, "NonNegativeNumber" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
77
|
-
readonly Type: PositiveNumber;
|
|
78
|
-
readonly Iso: PositiveNumber;
|
|
79
|
-
readonly "~type.make": PositiveNumber;
|
|
80
|
-
} & {
|
|
81
|
-
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<Omit<S.brand<S.Finite, "NonNegativeNumber" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
82
|
-
readonly Type: PositiveNumber;
|
|
83
|
-
readonly Iso: PositiveNumber;
|
|
84
|
-
readonly "~type.make": PositiveNumber;
|
|
85
|
-
}> & Omit<S.brand<S.Finite, "NonNegativeNumber" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
86
|
-
readonly Type: PositiveNumber;
|
|
87
|
-
readonly Iso: PositiveNumber;
|
|
88
|
-
readonly "~type.make": PositiveNumber;
|
|
89
|
-
}>;
|
|
24
|
+
export declare const PositiveNumber: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>> & import("./brand.js").BrandedSchema<S.Finite, PositiveNumber> & {
|
|
25
|
+
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>> & import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>>;
|
|
90
26
|
};
|
|
91
27
|
export type PositiveNumber = number & PositiveNumberBrand;
|
|
92
28
|
export interface NonNegativeNumberBrand extends Simplify<B.Brand<"NonNegativeNumber">> {
|
|
93
29
|
}
|
|
94
|
-
export declare const NonNegativeNumber: import("./ext.js").WithDefaults<
|
|
95
|
-
|
|
96
|
-
readonly Iso: NonNegativeNumber;
|
|
97
|
-
readonly "~type.make": NonNegativeNumber;
|
|
98
|
-
}> & Omit<S.brand<S.Finite, "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
99
|
-
readonly Type: NonNegativeNumber;
|
|
100
|
-
readonly Iso: NonNegativeNumber;
|
|
101
|
-
readonly "~type.make": NonNegativeNumber;
|
|
102
|
-
} & {
|
|
103
|
-
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<Omit<S.brand<S.Finite, "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
104
|
-
readonly Type: NonNegativeNumber;
|
|
105
|
-
readonly Iso: NonNegativeNumber;
|
|
106
|
-
readonly "~type.make": NonNegativeNumber;
|
|
107
|
-
}> & Omit<S.brand<S.Finite, "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
108
|
-
readonly Type: NonNegativeNumber;
|
|
109
|
-
readonly Iso: NonNegativeNumber;
|
|
110
|
-
readonly "~type.make": NonNegativeNumber;
|
|
111
|
-
}>;
|
|
30
|
+
export declare const NonNegativeNumber: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>> & import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber> & {
|
|
31
|
+
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>> & import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>>;
|
|
112
32
|
};
|
|
113
33
|
export type NonNegativeNumber = number & NonNegativeNumberBrand;
|
|
114
34
|
/** @deprecated Not an actual decimal */
|
|
115
|
-
export declare const NonNegativeDecimal: import("./ext.js").WithDefaults<
|
|
116
|
-
|
|
117
|
-
readonly Iso: NonNegativeNumber;
|
|
118
|
-
readonly "~type.make": NonNegativeNumber;
|
|
119
|
-
}> & Omit<S.brand<S.Finite, "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
120
|
-
readonly Type: NonNegativeNumber;
|
|
121
|
-
readonly Iso: NonNegativeNumber;
|
|
122
|
-
readonly "~type.make": NonNegativeNumber;
|
|
123
|
-
} & {
|
|
124
|
-
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<Omit<S.brand<S.Finite, "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
125
|
-
readonly Type: NonNegativeNumber;
|
|
126
|
-
readonly Iso: NonNegativeNumber;
|
|
127
|
-
readonly "~type.make": NonNegativeNumber;
|
|
128
|
-
}> & Omit<S.brand<S.Finite, "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
129
|
-
readonly Type: NonNegativeNumber;
|
|
130
|
-
readonly Iso: NonNegativeNumber;
|
|
131
|
-
readonly "~type.make": NonNegativeNumber;
|
|
132
|
-
}>;
|
|
35
|
+
export declare const NonNegativeDecimal: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>> & import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber> & {
|
|
36
|
+
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>> & import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>>;
|
|
133
37
|
};
|
|
134
38
|
/** @deprecated Not an actual decimal */
|
|
135
39
|
export type NonNegativeDecimal = NonNegativeNumber;
|
|
136
40
|
/** @deprecated Not an actual decimal */
|
|
137
|
-
export declare const PositiveDecimal: import("./ext.js").WithDefaults<
|
|
138
|
-
|
|
139
|
-
readonly Iso: PositiveNumber;
|
|
140
|
-
readonly "~type.make": PositiveNumber;
|
|
141
|
-
}> & Omit<S.brand<S.Finite, "NonNegativeNumber" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
142
|
-
readonly Type: PositiveNumber;
|
|
143
|
-
readonly Iso: PositiveNumber;
|
|
144
|
-
readonly "~type.make": PositiveNumber;
|
|
145
|
-
} & {
|
|
146
|
-
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<Omit<S.brand<S.Finite, "NonNegativeNumber" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
147
|
-
readonly Type: PositiveNumber;
|
|
148
|
-
readonly Iso: PositiveNumber;
|
|
149
|
-
readonly "~type.make": PositiveNumber;
|
|
150
|
-
}> & Omit<S.brand<S.Finite, "NonNegativeNumber" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
151
|
-
readonly Type: PositiveNumber;
|
|
152
|
-
readonly Iso: PositiveNumber;
|
|
153
|
-
readonly "~type.make": PositiveNumber;
|
|
154
|
-
}>;
|
|
41
|
+
export declare const PositiveDecimal: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>> & import("./brand.js").BrandedSchema<S.Finite, PositiveNumber> & {
|
|
42
|
+
withDefault: S.withConstructorDefault<import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>> & import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>>;
|
|
155
43
|
};
|
|
156
44
|
/** @deprecated Not an actual decimal */
|
|
157
45
|
export type PositiveDecimal = PositiveNumber;
|
|
158
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
46
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibnVtYmVycy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL1NjaGVtYS9udW1iZXJzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sS0FBSyxDQUFDLE1BQU0sZUFBZSxDQUFBO0FBQ2xDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLGNBQWMsQ0FBQTtBQUc1QyxPQUFPLEVBQUUsS0FBSyxDQUFDLEVBQUUsTUFBTSxhQUFhLENBQUE7QUFFcEMsTUFBTSxXQUFXLGdCQUNmLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsYUFBYSxDQUFDLEdBQUcsbUJBQW1CLEdBQUcsbUJBQW1CLENBQUM7Q0FDcEY7QUFDRixlQUFPLE1BQU0sV0FBVzs7Q0FPdkIsQ0FBQTtBQUNELE1BQU0sTUFBTSxXQUFXLEdBQUcsTUFBTSxHQUFHLGdCQUFnQixDQUFBO0FBRW5ELE1BQU0sV0FBVyxtQkFBb0IsU0FBUSxRQUFRLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxnQkFBZ0IsQ0FBQyxHQUFHLFFBQVEsR0FBRyxzQkFBc0IsQ0FBQztDQUFHO0FBQ3ZILGVBQU8sTUFBTSxjQUFjOztDQVUxQixDQUFBO0FBQ0QsTUFBTSxNQUFNLGNBQWMsR0FBRyxNQUFNLEdBQUcsbUJBQW1CLENBQUE7QUFFekQsTUFBTSxXQUFXLFFBQVMsU0FBUSxRQUFRLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBQztDQUFHO0FBQzdELGVBQU8sTUFBTSxHQUFHOztDQUdmLENBQUE7QUFDRCxNQUFNLE1BQU0sR0FBRyxHQUFHLE1BQU0sR0FBRyxRQUFRLENBQUE7QUFFbkMsTUFBTSxXQUFXLG1CQUFvQixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLGdCQUFnQixDQUFDLEdBQUcsc0JBQXNCLENBQUM7Q0FBRztBQUM1RyxlQUFPLE1BQU0sY0FBYzs7Q0FVMUIsQ0FBQTtBQUNELE1BQU0sTUFBTSxjQUFjLEdBQUcsTUFBTSxHQUFHLG1CQUFtQixDQUFBO0FBRXpELE1BQU0sV0FBVyxzQkFBdUIsU0FBUSxRQUFRLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxtQkFBbUIsQ0FBQyxDQUFDO0NBQUc7QUFDekYsZUFBTyxNQUFNLGlCQUFpQjs7Q0FZN0IsQ0FBQTtBQUNELE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxNQUFNLEdBQUcsc0JBQXNCLENBQUE7QUFFL0Qsd0NBQXdDO0FBQ3hDLGVBQU8sTUFBTSxrQkFBa0I7O0NBQW9CLENBQUE7QUFDbkQsd0NBQXdDO0FBQ3hDLE1BQU0sTUFBTSxrQkFBa0IsR0FBRyxpQkFBaUIsQ0FBQTtBQUVsRCx3Q0FBd0M7QUFDeEMsZUFBTyxNQUFNLGVBQWU7O0NBQWlCLENBQUE7QUFDN0Msd0NBQXdDO0FBQ3hDLE1BQU0sTUFBTSxlQUFlLEdBQUcsY0FBYyxDQUFBIn0=
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"numbers.d.ts","sourceRoot":"","sources":["../../src/Schema/numbers.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAG5C,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,aAAa,CAAA;AAEpC,MAAM,WAAW,gBACf,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;CACpF;AACF,eAAO,MAAM,WAAW
|
|
1
|
+
{"version":3,"file":"numbers.d.ts","sourceRoot":"","sources":["../../src/Schema/numbers.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAG5C,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,aAAa,CAAA;AAEpC,MAAM,WAAW,gBACf,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;CACpF;AACF,eAAO,MAAM,WAAW;;CAOvB,CAAA;AACD,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,gBAAgB,CAAA;AAEnD,MAAM,WAAW,mBAAoB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,QAAQ,GAAG,sBAAsB,CAAC;CAAG;AACvH,eAAO,MAAM,cAAc;;CAU1B,CAAA;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,mBAAmB,CAAA;AAEzD,MAAM,WAAW,QAAS,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;CAAG;AAC7D,eAAO,MAAM,GAAG;;CAGf,CAAA;AACD,MAAM,MAAM,GAAG,GAAG,MAAM,GAAG,QAAQ,CAAA;AAEnC,MAAM,WAAW,mBAAoB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,sBAAsB,CAAC;CAAG;AAC5G,eAAO,MAAM,cAAc;;CAU1B,CAAA;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,mBAAmB,CAAA;AAEzD,MAAM,WAAW,sBAAuB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;CAAG;AACzF,eAAO,MAAM,iBAAiB;;CAY7B,CAAA;AACD,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,sBAAsB,CAAA;AAE/D,wCAAwC;AACxC,eAAO,MAAM,kBAAkB;;CAAoB,CAAA;AACnD,wCAAwC;AACxC,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,CAAA;AAElD,wCAAwC;AACxC,eAAO,MAAM,eAAe;;CAAiB,CAAA;AAC7C,wCAAwC;AACxC,MAAM,MAAM,eAAe,GAAG,cAAc,CAAA"}
|
package/dist/Schema/strings.d.ts
CHANGED
|
@@ -3,49 +3,17 @@ import * as S from "effect/Schema";
|
|
|
3
3
|
import type { Simplify } from "effect/Types";
|
|
4
4
|
export type NonEmptyStringBrand = B.Brand<"NonEmptyString">;
|
|
5
5
|
export type NonEmptyString = string & NonEmptyStringBrand;
|
|
6
|
-
export declare const NonEmptyString: import("./ext.js").WithDefaults<
|
|
7
|
-
readonly Type: NonEmptyString;
|
|
8
|
-
readonly Iso: NonEmptyString;
|
|
9
|
-
readonly "~type.make": NonEmptyString;
|
|
10
|
-
}> & Omit<S.brand<S.NonEmptyString, "NonEmptyString">, "Iso" | "Type" | "~type.make"> & {
|
|
11
|
-
readonly Type: NonEmptyString;
|
|
12
|
-
readonly Iso: NonEmptyString;
|
|
13
|
-
readonly "~type.make": NonEmptyString;
|
|
14
|
-
};
|
|
6
|
+
export declare const NonEmptyString: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString>;
|
|
15
7
|
export interface NonEmptyString64kBrand extends Simplify<B.Brand<"NonEmptyString64k"> & NonEmptyStringBrand> {
|
|
16
8
|
}
|
|
17
9
|
export type NonEmptyString64k = string & NonEmptyString64kBrand;
|
|
18
|
-
export declare const NonEmptyString64k: import("./ext.js").WithDefaults<
|
|
19
|
-
readonly Type: NonEmptyString64k;
|
|
20
|
-
readonly Iso: NonEmptyString64k;
|
|
21
|
-
readonly "~type.make": NonEmptyString64k;
|
|
22
|
-
}> & Omit<S.brand<S.NonEmptyString, "NonEmptyString" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
23
|
-
readonly Type: NonEmptyString64k;
|
|
24
|
-
readonly Iso: NonEmptyString64k;
|
|
25
|
-
readonly "~type.make": NonEmptyString64k;
|
|
26
|
-
};
|
|
10
|
+
export declare const NonEmptyString64k: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString64k>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString64k>;
|
|
27
11
|
export interface NonEmptyString2kBrand extends Simplify<B.Brand<"NonEmptyString2k"> & NonEmptyString64kBrand> {
|
|
28
12
|
}
|
|
29
13
|
export type NonEmptyString2k = string & NonEmptyString2kBrand;
|
|
30
|
-
export declare const NonEmptyString2k: import("./ext.js").WithDefaults<
|
|
31
|
-
readonly Type: NonEmptyString2k;
|
|
32
|
-
readonly Iso: NonEmptyString2k;
|
|
33
|
-
readonly "~type.make": NonEmptyString2k;
|
|
34
|
-
}> & Omit<S.brand<S.NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
35
|
-
readonly Type: NonEmptyString2k;
|
|
36
|
-
readonly Iso: NonEmptyString2k;
|
|
37
|
-
readonly "~type.make": NonEmptyString2k;
|
|
38
|
-
};
|
|
14
|
+
export declare const NonEmptyString2k: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString2k>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString2k>;
|
|
39
15
|
export interface NonEmptyString255Brand extends Simplify<B.Brand<"NonEmptyString255"> & NonEmptyString2kBrand> {
|
|
40
16
|
}
|
|
41
17
|
export type NonEmptyString255 = string & NonEmptyString255Brand;
|
|
42
|
-
export declare const NonEmptyString255: import("./ext.js").WithDefaults<
|
|
43
|
-
|
|
44
|
-
readonly Iso: NonEmptyString255;
|
|
45
|
-
readonly "~type.make": NonEmptyString255;
|
|
46
|
-
}> & Omit<S.brand<S.NonEmptyString, "NonEmptyString" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
47
|
-
readonly Type: NonEmptyString255;
|
|
48
|
-
readonly Iso: NonEmptyString255;
|
|
49
|
-
readonly "~type.make": NonEmptyString255;
|
|
50
|
-
};
|
|
51
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RyaW5ncy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL1NjaGVtYS9zdHJpbmdzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxLQUFLLENBQUMsTUFBTSxjQUFjLENBQUE7QUFDdEMsT0FBTyxLQUFLLENBQUMsTUFBTSxlQUFlLENBQUE7QUFDbEMsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sY0FBYyxDQUFBO0FBSTVDLE1BQU0sTUFBTSxtQkFBbUIsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLGdCQUFnQixDQUFDLENBQUE7QUFDM0QsTUFBTSxNQUFNLGNBQWMsR0FBRyxNQUFNLEdBQUcsbUJBQW1CLENBQUE7QUFDekQsZUFBTyxNQUFNLGNBQWM7Ozs7Ozs7O0NBUXhCLENBQUE7QUFFSCxNQUFNLFdBQVcsc0JBQXVCLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsbUJBQW1CLENBQUMsR0FBRyxtQkFBbUIsQ0FBQztDQUFHO0FBQy9HLE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxNQUFNLEdBQUcsc0JBQXNCLENBQUE7QUFDL0QsZUFBTyxNQUFNLGlCQUFpQjs7Ozs7Ozs7Q0FTM0IsQ0FBQTtBQUVILE1BQU0sV0FBVyxxQkFBc0IsU0FBUSxRQUFRLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxrQkFBa0IsQ0FBQyxHQUFHLHNCQUFzQixDQUFDO0NBQUc7QUFDaEgsTUFBTSxNQUFNLGdCQUFnQixHQUFHLE1BQU0sR0FBRyxxQkFBcUIsQ0FBQTtBQUM3RCxlQUFPLE1BQU0sZ0JBQWdCOzs7Ozs7OztDQVMxQixDQUFBO0FBRUgsTUFBTSxXQUFXLHNCQUF1QixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLG1CQUFtQixDQUFDLEdBQUcscUJBQXFCLENBQUM7Q0FBRztBQUNqSCxNQUFNLE1BQU0saUJBQWlCLEdBQUcsTUFBTSxHQUFHLHNCQUFzQixDQUFBO0FBQy9ELGVBQU8sTUFBTSxpQkFBaUI7Ozs7Ozs7O0NBUzNCLENBQUEifQ==
|
|
18
|
+
export declare const NonEmptyString255: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString255>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString255>;
|
|
19
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RyaW5ncy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL1NjaGVtYS9zdHJpbmdzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxLQUFLLENBQUMsTUFBTSxjQUFjLENBQUE7QUFDdEMsT0FBTyxLQUFLLENBQUMsTUFBTSxlQUFlLENBQUE7QUFDbEMsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sY0FBYyxDQUFBO0FBSTVDLE1BQU0sTUFBTSxtQkFBbUIsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLGdCQUFnQixDQUFDLENBQUE7QUFDM0QsTUFBTSxNQUFNLGNBQWMsR0FBRyxNQUFNLEdBQUcsbUJBQW1CLENBQUE7QUFDekQsZUFBTyxNQUFNLGNBQWMsOEtBUXhCLENBQUE7QUFFSCxNQUFNLFdBQVcsc0JBQXVCLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsbUJBQW1CLENBQUMsR0FBRyxtQkFBbUIsQ0FBQztDQUFHO0FBQy9HLE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxNQUFNLEdBQUcsc0JBQXNCLENBQUE7QUFDL0QsZUFBTyxNQUFNLGlCQUFpQixvTEFTM0IsQ0FBQTtBQUVILE1BQU0sV0FBVyxxQkFBc0IsU0FBUSxRQUFRLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxrQkFBa0IsQ0FBQyxHQUFHLHNCQUFzQixDQUFDO0NBQUc7QUFDaEgsTUFBTSxNQUFNLGdCQUFnQixHQUFHLE1BQU0sR0FBRyxxQkFBcUIsQ0FBQTtBQUM3RCxlQUFPLE1BQU0sZ0JBQWdCLGtMQVMxQixDQUFBO0FBRUgsTUFBTSxXQUFXLHNCQUF1QixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLG1CQUFtQixDQUFDLEdBQUcscUJBQXFCLENBQUM7Q0FBRztBQUNqSCxNQUFNLE1BQU0saUJBQWlCLEdBQUcsTUFBTSxHQUFHLHNCQUFzQixDQUFBO0FBQy9ELGVBQU8sTUFBTSxpQkFBaUIsb0xBUzNCLENBQUEifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"strings.d.ts","sourceRoot":"","sources":["../../src/Schema/strings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,CAAC,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAI5C,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAA;AAC3D,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,mBAAmB,CAAA;AACzD,eAAO,MAAM,cAAc
|
|
1
|
+
{"version":3,"file":"strings.d.ts","sourceRoot":"","sources":["../../src/Schema/strings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,CAAC,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAI5C,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAA;AAC3D,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,mBAAmB,CAAA;AACzD,eAAO,MAAM,cAAc,8KAQxB,CAAA;AAEH,MAAM,WAAW,sBAAuB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,mBAAmB,CAAC;CAAG;AAC/G,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,sBAAsB,CAAA;AAC/D,eAAO,MAAM,iBAAiB,oLAS3B,CAAA;AAEH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,sBAAsB,CAAC;CAAG;AAChH,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,qBAAqB,CAAA;AAC7D,eAAO,MAAM,gBAAgB,kLAS1B,CAAA;AAEH,MAAM,WAAW,sBAAuB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,qBAAqB,CAAC;CAAG;AACjH,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,sBAAsB,CAAA;AAC/D,eAAO,MAAM,iBAAiB,oLAS3B,CAAA"}
|
package/package.json
CHANGED
package/src/Schema/brand.ts
CHANGED
|
@@ -35,13 +35,25 @@ type BrandAnnotations<C extends B.Brand<any>> =
|
|
|
35
35
|
: {}
|
|
36
36
|
)
|
|
37
37
|
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
38
|
+
export interface BrandedSchema<S extends S.Top, C extends B.Brand<any>> extends
|
|
39
|
+
S.Bottom<
|
|
40
|
+
C,
|
|
41
|
+
S["Encoded"],
|
|
42
|
+
S["DecodingServices"],
|
|
43
|
+
S["EncodingServices"],
|
|
44
|
+
S["ast"],
|
|
45
|
+
BrandedSchema<S, C>,
|
|
46
|
+
S["~type.make.in"],
|
|
47
|
+
S["Iso"],
|
|
48
|
+
S["~type.parameters"],
|
|
49
|
+
S["~type.make"],
|
|
50
|
+
S["~type.mutability"],
|
|
51
|
+
S["~type.optionality"],
|
|
52
|
+
S["~type.constructor.default"],
|
|
53
|
+
S["~encoded.mutability"],
|
|
54
|
+
S["~encoded.optionality"]
|
|
55
|
+
>
|
|
56
|
+
{}
|
|
45
57
|
|
|
46
58
|
export const fromBrand = <C extends B.Brand<any>>(
|
|
47
59
|
constructor: Constructor<C>,
|