effect-app 4.0.0-beta.201 → 4.0.0-beta.203
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 +12 -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 +29 -119
- package/dist/Schema/moreStrings.d.ts.map +1 -1
- package/dist/Schema/moreStrings.js +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/dist/ids.d.ts +8 -10
- package/dist/ids.d.ts.map +1 -1
- package/package.json +1 -1
- package/src/Schema/brand.ts +19 -7
- package/src/Schema/moreStrings.ts +16 -17
- package/src/ids.ts +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -1,5 +1,17 @@
|
|
|
1
1
|
# @effect-app/prelude
|
|
2
2
|
|
|
3
|
+
## 4.0.0-beta.203
|
|
4
|
+
|
|
5
|
+
### Patch Changes
|
|
6
|
+
|
|
7
|
+
- 992d9fa: fix more branded types
|
|
8
|
+
|
|
9
|
+
## 4.0.0-beta.202
|
|
10
|
+
|
|
11
|
+
### Patch Changes
|
|
12
|
+
|
|
13
|
+
- 1186b09: improve branded types, keep types through Rebuild
|
|
14
|
+
|
|
3
15
|
## 4.0.0-beta.201
|
|
4
16
|
|
|
5
17
|
### Patch Changes
|
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,90 +80,40 @@ 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<
|
|
147
|
-
readonly Type: StringId;
|
|
148
|
-
readonly Iso: StringId;
|
|
149
|
-
readonly "~type.make": StringId;
|
|
150
|
-
} & {
|
|
90
|
+
export declare function prefixedStringId<Type extends StringId>(): <Prefix extends string, Separator extends string = "-">(prefix: Prefix, name: string, separator?: Separator) => WithDefaults<S.refine<Type, 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<Type, 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
|
-
|
|
187
|
-
|
|
188
|
-
|
|
189
|
-
|
|
190
|
-
|
|
191
|
-
|
|
192
|
-
|
|
193
|
-
|
|
194
|
-
|
|
195
|
-
|
|
196
|
-
withDefault: S.withConstructorDefault<S.Codec<string & Brand, string> & S.WithoutConstructorDefault>;
|
|
197
|
-
} & WithDefaults<S.Codec<string & Brand, string, never, never>>;
|
|
198
|
-
export interface PrefixedStringUtils<Brand extends StringId, Prefix extends string, Separator extends string> {
|
|
199
|
-
readonly make: () => Brand;
|
|
200
|
-
readonly unsafeFrom: (str: string) => Brand;
|
|
201
|
-
prefixSafe: <REST extends string>(str: `${Prefix}${Separator}${REST}`) => Brand;
|
|
101
|
+
withDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
|
|
102
|
+
}> & PrefixedStringUtils<Type, Prefix, Separator>;
|
|
103
|
+
export declare const brandedStringId: <Id>() => WithDefaults<S.Codec<Id, string, never, never> & {
|
|
104
|
+
withDefault: S.withConstructorDefault<S.Codec<Id, string> & S.WithoutConstructorDefault>;
|
|
105
|
+
} & WithDefaults<S.Codec<Id, string, never, never>>> & S.Codec<Id, string, never, never> & {
|
|
106
|
+
withDefault: S.withConstructorDefault<S.Codec<Id, string> & S.WithoutConstructorDefault>;
|
|
107
|
+
} & WithDefaults<S.Codec<Id, string, never, never>>;
|
|
108
|
+
export interface PrefixedStringUtils<Type extends StringId, Prefix extends string, Separator extends string> {
|
|
109
|
+
readonly make: () => Type;
|
|
110
|
+
readonly unsafeFrom: (str: string) => Type;
|
|
111
|
+
prefixSafe: <REST extends string>(str: `${Prefix}${Separator}${REST}`) => Type;
|
|
202
112
|
readonly prefix: Prefix;
|
|
203
|
-
readonly withDefault: S.withConstructorDefault<S.Codec<
|
|
113
|
+
readonly withDefault: S.withConstructorDefault<S.Codec<Type, string> & S.WithoutConstructorDefault>;
|
|
204
114
|
}
|
|
205
115
|
export interface UrlBrand extends Simplify<B.Brand<"Url"> & NonEmptyStringBrand> {
|
|
206
116
|
}
|
|
207
117
|
export type Url = string & UrlBrand;
|
|
208
118
|
export declare const Url: WithDefaults<S.refine<Url, S.String>> & S.refine<Url, S.String>;
|
|
209
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
119
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibW9yZVN0cmluZ3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9TY2hlbWEvbW9yZVN0cmluZ3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxLQUFLLENBQUMsTUFBTSxlQUFlLENBQUE7QUFDbEMsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sY0FBYyxDQUFBO0FBSTVDLE9BQU8sRUFBbUIsS0FBSyxZQUFZLEVBQUUsTUFBTSxVQUFVLENBQUE7QUFDN0QsT0FBTyxFQUFFLEtBQUssQ0FBQyxFQUFFLE1BQU0sYUFBYSxDQUFBO0FBQ3BDLE9BQU8sS0FBSyxFQUFFLHNCQUFzQixFQUFFLG1CQUFtQixFQUFFLE1BQU0sY0FBYyxDQUFBO0FBSS9FOztHQUVHO0FBQ0gsTUFBTSxXQUFXLHFCQUFzQixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLGtCQUFrQixDQUFDLEdBQUcscUJBQXFCLENBQUM7Q0FBRztBQUUvRzs7R0FFRztBQUNILE1BQU0sTUFBTSxnQkFBZ0IsR0FBRyxNQUFNLEdBQUcscUJBQXFCLENBQUE7QUFFN0Q7O0dBRUc7QUFDSCxlQUFPLE1BQU0sZ0JBQWdCLCtKQU81QixDQUFBO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLFdBQVcscUJBQXNCLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsa0JBQWtCLENBQUMsR0FBRyxxQkFBcUIsQ0FBQztDQUFHO0FBRS9HOztHQUVHO0FBQ0gsTUFBTSxNQUFNLGdCQUFnQixHQUFHLE1BQU0sR0FBRyxxQkFBcUIsQ0FBQTtBQUU3RDs7R0FFRztBQUNILGVBQU8sTUFBTSxnQkFBZ0IsK0pBTzVCLENBQUE7QUFFRDs7R0FFRztBQUNILE1BQU0sV0FBVyxxQkFBc0IsU0FBUSxRQUFRLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxrQkFBa0IsQ0FBQyxHQUFHLHNCQUFzQixDQUFDO0NBQUc7QUFFaEg7O0dBRUc7QUFDSCxNQUFNLE1BQU0sZ0JBQWdCLEdBQUcsTUFBTSxHQUFHLHFCQUFxQixDQUFBO0FBRTdEOztHQUVHO0FBRUgsZUFBTyxNQUFNLGdCQUFnQiwrSkFPNUIsQ0FBQTtBQUVEOztHQUVHO0FBQ0gsTUFBTSxXQUFXLHNCQUF1QixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLG1CQUFtQixDQUFDLEdBQUcsc0JBQXNCLENBQUM7Q0FBRztBQUVsSDs7R0FFRztBQUNILE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxNQUFNLEdBQUcsc0JBQXNCLENBQUE7QUFFL0Q7O0dBRUc7QUFDSCxlQUFPLE1BQU0saUJBQWlCLGlLQU83QixDQUFBO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLFdBQVcsa0JBQW1CLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsZUFBZSxDQUFDLEdBQUcsc0JBQXNCLENBQUM7Q0FBRztBQUUxRzs7R0FFRztBQUNILE1BQU0sTUFBTSxhQUFhLEdBQUcsTUFBTSxHQUFHLGtCQUFrQixDQUFBO0FBRXZEOztHQUVHO0FBQ0gsZUFBTyxNQUFNLGFBQWEseUlBUXpCLENBQUE7QUFFRDs7R0FFRztBQUNILE1BQU0sV0FBVyxhQUFjLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsVUFBVSxDQUFDLEdBQUcscUJBQXFCLENBQUM7Q0FBRztBQUUvRjs7R0FFRztBQUNILE1BQU0sTUFBTSxRQUFRLEdBQUcsTUFBTSxHQUFHLGFBQWEsQ0FBQTtBQVc3Qzs7R0FFRztBQUNILGVBQU8sTUFBTSxRQUFRO2dCQVpJLFFBQVE7Ozs7O0NBMkJULENBQUE7QUFNeEIsd0JBQWdCLGdCQUFnQixDQUFDLElBQUksU0FBUyxRQUFRLE1BQzVDLE1BQU0sU0FBUyxNQUFNLEVBQUUsU0FBUyxTQUFTLE1BQU0sR0FBRyxHQUFHLFVBQ25ELE1BQU0sUUFDUixNQUFNLGNBQ0EsU0FBUztnQkFyQ0EsUUFBUTs7Ozs7Ozs7Ozs7a0RBNkVoQztBQUVELGVBQU8sTUFBTSxlQUFlLEdBQzFCLEVBQUU7aUJBSWUsQ0FBQyxDQUFDLHNCQUFzQixDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsRUFBRSxFQUFFLE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FBQyx5QkFBeUIsQ0FBQzs7O21EQUUzRixDQUFBO0FBRUgsTUFBTSxXQUFXLG1CQUFtQixDQUNsQyxJQUFJLFNBQVMsUUFBUSxFQUNyQixNQUFNLFNBQVMsTUFBTSxFQUNyQixTQUFTLFNBQVMsTUFBTTtJQUV4QixRQUFRLENBQUMsSUFBSSxFQUFFLE1BQU0sSUFBSSxDQUFBO0lBQ3pCLFFBQVEsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxLQUFLLElBQUksQ0FBQTtJQUMxQyxVQUFVLEVBQUUsQ0FBQyxJQUFJLFNBQVMsTUFBTSxFQUFFLEdBQUcsRUFBRSxHQUFHLE1BQU0sR0FBRyxTQUFTLEdBQUcsSUFBSSxFQUFFLEtBQUssSUFBSSxDQUFBO0lBQzlFLFFBQVEsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFBO0lBQ3ZCLFFBQVEsQ0FBQyxXQUFXLEVBQUUsQ0FBQyxDQUFDLHNCQUFzQixDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsSUFBSSxFQUFFLE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFBO0NBQ3BHO0FBRUQsTUFBTSxXQUFXLFFBQVMsU0FBUSxRQUFRLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxLQUFLLENBQUMsR0FBRyxtQkFBbUIsQ0FBQztDQUFHO0FBRW5GLE1BQU0sTUFBTSxHQUFHLEdBQUcsTUFBTSxHQUFHLFFBQVEsQ0FBQTtBQU1uQyxlQUFPLE1BQU0sR0FBRyxpRUFlYixDQUFBIn0=
|
|
@@ -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,IAAI,SAAS,QAAQ,MAC5C,MAAM,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,GAAG,GAAG,UACnD,MAAM,QACR,MAAM,cACA,SAAS;gBArCA,QAAQ;;;;;;;;;;;kDA6EhC;AAED,eAAO,MAAM,eAAe,GAC1B,EAAE;iBAIe,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,yBAAyB,CAAC;;;mDAE3F,CAAA;AAEH,MAAM,WAAW,mBAAmB,CAClC,IAAI,SAAS,QAAQ,EACrB,MAAM,SAAS,MAAM,EACrB,SAAS,SAAS,MAAM;IAExB,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;IACzB,QAAQ,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAA;IAC1C,UAAU,EAAE,CAAC,IAAI,SAAS,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,GAAG,SAAS,GAAG,IAAI,EAAE,KAAK,IAAI,CAAA;IAC9E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,yBAAyB,CAAC,CAAA;CACpG;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"}
|
|
@@ -106,4 +106,4 @@ export const Url = S
|
|
|
106
106
|
}), S.annotate({
|
|
107
107
|
toArbitrary: () => (fc) => fc.webUrl().map((_) => _)
|
|
108
108
|
}), withDefaultMake);
|
|
109
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
109
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibW9yZVN0cmluZ3MuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvU2NoZW1hL21vcmVTdHJpbmdzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLE1BQU0sUUFBUSxDQUFBO0FBRXJDLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQTtBQUMxQyxPQUFPLEtBQUssQ0FBQyxNQUFNLGVBQWUsQ0FBQTtBQUVsQyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sRUFBRSxXQUFXLEVBQUUsTUFBTSxRQUFRLENBQUE7QUFDMUQsT0FBTyxTQUFTLE1BQU0sV0FBVyxDQUFBO0FBQ2pDLE9BQU8sRUFBRSxTQUFTLEVBQUUsT0FBTyxFQUFFLE1BQU0sWUFBWSxDQUFBO0FBQy9DLE9BQU8sRUFBRSxlQUFlLEVBQXFCLE1BQU0sVUFBVSxDQUFBO0FBSTdELE1BQU0sY0FBYyxHQUFHLENBQUMsQ0FBQyxjQUFjLENBQUE7QUFZdkM7O0dBRUc7QUFDSCxNQUFNLENBQUMsTUFBTSxnQkFBZ0IsR0FBRyxjQUFjLENBQUMsSUFBSSxDQUNqRCxDQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxXQUFXLENBQUMsRUFBRSxDQUFDLENBQUMsRUFDMUIsU0FBUyxDQUFtQixPQUFPLEVBQW9CLEVBQUU7SUFDdkQsVUFBVSxFQUFFLGtCQUFrQjtJQUM5QixVQUFVLEVBQUUsRUFBRTtDQUNmLENBQUMsRUFDRixlQUFlLENBQ2hCLENBQUE7QUFZRDs7R0FFRztBQUNILE1BQU0sQ0FBQyxNQUFNLGdCQUFnQixHQUFHLGNBQWMsQ0FBQyxJQUFJLENBQ2pELENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUMxQixTQUFTLENBQW1CLE9BQU8sRUFBb0IsRUFBRTtJQUN2RCxVQUFVLEVBQUUsa0JBQWtCO0lBQzlCLFVBQVUsRUFBRSxFQUFFO0NBQ2YsQ0FBQyxFQUNGLGVBQWUsQ0FDaEIsQ0FBQTtBQVlEOztHQUVHO0FBRUgsTUFBTSxDQUFDLE1BQU0sZ0JBQWdCLEdBQUcsY0FBYyxDQUFDLElBQUksQ0FDakQsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsV0FBVyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQzFCLFNBQVMsQ0FBbUIsT0FBTyxFQUFvQixFQUFFO0lBQ3ZELFVBQVUsRUFBRSxrQkFBa0I7SUFDOUIsVUFBVSxFQUFFLEVBQUU7Q0FDZixDQUFDLEVBQ0YsZUFBZSxDQUNoQixDQUFBO0FBWUQ7O0dBRUc7QUFDSCxNQUFNLENBQUMsTUFBTSxpQkFBaUIsR0FBRyxjQUFjLENBQUMsSUFBSSxDQUNsRCxDQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxXQUFXLENBQUMsR0FBRyxDQUFDLENBQUMsRUFDM0IsU0FBUyxDQUFvQixPQUFPLEVBQXFCLEVBQUU7SUFDekQsVUFBVSxFQUFFLG1CQUFtQjtJQUMvQixVQUFVLEVBQUUsRUFBRTtDQUNmLENBQUMsRUFDRixlQUFlLENBQ2hCLENBQUE7QUFZRDs7R0FFRztBQUNILE1BQU0sQ0FBQyxNQUFNLGFBQWEsR0FBRyxJQUFJLENBQy9CLENBQUMsQ0FBQyxNQUFNLEVBQ1IsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsV0FBVyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxXQUFXLENBQUMsR0FBRyxDQUFDLENBQUMsRUFDN0MsU0FBUyxDQUFnQixPQUFPLEVBQWlCLEVBQUU7SUFDakQsVUFBVSxFQUFFLGVBQWU7SUFDM0IsVUFBVSxFQUFFLEVBQUU7Q0FDZixDQUFDLEVBQ0YsZUFBZSxDQUNoQixDQUFBO0FBWUQsTUFBTSxZQUFZLEdBQUcsR0FBYSxFQUFFLENBQUMsTUFBTSxFQUF5QixDQUFBO0FBQ3BFLE1BQU0sU0FBUyxHQUFHLENBQUMsQ0FBQTtBQUNuQixNQUFNLFNBQVMsR0FBRyxFQUFFLENBQUE7QUFDcEIsTUFBTSxJQUFJLEdBQUcsRUFBRSxDQUFBO0FBQ2YsTUFBTSxNQUFNLEdBQUcsRUFBRSxHQUFHLElBQUksQ0FBQTtBQUN4QixNQUFNLFdBQVcsR0FBRyxHQUE4QixFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUMxRCxFQUFFO0tBQ0MsVUFBVSxDQUFDLEVBQUUsU0FBUyxFQUFFLE1BQU0sRUFBRSxTQUFTLEVBQUUsTUFBTSxFQUFFLENBQUM7S0FDcEQsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxZQUFZLENBQUMsV0FBVyxFQUFFLElBQUksRUFBRSxDQUFDLElBQUksRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLFFBQVEsQ0FBQyxDQUFDLEVBQUUsSUFBSSxDQUFDLENBQUMsRUFBYyxDQUFDLENBQUE7QUFDN0Y7O0dBRUc7QUFDSCxNQUFNLENBQUMsTUFBTSxRQUFRLEdBQUcsT0FBTyxDQUM3QixJQUFJLENBQ0YsQ0FBQyxDQUFDLE1BQU0sRUFDUixDQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxXQUFXLENBQUMsU0FBUyxDQUFDLEVBQUUsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxTQUFTLENBQUMsQ0FBQyxFQUMzRCxTQUFTLENBQVcsT0FBTyxFQUFZLEVBQUU7SUFDdkMsVUFBVSxFQUFFLFVBQVU7SUFDdEIsV0FBVyxFQUFFLEdBQUcsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLEVBQUUsQ0FBQyxXQUFXLEVBQUUsQ0FBQyxFQUFFLENBQUM7SUFDNUMsVUFBVSxFQUFFLEVBQUU7Q0FDZixDQUFDLENBQ0gsRUFDRCxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQztJQUNOLElBQUksRUFBRSxZQUFZO0lBQ2xCLFdBQVcsRUFBRSxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQyxzQkFBc0IsQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLFlBQVksQ0FBQyxDQUFDLENBQUM7Q0FDekUsQ0FBQyxDQUNIO0tBQ0UsSUFBSSxDQUFDLGVBQWUsQ0FBQyxDQUFBO0FBRXhCLHdGQUF3RjtBQUV4RiwrRkFBK0Y7QUFFL0YsTUFBTSxVQUFVLGdCQUFnQjtJQUM5QixPQUFPLENBQ0wsTUFBYyxFQUNkLElBQVksRUFDWixTQUFxQixFQUNyQixFQUFFO1FBRUYsTUFBTSxJQUFJLEdBQUcsR0FBRyxNQUFNLEdBQUcsU0FBUyxJQUFJLEdBQUcsRUFBZ0IsQ0FBQTtRQUN6RCxNQUFNLEdBQUcsR0FBRyxHQUEwQixFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUM5QyxXQUFXLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxHQUFHLENBQ25CLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLElBQUksR0FBRyxDQUFDLENBQUMsU0FBUyxDQUFDLENBQUMsRUFBRSxFQUFFLEdBQUcsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFTLENBQ3pELENBQUE7UUFDSCxtRUFBbUU7UUFDbkUsTUFBTSxDQUFDLEdBQUcsUUFBUTthQUNmLElBQUksQ0FDSCxDQUFDLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBUyxFQUFhLEVBQUUsQ0FBQyxDQUFDLENBQUMsVUFBVSxDQUFDLElBQUksQ0FBQyxFQUFFO1lBQ3JELFVBQVUsRUFBRSxJQUFJO1NBQ2pCLENBQUMsRUFDRixDQUFDLENBQUMsUUFBUSxDQUFDO1lBQ1QsV0FBVyxFQUFFLEdBQUcsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLEVBQUUsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxFQUFFLENBQUM7U0FDckMsQ0FBQyxDQUNILENBQUE7UUFDSCxNQUFNLE1BQU0sR0FBRyxDQUFDLENBQUMsSUFBSSxDQUFDLGVBQWUsQ0FBQyxDQUFBO1FBQ3RDLE1BQU0sSUFBSSxHQUFHLEdBQUcsRUFBRSxDQUFDLENBQUMsSUFBSSxHQUFHLFFBQVEsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxTQUFTLENBQUMsQ0FBQyxFQUFFLEVBQUUsR0FBRyxJQUFJLENBQUMsTUFBTSxDQUFDLENBQVMsQ0FBQTtRQUVsRixPQUFPLE9BQU8sQ0FDWixNQUFNLEVBQ04sQ0FBQyxFQUFFLEVBQWdELEVBQUUsQ0FBQyxDQUFDO1lBQ3JELElBQUk7WUFDSjs7ZUFFRztZQUNILFVBQVUsRUFBRSxDQUFDLEdBQVcsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLElBQUksR0FBRyxHQUFHLENBQUM7WUFDM0M7O2VBRUc7WUFDSCxVQUFVLEVBQUUsQ0FBc0IsR0FBbUMsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLEdBQUcsQ0FBQztZQUNqRixNQUFNO1lBQ04sV0FBVyxFQUFFLE1BQU0sQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLHNCQUFzQixDQUMvQyxNQUFNLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUNsQixDQUFDO1NBQ0gsQ0FBQyxDQUNILENBQUE7SUFDSCxDQUFDLENBQUE7QUFDSCxDQUFDO0FBRUQsTUFBTSxDQUFDLE1BQU0sZUFBZSxHQUFHLEdBRTNCLEVBQUUsQ0FDSixlQUFlLENBQ2IsTUFBTSxDQUFDLE1BQU0sQ0FBQyxNQUFNLENBQUMsTUFBTSxDQUFDLFFBQVEsQ0FBQyxFQUFFLFFBQVEsQ0FFVixDQUN0QyxDQUFBO0FBa0JILE1BQU0sS0FBSyxHQUE0QixDQUFDLENBQVMsRUFBWSxFQUFFO0lBQzdELE9BQU8sU0FBUyxDQUFDLE9BQU8sQ0FBQyxLQUFLLENBQUMsQ0FBQyxFQUFFLEVBQUUsV0FBVyxFQUFFLEtBQUssRUFBRSxDQUFDLENBQUE7QUFDM0QsQ0FBQyxDQUFBO0FBRUQsTUFBTSxDQUFDLE1BQU0sR0FBRyxHQUFHLENBQUM7S0FDakIsTUFBTTtLQUNOLElBQUksQ0FDSCxDQUFDLENBQUMsUUFBUSxDQUFDO0lBQ1QsS0FBSyxFQUFFLEtBQUs7SUFDWixNQUFNLEVBQUUsS0FBSztDQUNkLENBQUMsRUFDRixDQUFDLENBQUMsTUFBTSxDQUFDLEtBQUssRUFBRTtJQUNkLFVBQVUsRUFBRSxLQUFLO0lBQ2pCLFVBQVUsRUFBRSxFQUFFLE1BQU0sRUFBRSxLQUFLLEVBQUU7Q0FDOUIsQ0FBQyxFQUNGLENBQUMsQ0FBQyxRQUFRLENBQUM7SUFDVCxXQUFXLEVBQUUsR0FBRyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQVEsQ0FBQztDQUM1RCxDQUFDLEVBQ0YsZUFBZSxDQUNoQixDQUFBIn0=
|
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/dist/ids.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { type Codec, NonEmptyString255,
|
|
1
|
+
import { type Codec, NonEmptyString255, type StringIdBrand } from "effect-app/Schema";
|
|
2
2
|
import type { B } from "effect-app/Schema/schema";
|
|
3
3
|
import type { Simplify } from "effect/Types";
|
|
4
4
|
import { S } from "./index.js";
|
|
@@ -15,12 +15,10 @@ export declare const RequestId: S.WithDefaults<Codec<NonEmptyString255, string,
|
|
|
15
15
|
};
|
|
16
16
|
export interface UserProfileIdBrand extends Simplify<B.Brand<"UserProfileId"> & StringIdBrand> {
|
|
17
17
|
}
|
|
18
|
-
export type UserProfileId =
|
|
19
|
-
export declare const UserProfileId: S.WithDefaults<Codec<
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
} & S.WithDefaults<Codec<string & StringIdBrand & UserProfileIdBrand, string, never, never>>;
|
|
26
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaWRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvaWRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBbUIsS0FBSyxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsUUFBUSxFQUFFLEtBQUssYUFBYSxFQUFtQixNQUFNLG1CQUFtQixDQUFBO0FBQ2pJLE9BQU8sS0FBSyxFQUFFLENBQUMsRUFBRSxNQUFNLDBCQUEwQixDQUFBO0FBQ2pELE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLGNBQWMsQ0FBQTtBQUM1QyxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sWUFBWSxDQUFBO0FBRzlCLE1BQU0sV0FBVyxjQUFlLFNBQVEsYUFBYTtJQUNuRCxRQUFRLENBQUMsU0FBUyxFQUFFLE9BQU8sTUFBTSxDQUFBO0NBQ2xDO0FBRUQsTUFBTSxNQUFNLFNBQVMsR0FBRyxpQkFBaUIsQ0FBQTtBQUV6QyxlQUFPLE1BQU0sU0FBUztnQkFJa0IsaUJBQWlCOzs7OztDQU9qQyxDQUFBO0FBRXhCLE1BQU0sV0FBVyxrQkFBbUIsU0FBUSxRQUFRLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxlQUFlLENBQUMsR0FBRyxhQUFhLENBQUM7Q0FBRztBQUNqRyxNQUFNLE1BQU0sYUFBYSxHQUFHLFFBQVEsR0FBRyxrQkFBa0IsQ0FBQTtBQUN6RCxlQUFPLE1BQU0sYUFBYTs7Ozs7OzRGQUFtQyxDQUFBIn0=
|
|
18
|
+
export type UserProfileId = string & UserProfileIdBrand;
|
|
19
|
+
export declare const UserProfileId: S.WithDefaults<Codec<UserProfileId, string, never, never> & {
|
|
20
|
+
withDefault: S.withConstructorDefault<Codec<UserProfileId, string, never, never> & S.WithoutConstructorDefault>;
|
|
21
|
+
} & S.WithDefaults<Codec<UserProfileId, string, never, never>>> & Codec<UserProfileId, string, never, never> & {
|
|
22
|
+
withDefault: S.withConstructorDefault<Codec<UserProfileId, string, never, never> & S.WithoutConstructorDefault>;
|
|
23
|
+
} & S.WithDefaults<Codec<UserProfileId, string, never, never>>;
|
|
24
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaWRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvaWRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBbUIsS0FBSyxLQUFLLEVBQUUsaUJBQWlCLEVBQVksS0FBSyxhQUFhLEVBQW1CLE1BQU0sbUJBQW1CLENBQUE7QUFDakksT0FBTyxLQUFLLEVBQUUsQ0FBQyxFQUFFLE1BQU0sMEJBQTBCLENBQUE7QUFDakQsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sY0FBYyxDQUFBO0FBQzVDLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxZQUFZLENBQUE7QUFHOUIsTUFBTSxXQUFXLGNBQWUsU0FBUSxhQUFhO0lBQ25ELFFBQVEsQ0FBQyxTQUFTLEVBQUUsT0FBTyxNQUFNLENBQUE7Q0FDbEM7QUFFRCxNQUFNLE1BQU0sU0FBUyxHQUFHLGlCQUFpQixDQUFBO0FBRXpDLGVBQU8sTUFBTSxTQUFTO2dCQUlrQixpQkFBaUI7Ozs7O0NBT2pDLENBQUE7QUFFeEIsTUFBTSxXQUFXLGtCQUFtQixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLGVBQWUsQ0FBQyxHQUFHLGFBQWEsQ0FBQztDQUFHO0FBQ2pHLE1BQU0sTUFBTSxhQUFhLEdBQUcsTUFBTSxHQUFHLGtCQUFrQixDQUFBO0FBQ3ZELGVBQU8sTUFBTSxhQUFhOzs7OzhEQUFtQyxDQUFBIn0=
|
package/dist/ids.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ids.d.ts","sourceRoot":"","sources":["../src/ids.ts"],"names":[],"mappings":"AACA,OAAO,EAAmB,KAAK,KAAK,EAAE,iBAAiB,
|
|
1
|
+
{"version":3,"file":"ids.d.ts","sourceRoot":"","sources":["../src/ids.ts"],"names":[],"mappings":"AACA,OAAO,EAAmB,KAAK,KAAK,EAAE,iBAAiB,EAAY,KAAK,aAAa,EAAmB,MAAM,mBAAmB,CAAA;AACjI,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,0BAA0B,CAAA;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,CAAC,EAAE,MAAM,YAAY,CAAA;AAG9B,MAAM,WAAW,cAAe,SAAQ,aAAa;IACnD,QAAQ,CAAC,SAAS,EAAE,OAAO,MAAM,CAAA;CAClC;AAED,MAAM,MAAM,SAAS,GAAG,iBAAiB,CAAA;AAEzC,eAAO,MAAM,SAAS;gBAIkB,iBAAiB;;;;;CAOjC,CAAA;AAExB,MAAM,WAAW,kBAAmB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,GAAG,aAAa,CAAC;CAAG;AACjG,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,kBAAkB,CAAA;AACvD,eAAO,MAAM,aAAa;;;;8DAAmC,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>,
|
|
@@ -167,7 +167,7 @@ export const StringId = extendM(
|
|
|
167
167
|
|
|
168
168
|
// const prefixedStringIdUnsafeThunk = (prefix: string) => () => prefixedStringIdUnsafe(prefix)
|
|
169
169
|
|
|
170
|
-
export function prefixedStringId<
|
|
170
|
+
export function prefixedStringId<Type extends StringId>() {
|
|
171
171
|
return <Prefix extends string, Separator extends string = "-">(
|
|
172
172
|
prefix: Prefix,
|
|
173
173
|
name: string,
|
|
@@ -175,14 +175,14 @@ export function prefixedStringId<Brand extends StringId>() {
|
|
|
175
175
|
) => {
|
|
176
176
|
type FullPrefix = `${Prefix}${Separator}`
|
|
177
177
|
const pref = `${prefix}${separator ?? "-"}` as FullPrefix
|
|
178
|
-
const arb = (): S.LazyArbitrary<
|
|
178
|
+
const arb = (): S.LazyArbitrary<Type> => (fc) =>
|
|
179
179
|
StringIdArb()(fc).map(
|
|
180
|
-
(x) => (pref + x.substring(0, 50 - pref.length)) as
|
|
180
|
+
(x) => (pref + x.substring(0, 50 - pref.length)) as Type
|
|
181
181
|
)
|
|
182
182
|
// eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
|
|
183
183
|
const s = StringId
|
|
184
184
|
.pipe(
|
|
185
|
-
S.refine((x: string): x is
|
|
185
|
+
S.refine((x: string): x is Type => x.startsWith(pref), {
|
|
186
186
|
identifier: name
|
|
187
187
|
}),
|
|
188
188
|
S.annotate({
|
|
@@ -190,11 +190,11 @@ export function prefixedStringId<Brand extends StringId>() {
|
|
|
190
190
|
})
|
|
191
191
|
)
|
|
192
192
|
const schema = s.pipe(withDefaultMake)
|
|
193
|
-
const make = () => (pref + StringId.make().substring(0, 50 - pref.length)) as
|
|
193
|
+
const make = () => (pref + StringId.make().substring(0, 50 - pref.length)) as Type
|
|
194
194
|
|
|
195
195
|
return extendM(
|
|
196
196
|
schema,
|
|
197
|
-
(ex): PrefixedStringUtils<
|
|
197
|
+
(ex): PrefixedStringUtils<Type, Prefix, Separator> => ({
|
|
198
198
|
make,
|
|
199
199
|
/**
|
|
200
200
|
* Automatically adds the prefix.
|
|
@@ -205,7 +205,7 @@ export function prefixedStringId<Brand extends StringId>() {
|
|
|
205
205
|
*/
|
|
206
206
|
prefixSafe: <REST extends string>(str: `${Prefix}${Separator}${REST}`) => ex(str),
|
|
207
207
|
prefix,
|
|
208
|
-
withDefault: schema.pipe(S.withConstructorDefault<S.Codec<
|
|
208
|
+
withDefault: schema.pipe(S.withConstructorDefault<S.Codec<Type, string> & S.WithoutConstructorDefault>(
|
|
209
209
|
Effect.sync(make)
|
|
210
210
|
))
|
|
211
211
|
})
|
|
@@ -214,25 +214,24 @@ export function prefixedStringId<Brand extends StringId>() {
|
|
|
214
214
|
}
|
|
215
215
|
|
|
216
216
|
export const brandedStringId = <
|
|
217
|
-
|
|
217
|
+
Id
|
|
218
218
|
>() =>
|
|
219
219
|
withDefaultMake(
|
|
220
|
-
Object.assign(Object.create(StringId), StringId) as S.Codec<
|
|
221
|
-
|
|
222
|
-
|
|
223
|
-
} & WithDefaults<S.Codec<string & Brand, string>>
|
|
220
|
+
Object.assign(Object.create(StringId), StringId) as S.Codec<Id, string> & {
|
|
221
|
+
withDefault: S.withConstructorDefault<S.Codec<Id, string> & S.WithoutConstructorDefault>
|
|
222
|
+
} & WithDefaults<S.Codec<Id, string>>
|
|
224
223
|
)
|
|
225
224
|
|
|
226
225
|
export interface PrefixedStringUtils<
|
|
227
|
-
|
|
226
|
+
Type extends StringId,
|
|
228
227
|
Prefix extends string,
|
|
229
228
|
Separator extends string
|
|
230
229
|
> {
|
|
231
|
-
readonly make: () =>
|
|
232
|
-
readonly unsafeFrom: (str: string) =>
|
|
233
|
-
prefixSafe: <REST extends string>(str: `${Prefix}${Separator}${REST}`) =>
|
|
230
|
+
readonly make: () => Type
|
|
231
|
+
readonly unsafeFrom: (str: string) => Type
|
|
232
|
+
prefixSafe: <REST extends string>(str: `${Prefix}${Separator}${REST}`) => Type
|
|
234
233
|
readonly prefix: Prefix
|
|
235
|
-
readonly withDefault: S.withConstructorDefault<S.Codec<
|
|
234
|
+
readonly withDefault: S.withConstructorDefault<S.Codec<Type, string> & S.WithoutConstructorDefault>
|
|
236
235
|
}
|
|
237
236
|
|
|
238
237
|
export interface UrlBrand extends Simplify<B.Brand<"Url"> & NonEmptyStringBrand> {}
|
package/src/ids.ts
CHANGED
|
@@ -25,5 +25,5 @@ export const RequestId = extendM(
|
|
|
25
25
|
.pipe(withDefaultMake)
|
|
26
26
|
|
|
27
27
|
export interface UserProfileIdBrand extends Simplify<B.Brand<"UserProfileId"> & StringIdBrand> {}
|
|
28
|
-
export type UserProfileId =
|
|
28
|
+
export type UserProfileId = string & UserProfileIdBrand
|
|
29
29
|
export const UserProfileId = brandedStringId<UserProfileId>()
|