effect-app 4.0.0-beta.2 → 4.0.0-beta.200
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 +960 -0
- package/dist/Array.d.ts +1 -1
- package/dist/Chunk.d.ts +1 -1
- package/dist/Chunk.d.ts.map +1 -1
- package/dist/Config/SecretURL.d.ts +1 -1
- package/dist/Config/SecretURL.d.ts.map +1 -1
- package/dist/Config/SecretURL.js +2 -2
- package/dist/Config/internal/configSecretURL.d.ts +1 -1
- package/dist/Config/internal/configSecretURL.d.ts.map +1 -1
- package/dist/Config.d.ts +7 -0
- package/dist/Config.d.ts.map +1 -0
- package/dist/Config.js +6 -0
- package/dist/ConfigProvider.d.ts +39 -0
- package/dist/ConfigProvider.d.ts.map +1 -0
- package/dist/ConfigProvider.js +42 -0
- package/dist/Context.d.ts +40 -0
- package/dist/Context.d.ts.map +1 -0
- package/dist/Context.js +67 -0
- package/dist/Effect.d.ts +9 -10
- package/dist/Effect.d.ts.map +1 -1
- package/dist/Effect.js +3 -6
- package/dist/Function.d.ts +1 -1
- package/dist/Function.d.ts.map +1 -1
- package/dist/Inputify.type.d.ts +1 -1
- package/dist/Layer.d.ts +7 -6
- package/dist/Layer.d.ts.map +1 -1
- package/dist/Layer.js +1 -1
- package/dist/NonEmptySet.d.ts +1 -1
- package/dist/NonEmptySet.d.ts.map +1 -1
- package/dist/Option.d.ts +1 -1
- package/dist/Option.d.ts.map +1 -1
- package/dist/Pure.d.ts +5 -5
- package/dist/Pure.d.ts.map +1 -1
- package/dist/Pure.js +13 -13
- package/dist/Schema/Class.d.ts +66 -20
- package/dist/Schema/Class.d.ts.map +1 -1
- package/dist/Schema/Class.js +189 -22
- package/dist/Schema/FastCheck.d.ts +1 -1
- package/dist/Schema/FastCheck.d.ts.map +1 -1
- package/dist/Schema/Methods.d.ts +1 -1
- package/dist/Schema/SchemaParser.d.ts +5 -0
- package/dist/Schema/SchemaParser.d.ts.map +1 -0
- package/dist/Schema/SchemaParser.js +6 -0
- package/dist/Schema/SpecialJsonSchema.d.ts +33 -0
- package/dist/Schema/SpecialJsonSchema.d.ts.map +1 -0
- package/dist/Schema/SpecialJsonSchema.js +122 -0
- package/dist/Schema/SpecialOpenApi.d.ts +32 -0
- package/dist/Schema/SpecialOpenApi.d.ts.map +1 -0
- package/dist/Schema/SpecialOpenApi.js +123 -0
- package/dist/Schema/brand.d.ts +14 -6
- package/dist/Schema/brand.d.ts.map +1 -1
- package/dist/Schema/brand.js +1 -1
- package/dist/Schema/email.d.ts +1 -1
- package/dist/Schema/email.d.ts.map +1 -1
- package/dist/Schema/email.js +9 -5
- package/dist/Schema/ext.d.ts +121 -48
- package/dist/Schema/ext.d.ts.map +1 -1
- package/dist/Schema/ext.js +134 -52
- package/dist/Schema/moreStrings.d.ts +117 -17
- package/dist/Schema/moreStrings.d.ts.map +1 -1
- package/dist/Schema/moreStrings.js +19 -18
- package/dist/Schema/numbers.d.ts +127 -15
- package/dist/Schema/numbers.d.ts.map +1 -1
- package/dist/Schema/numbers.js +10 -12
- package/dist/Schema/phoneNumber.d.ts +1 -1
- package/dist/Schema/phoneNumber.d.ts.map +1 -1
- package/dist/Schema/phoneNumber.js +8 -4
- package/dist/Schema/schema.d.ts +1 -1
- package/dist/Schema/strings.d.ts +37 -5
- package/dist/Schema/strings.d.ts.map +1 -1
- package/dist/Schema/strings.js +1 -5
- package/dist/Schema.d.ts +159 -58
- package/dist/Schema.d.ts.map +1 -1
- package/dist/Schema.js +136 -68
- package/dist/Set.d.ts +1 -1
- package/dist/Set.d.ts.map +1 -1
- package/dist/TypeTest.d.ts +1 -1
- package/dist/Types.d.ts +1 -1
- package/dist/Widen.type.d.ts +1 -1
- package/dist/_ext/Array.d.ts +1 -1
- package/dist/_ext/Array.d.ts.map +1 -1
- package/dist/_ext/date.d.ts +1 -1
- package/dist/_ext/misc.d.ts +1 -1
- package/dist/_ext/ord.ext.d.ts +1 -1
- package/dist/_ext/ord.ext.d.ts.map +1 -1
- package/dist/builtin.d.ts +1 -1
- package/dist/builtin.d.ts.map +1 -1
- package/dist/client/InvalidationKeys.d.ts +29 -0
- package/dist/client/InvalidationKeys.d.ts.map +1 -0
- package/dist/client/InvalidationKeys.js +33 -0
- package/dist/client/apiClientFactory.d.ts +18 -32
- package/dist/client/apiClientFactory.d.ts.map +1 -1
- package/dist/client/apiClientFactory.js +98 -36
- package/dist/client/clientFor.d.ts +51 -17
- package/dist/client/clientFor.d.ts.map +1 -1
- package/dist/client/clientFor.js +9 -1
- package/dist/client/errors.d.ts +49 -25
- package/dist/client/errors.d.ts.map +1 -1
- package/dist/client/errors.js +43 -17
- package/dist/client/makeClient.d.ts +468 -32
- package/dist/client/makeClient.d.ts.map +1 -1
- package/dist/client/makeClient.js +61 -34
- package/dist/client.d.ts +2 -1
- package/dist/client.d.ts.map +1 -1
- package/dist/client.js +2 -1
- package/dist/faker.d.ts +1 -1
- package/dist/faker.d.ts.map +1 -1
- package/dist/http/Request.d.ts +2 -2
- package/dist/http/Request.d.ts.map +1 -1
- package/dist/http/Request.js +5 -5
- package/dist/http/internal/lib.d.ts +1 -1
- package/dist/http.d.ts +1 -1
- package/dist/ids.d.ts +9 -9
- package/dist/ids.d.ts.map +1 -1
- package/dist/ids.js +3 -2
- package/dist/index.d.ts +5 -9
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +6 -9
- package/dist/logger.d.ts +1 -1
- package/dist/middleware.d.ts +16 -9
- package/dist/middleware.d.ts.map +1 -1
- package/dist/middleware.js +13 -9
- package/dist/rpc/Invalidation.d.ts +397 -0
- package/dist/rpc/Invalidation.d.ts.map +1 -0
- package/dist/rpc/Invalidation.js +150 -0
- package/dist/rpc/MiddlewareMaker.d.ts +6 -5
- package/dist/rpc/MiddlewareMaker.d.ts.map +1 -1
- package/dist/rpc/MiddlewareMaker.js +51 -28
- package/dist/rpc/RpcContextMap.d.ts +3 -3
- package/dist/rpc/RpcContextMap.d.ts.map +1 -1
- package/dist/rpc/RpcContextMap.js +4 -4
- package/dist/rpc/RpcMiddleware.d.ts +6 -5
- package/dist/rpc/RpcMiddleware.d.ts.map +1 -1
- package/dist/rpc/RpcMiddleware.js +1 -1
- package/dist/rpc.d.ts +2 -2
- package/dist/rpc.d.ts.map +1 -1
- package/dist/rpc.js +2 -2
- package/dist/transform.d.ts +1 -1
- package/dist/transform.d.ts.map +1 -1
- package/dist/transform.js +3 -3
- package/dist/utils/effectify.d.ts +1 -1
- package/dist/utils/extend.d.ts +1 -1
- package/dist/utils/extend.d.ts.map +1 -1
- package/dist/utils/gen.d.ts +2 -2
- package/dist/utils/gen.d.ts.map +1 -1
- package/dist/utils/logLevel.d.ts +2 -2
- package/dist/utils/logLevel.d.ts.map +1 -1
- package/dist/utils/logger.d.ts +3 -3
- package/dist/utils/logger.d.ts.map +1 -1
- package/dist/utils/logger.js +3 -3
- package/dist/utils.d.ts +48 -10
- package/dist/utils.d.ts.map +1 -1
- package/dist/utils.js +33 -8
- package/dist/validation/validators.d.ts +1 -1
- package/dist/validation/validators.d.ts.map +1 -1
- package/dist/validation.d.ts +1 -1
- package/dist/validation.d.ts.map +1 -1
- package/package.json +46 -28
- package/src/Config/SecretURL.ts +2 -1
- package/src/Config.ts +14 -0
- package/src/ConfigProvider.ts +48 -0
- package/src/{ServiceMap.ts → Context.ts} +58 -64
- package/src/Effect.ts +12 -14
- package/src/Layer.ts +6 -5
- package/src/Pure.ts +17 -18
- package/src/Schema/Class.ts +268 -62
- package/src/Schema/SchemaParser.ts +12 -0
- package/src/Schema/SpecialJsonSchema.ts +137 -0
- package/src/Schema/SpecialOpenApi.ts +130 -0
- package/src/Schema/brand.ts +21 -7
- package/src/Schema/email.ts +10 -3
- package/src/Schema/ext.ts +226 -86
- package/src/Schema/moreStrings.ts +37 -32
- package/src/Schema/numbers.ts +14 -16
- package/src/Schema/phoneNumber.ts +8 -2
- package/src/Schema/strings.ts +4 -8
- package/src/Schema.ts +350 -107
- package/src/client/InvalidationKeys.ts +50 -0
- package/src/client/apiClientFactory.ts +227 -136
- package/src/client/clientFor.ts +86 -29
- package/src/client/errors.ts +61 -26
- package/src/client/makeClient.ts +530 -80
- package/src/client.ts +1 -0
- package/src/http/Request.ts +7 -4
- package/src/ids.ts +3 -2
- package/src/index.ts +5 -11
- package/src/middleware.ts +12 -10
- package/src/rpc/Invalidation.ts +221 -0
- package/src/rpc/MiddlewareMaker.ts +61 -51
- package/src/rpc/README.md +2 -2
- package/src/rpc/RpcContextMap.ts +6 -5
- package/src/rpc/RpcMiddleware.ts +6 -5
- package/src/rpc.ts +1 -1
- package/src/transform.ts +2 -2
- package/src/utils/gen.ts +1 -1
- package/src/utils/logger.ts +2 -2
- package/src/utils.ts +73 -15
- package/test/dist/moreStrings.test.d.ts.map +1 -0
- package/test/dist/rpc.test.d.ts.map +1 -1
- package/test/dist/secretURL.test.d.ts.map +1 -0
- package/test/dist/special.test.d.ts.map +1 -0
- package/test/moreStrings.test.ts +17 -0
- package/test/rpc.test.ts +38 -6
- package/test/schema.test.ts +609 -4
- package/test/secretURL.test.ts +157 -0
- package/test/special.test.ts +1023 -0
- package/test/utils.test.ts +6 -6
- package/tsconfig.base.json +3 -4
- package/tsconfig.json +0 -1
- package/tsconfig.json.bak +2 -2
- package/tsconfig.src.json +29 -29
- package/tsconfig.test.json +2 -2
- package/dist/Operations.d.ts +0 -87
- package/dist/Operations.d.ts.map +0 -1
- package/dist/Operations.js +0 -29
- package/dist/ServiceMap.d.ts +0 -44
- package/dist/ServiceMap.d.ts.map +0 -1
- package/dist/ServiceMap.js +0 -91
- package/dist/Struct.d.ts +0 -44
- package/dist/Struct.d.ts.map +0 -1
- package/dist/Struct.js +0 -29
- package/eslint.config.mjs +0 -26
- package/src/Operations.ts +0 -55
- package/src/Struct.ts +0 -54
|
@@ -1,17 +1,16 @@
|
|
|
1
|
-
import { pipe } from "effect";
|
|
1
|
+
import { Effect, pipe } from "effect";
|
|
2
2
|
import { extendM } from "effect-app/utils";
|
|
3
3
|
import * as S from "effect/Schema";
|
|
4
4
|
import { customRandom, nanoid, urlAlphabet } from "nanoid";
|
|
5
5
|
import validator from "validator";
|
|
6
6
|
import { fromBrand, nominal } from "./brand.js";
|
|
7
|
-
import {
|
|
7
|
+
import { withDefaultMake } from "./ext.js";
|
|
8
8
|
const nonEmptyString = S.NonEmptyString;
|
|
9
9
|
/**
|
|
10
10
|
* A string that is at least 1 character long and a maximum of 50.
|
|
11
11
|
*/
|
|
12
12
|
export const NonEmptyString50 = nonEmptyString.pipe(S.check(S.isMaxLength(50)), fromBrand(nominal(), {
|
|
13
13
|
identifier: "NonEmptyString50",
|
|
14
|
-
title: "NonEmptyString50",
|
|
15
14
|
jsonSchema: {}
|
|
16
15
|
}), withDefaultMake);
|
|
17
16
|
/**
|
|
@@ -19,7 +18,6 @@ export const NonEmptyString50 = nonEmptyString.pipe(S.check(S.isMaxLength(50)),
|
|
|
19
18
|
*/
|
|
20
19
|
export const NonEmptyString64 = nonEmptyString.pipe(S.check(S.isMaxLength(64)), fromBrand(nominal(), {
|
|
21
20
|
identifier: "NonEmptyString64",
|
|
22
|
-
title: "NonEmptyString64",
|
|
23
21
|
jsonSchema: {}
|
|
24
22
|
}), withDefaultMake);
|
|
25
23
|
/**
|
|
@@ -27,7 +25,6 @@ export const NonEmptyString64 = nonEmptyString.pipe(S.check(S.isMaxLength(64)),
|
|
|
27
25
|
*/
|
|
28
26
|
export const NonEmptyString80 = nonEmptyString.pipe(S.check(S.isMaxLength(80)), fromBrand(nominal(), {
|
|
29
27
|
identifier: "NonEmptyString80",
|
|
30
|
-
title: "NonEmptyString80",
|
|
31
28
|
jsonSchema: {}
|
|
32
29
|
}), withDefaultMake);
|
|
33
30
|
/**
|
|
@@ -35,13 +32,15 @@ export const NonEmptyString80 = nonEmptyString.pipe(S.check(S.isMaxLength(80)),
|
|
|
35
32
|
*/
|
|
36
33
|
export const NonEmptyString100 = nonEmptyString.pipe(S.check(S.isMaxLength(100)), fromBrand(nominal(), {
|
|
37
34
|
identifier: "NonEmptyString100",
|
|
38
|
-
title: "NonEmptyString100",
|
|
39
35
|
jsonSchema: {}
|
|
40
36
|
}), withDefaultMake);
|
|
41
37
|
/**
|
|
42
38
|
* A string that is at least 3 character long and a maximum of 255.
|
|
43
39
|
*/
|
|
44
|
-
export const Min3String255 = pipe(S.String, S.check(S.isMinLength(3), S.isMaxLength(255)), fromBrand(nominal(), {
|
|
40
|
+
export const Min3String255 = pipe(S.String, S.check(S.isMinLength(3), S.isMaxLength(255)), fromBrand(nominal(), {
|
|
41
|
+
identifier: "Min3String255",
|
|
42
|
+
jsonSchema: {}
|
|
43
|
+
}), withDefaultMake);
|
|
45
44
|
const makeStringId = () => nanoid();
|
|
46
45
|
const minLength = 6;
|
|
47
46
|
const maxLength = 50;
|
|
@@ -55,12 +54,11 @@ const StringIdArb = () => (fc) => fc
|
|
|
55
54
|
*/
|
|
56
55
|
export const StringId = extendM(pipe(S.String, S.check(S.isMinLength(minLength), S.isMaxLength(maxLength)), fromBrand(nominal(), {
|
|
57
56
|
identifier: "StringId",
|
|
58
|
-
|
|
59
|
-
arbitrary: StringIdArb,
|
|
57
|
+
toArbitrary: () => (fc) => StringIdArb()(fc),
|
|
60
58
|
jsonSchema: {}
|
|
61
59
|
})), (s) => ({
|
|
62
60
|
make: makeStringId,
|
|
63
|
-
withDefault: s.pipe(
|
|
61
|
+
withDefault: s.pipe(S.withConstructorDefault(Effect.sync(makeStringId)))
|
|
64
62
|
}))
|
|
65
63
|
.pipe(withDefaultMake);
|
|
66
64
|
// const prefixedStringIdUnsafe = (prefix: string) => StringId(prefix + StringId.make())
|
|
@@ -72,9 +70,9 @@ export function prefixedStringId() {
|
|
|
72
70
|
// eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
|
|
73
71
|
const s = StringId
|
|
74
72
|
.pipe(S.refine((x) => x.startsWith(pref), {
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
|
|
73
|
+
identifier: name
|
|
74
|
+
}), S.annotate({
|
|
75
|
+
toArbitrary: () => (fc) => arb()(fc)
|
|
78
76
|
}));
|
|
79
77
|
const schema = s.pipe(withDefaultMake);
|
|
80
78
|
const make = () => (pref + StringId.make().substring(0, 50 - pref.length));
|
|
@@ -89,7 +87,7 @@ export function prefixedStringId() {
|
|
|
89
87
|
*/
|
|
90
88
|
prefixSafe: (str) => ex(str),
|
|
91
89
|
prefix,
|
|
92
|
-
withDefault: schema.pipe(
|
|
90
|
+
withDefault: schema.pipe(S.withConstructorDefault(Effect.sync(make)))
|
|
93
91
|
}));
|
|
94
92
|
};
|
|
95
93
|
}
|
|
@@ -99,10 +97,13 @@ const isUrl = (s) => {
|
|
|
99
97
|
};
|
|
100
98
|
export const Url = S
|
|
101
99
|
.String
|
|
102
|
-
.pipe(S.
|
|
103
|
-
arbitrary: () => (fc) => fc.webUrl().map((_) => _),
|
|
104
|
-
identifier: "Url",
|
|
100
|
+
.pipe(S.annotate({
|
|
105
101
|
title: "Url",
|
|
102
|
+
format: "uri"
|
|
103
|
+
}), S.refine(isUrl, {
|
|
104
|
+
identifier: "Url",
|
|
106
105
|
jsonSchema: { format: "uri" }
|
|
106
|
+
}), S.annotate({
|
|
107
|
+
toArbitrary: () => (fc) => fc.webUrl().map((_) => _)
|
|
107
108
|
}), withDefaultMake);
|
|
108
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
109
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibW9yZVN0cmluZ3MuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvU2NoZW1hL21vcmVTdHJpbmdzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLE1BQU0sUUFBUSxDQUFBO0FBRXJDLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQTtBQUMxQyxPQUFPLEtBQUssQ0FBQyxNQUFNLGVBQWUsQ0FBQTtBQUVsQyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sRUFBRSxXQUFXLEVBQUUsTUFBTSxRQUFRLENBQUE7QUFDMUQsT0FBTyxTQUFTLE1BQU0sV0FBVyxDQUFBO0FBQ2pDLE9BQU8sRUFBRSxTQUFTLEVBQUUsT0FBTyxFQUFFLE1BQU0sWUFBWSxDQUFBO0FBQy9DLE9BQU8sRUFBRSxlQUFlLEVBQXFCLE1BQU0sVUFBVSxDQUFBO0FBSTdELE1BQU0sY0FBYyxHQUFHLENBQUMsQ0FBQyxjQUFjLENBQUE7QUFZdkM7O0dBRUc7QUFDSCxNQUFNLENBQUMsTUFBTSxnQkFBZ0IsR0FBRyxjQUFjLENBQUMsSUFBSSxDQUNqRCxDQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxXQUFXLENBQUMsRUFBRSxDQUFDLENBQUMsRUFDMUIsU0FBUyxDQUFtQixPQUFPLEVBQW9CLEVBQUU7SUFDdkQsVUFBVSxFQUFFLGtCQUFrQjtJQUM5QixVQUFVLEVBQUUsRUFBRTtDQUNmLENBQUMsRUFDRixlQUFlLENBQ2hCLENBQUE7QUFZRDs7R0FFRztBQUNILE1BQU0sQ0FBQyxNQUFNLGdCQUFnQixHQUFHLGNBQWMsQ0FBQyxJQUFJLENBQ2pELENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUMxQixTQUFTLENBQW1CLE9BQU8sRUFBb0IsRUFBRTtJQUN2RCxVQUFVLEVBQUUsa0JBQWtCO0lBQzlCLFVBQVUsRUFBRSxFQUFFO0NBQ2YsQ0FBQyxFQUNGLGVBQWUsQ0FDaEIsQ0FBQTtBQVlEOztHQUVHO0FBRUgsTUFBTSxDQUFDLE1BQU0sZ0JBQWdCLEdBQUcsY0FBYyxDQUFDLElBQUksQ0FDakQsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsV0FBVyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQzFCLFNBQVMsQ0FBbUIsT0FBTyxFQUFvQixFQUFFO0lBQ3ZELFVBQVUsRUFBRSxrQkFBa0I7SUFDOUIsVUFBVSxFQUFFLEVBQUU7Q0FDZixDQUFDLEVBQ0YsZUFBZSxDQUNoQixDQUFBO0FBWUQ7O0dBRUc7QUFDSCxNQUFNLENBQUMsTUFBTSxpQkFBaUIsR0FBRyxjQUFjLENBQUMsSUFBSSxDQUNsRCxDQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxXQUFXLENBQUMsR0FBRyxDQUFDLENBQUMsRUFDM0IsU0FBUyxDQUFvQixPQUFPLEVBQXFCLEVBQUU7SUFDekQsVUFBVSxFQUFFLG1CQUFtQjtJQUMvQixVQUFVLEVBQUUsRUFBRTtDQUNmLENBQUMsRUFDRixlQUFlLENBQ2hCLENBQUE7QUFZRDs7R0FFRztBQUNILE1BQU0sQ0FBQyxNQUFNLGFBQWEsR0FBRyxJQUFJLENBQy9CLENBQUMsQ0FBQyxNQUFNLEVBQ1IsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsV0FBVyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxXQUFXLENBQUMsR0FBRyxDQUFDLENBQUMsRUFDN0MsU0FBUyxDQUFnQixPQUFPLEVBQWlCLEVBQUU7SUFDakQsVUFBVSxFQUFFLGVBQWU7SUFDM0IsVUFBVSxFQUFFLEVBQUU7Q0FDZixDQUFDLEVBQ0YsZUFBZSxDQUNoQixDQUFBO0FBWUQsTUFBTSxZQUFZLEdBQUcsR0FBYSxFQUFFLENBQUMsTUFBTSxFQUF5QixDQUFBO0FBQ3BFLE1BQU0sU0FBUyxHQUFHLENBQUMsQ0FBQTtBQUNuQixNQUFNLFNBQVMsR0FBRyxFQUFFLENBQUE7QUFDcEIsTUFBTSxJQUFJLEdBQUcsRUFBRSxDQUFBO0FBQ2YsTUFBTSxNQUFNLEdBQUcsRUFBRSxHQUFHLElBQUksQ0FBQTtBQUN4QixNQUFNLFdBQVcsR0FBRyxHQUE4QixFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUMxRCxFQUFFO0tBQ0MsVUFBVSxDQUFDLEVBQUUsU0FBUyxFQUFFLE1BQU0sRUFBRSxTQUFTLEVBQUUsTUFBTSxFQUFFLENBQUM7S0FDcEQsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxZQUFZLENBQUMsV0FBVyxFQUFFLElBQUksRUFBRSxDQUFDLElBQUksRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLFFBQVEsQ0FBQyxDQUFDLEVBQUUsSUFBSSxDQUFDLENBQUMsRUFBYyxDQUFDLENBQUE7QUFDN0Y7O0dBRUc7QUFDSCxNQUFNLENBQUMsTUFBTSxRQUFRLEdBQUcsT0FBTyxDQUM3QixJQUFJLENBQ0YsQ0FBQyxDQUFDLE1BQU0sRUFDUixDQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxXQUFXLENBQUMsU0FBUyxDQUFDLEVBQUUsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxTQUFTLENBQUMsQ0FBQyxFQUMzRCxTQUFTLENBQVcsT0FBTyxFQUFZLEVBQUU7SUFDdkMsVUFBVSxFQUFFLFVBQVU7SUFDdEIsV0FBVyxFQUFFLEdBQUcsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLEVBQUUsQ0FBQyxXQUFXLEVBQUUsQ0FBQyxFQUFFLENBQUM7SUFDNUMsVUFBVSxFQUFFLEVBQUU7Q0FDZixDQUFDLENBQ0gsRUFDRCxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQztJQUNOLElBQUksRUFBRSxZQUFZO0lBQ2xCLFdBQVcsRUFBRSxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQyxzQkFBc0IsQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLFlBQVksQ0FBQyxDQUFDLENBQUM7Q0FDekUsQ0FBQyxDQUNIO0tBQ0UsSUFBSSxDQUFDLGVBQWUsQ0FBQyxDQUFBO0FBRXhCLHdGQUF3RjtBQUV4RiwrRkFBK0Y7QUFFL0YsTUFBTSxVQUFVLGdCQUFnQjtJQUM5QixPQUFPLENBQ0wsTUFBYyxFQUNkLElBQVksRUFDWixTQUFxQixFQUNyQixFQUFFO1FBRUYsTUFBTSxJQUFJLEdBQUcsR0FBRyxNQUFNLEdBQUcsU0FBUyxJQUFJLEdBQUcsRUFBZ0IsQ0FBQTtRQUN6RCxNQUFNLEdBQUcsR0FBRyxHQUFvQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUN4RCxXQUFXLEVBQUUsQ0FBQyxFQUFFLENBQUMsQ0FBQyxHQUFHLENBQ25CLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLElBQUksR0FBRyxDQUFDLENBQUMsU0FBUyxDQUFDLENBQUMsRUFBRSxFQUFFLEdBQUcsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFVLENBQzFELENBQUE7UUFDSCxtRUFBbUU7UUFDbkUsTUFBTSxDQUFDLEdBQUcsUUFBUTthQUNmLElBQUksQ0FDSCxDQUFDLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBUyxFQUF1QixFQUFFLENBQUMsQ0FBQyxDQUFDLFVBQVUsQ0FBQyxJQUFJLENBQUMsRUFBRTtZQUMvRCxVQUFVLEVBQUUsSUFBSTtTQUNqQixDQUFDLEVBQ0YsQ0FBQyxDQUFDLFFBQVEsQ0FBQztZQUNULFdBQVcsRUFBRSxHQUFHLEVBQUUsQ0FBQyxDQUFDLEVBQUUsRUFBRSxFQUFFLENBQUMsR0FBRyxFQUFFLENBQUMsRUFBRSxDQUFDO1NBQ3JDLENBQUMsQ0FDSCxDQUFBO1FBQ0gsTUFBTSxNQUFNLEdBQUcsQ0FBQyxDQUFDLElBQUksQ0FBQyxlQUFlLENBQUMsQ0FBQTtRQUN0QyxNQUFNLElBQUksR0FBRyxHQUFHLEVBQUUsQ0FBQyxDQUFDLElBQUksR0FBRyxRQUFRLENBQUMsSUFBSSxFQUFFLENBQUMsU0FBUyxDQUFDLENBQUMsRUFBRSxFQUFFLEdBQUcsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFVLENBQUE7UUFFbkYsT0FBTyxPQUFPLENBQ1osTUFBTSxFQUNOLENBQUMsRUFBRSxFQUFpRCxFQUFFLENBQUMsQ0FBQztZQUN0RCxJQUFJO1lBQ0o7O2VBRUc7WUFDSCxVQUFVLEVBQUUsQ0FBQyxHQUFXLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxJQUFJLEdBQUcsR0FBRyxDQUFDO1lBQzNDOztlQUVHO1lBQ0gsVUFBVSxFQUFFLENBQXNCLEdBQW1DLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxHQUFHLENBQUM7WUFDakYsTUFBTTtZQUNOLFdBQVcsRUFBRSxNQUFNLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQyxzQkFBc0IsQ0FDL0MsTUFBTSxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsQ0FDbEIsQ0FBQztTQUNILENBQUMsQ0FDSCxDQUFBO0lBQ0gsQ0FBQyxDQUFBO0FBQ0gsQ0FBQztBQUVELE1BQU0sQ0FBQyxNQUFNLGVBQWUsR0FBRyxHQUUzQixFQUFFLENBQ0osZUFBZSxDQUNiLE1BQU0sQ0FBQyxNQUFNLENBQUMsTUFBTSxDQUFDLE1BQU0sQ0FBQyxRQUFRLENBQUMsRUFBRSxRQUFRLENBR0UsQ0FDbEQsQ0FBQTtBQWtCSCxNQUFNLEtBQUssR0FBNEIsQ0FBQyxDQUFTLEVBQVksRUFBRTtJQUM3RCxPQUFPLFNBQVMsQ0FBQyxPQUFPLENBQUMsS0FBSyxDQUFDLENBQUMsRUFBRSxFQUFFLFdBQVcsRUFBRSxLQUFLLEVBQUUsQ0FBQyxDQUFBO0FBQzNELENBQUMsQ0FBQTtBQUVELE1BQU0sQ0FBQyxNQUFNLEdBQUcsR0FBRyxDQUFDO0tBQ2pCLE1BQU07S0FDTixJQUFJLENBQ0gsQ0FBQyxDQUFDLFFBQVEsQ0FBQztJQUNULEtBQUssRUFBRSxLQUFLO0lBQ1osTUFBTSxFQUFFLEtBQUs7Q0FDZCxDQUFDLEVBQ0YsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxLQUFLLEVBQUU7SUFDZCxVQUFVLEVBQUUsS0FBSztJQUNqQixVQUFVLEVBQUUsRUFBRSxNQUFNLEVBQUUsS0FBSyxFQUFFO0NBQzlCLENBQUMsRUFDRixDQUFDLENBQUMsUUFBUSxDQUFDO0lBQ1QsV0FBVyxFQUFFLEdBQUcsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsTUFBTSxFQUFFLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFRLENBQUM7Q0FDNUQsQ0FBQyxFQUNGLGVBQWUsQ0FDaEIsQ0FBQSJ9
|
package/dist/Schema/numbers.d.ts
CHANGED
|
@@ -3,44 +3,156 @@ 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<S.brand<S.Int, "
|
|
7
|
-
|
|
6
|
+
export declare const PositiveInt: import("./ext.js").WithDefaults<Omit<S.brand<S.Int, "Int" | "NonNegativeInt" | "NonNegativeNumber" | "PositiveInt" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
7
|
+
readonly Type: PositiveInt;
|
|
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
|
+
}>;
|
|
8
24
|
};
|
|
9
25
|
export type PositiveInt = number & PositiveIntBrand;
|
|
10
26
|
export interface NonNegativeIntBrand extends Simplify<B.Brand<"NonNegativeInt"> & IntBrand & NonNegativeNumberBrand> {
|
|
11
27
|
}
|
|
12
|
-
export declare const NonNegativeInt: import("./ext.js").WithDefaults<S.brand<S.Int, "
|
|
13
|
-
|
|
28
|
+
export declare const NonNegativeInt: import("./ext.js").WithDefaults<Omit<S.brand<S.Int, "Int" | "NonNegativeInt" | "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
29
|
+
readonly Type: NonNegativeInt;
|
|
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
|
+
}>;
|
|
14
46
|
};
|
|
15
47
|
export type NonNegativeInt = number & NonNegativeIntBrand;
|
|
16
48
|
export interface IntBrand extends Simplify<B.Brand<"Int">> {
|
|
17
49
|
}
|
|
18
|
-
export declare const Int: import("./ext.js").WithDefaults<S.brand<S.Int, "Int"
|
|
19
|
-
|
|
50
|
+
export declare const Int: import("./ext.js").WithDefaults<Omit<S.brand<S.Int, "Int">, "Iso" | "Type" | "~type.make"> & {
|
|
51
|
+
readonly Type: Int;
|
|
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
|
+
}>;
|
|
20
68
|
};
|
|
21
69
|
export type Int = number & IntBrand;
|
|
22
70
|
export interface PositiveNumberBrand extends Simplify<B.Brand<"PositiveNumber"> & NonNegativeNumberBrand> {
|
|
23
71
|
}
|
|
24
|
-
export declare const PositiveNumber: import("./ext.js").WithDefaults<S.brand<S.
|
|
25
|
-
|
|
72
|
+
export declare const PositiveNumber: import("./ext.js").WithDefaults<Omit<S.brand<S.Finite, "NonNegativeNumber" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
73
|
+
readonly Type: PositiveNumber;
|
|
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
|
+
}>;
|
|
26
90
|
};
|
|
27
91
|
export type PositiveNumber = number & PositiveNumberBrand;
|
|
28
92
|
export interface NonNegativeNumberBrand extends Simplify<B.Brand<"NonNegativeNumber">> {
|
|
29
93
|
}
|
|
30
|
-
export declare const NonNegativeNumber: import("./ext.js").WithDefaults<S.brand<S.
|
|
31
|
-
|
|
94
|
+
export declare const NonNegativeNumber: import("./ext.js").WithDefaults<Omit<S.brand<S.Finite, "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
95
|
+
readonly Type: NonNegativeNumber;
|
|
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
|
+
}>;
|
|
32
112
|
};
|
|
33
113
|
export type NonNegativeNumber = number & NonNegativeNumberBrand;
|
|
34
114
|
/** @deprecated Not an actual decimal */
|
|
35
|
-
export declare const NonNegativeDecimal: import("./ext.js").WithDefaults<S.brand<S.
|
|
36
|
-
|
|
115
|
+
export declare const NonNegativeDecimal: import("./ext.js").WithDefaults<Omit<S.brand<S.Finite, "NonNegativeNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
116
|
+
readonly Type: NonNegativeNumber;
|
|
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
|
+
}>;
|
|
37
133
|
};
|
|
38
134
|
/** @deprecated Not an actual decimal */
|
|
39
135
|
export type NonNegativeDecimal = NonNegativeNumber;
|
|
40
136
|
/** @deprecated Not an actual decimal */
|
|
41
|
-
export declare const PositiveDecimal: import("./ext.js").WithDefaults<S.brand<S.
|
|
42
|
-
|
|
137
|
+
export declare const PositiveDecimal: import("./ext.js").WithDefaults<Omit<S.brand<S.Finite, "NonNegativeNumber" | "PositiveNumber">, "Iso" | "Type" | "~type.make"> & {
|
|
138
|
+
readonly Type: PositiveNumber;
|
|
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
|
+
}>;
|
|
43
155
|
};
|
|
44
156
|
/** @deprecated Not an actual decimal */
|
|
45
157
|
export type PositiveDecimal = PositiveNumber;
|
|
46
|
-
//# sourceMappingURL=
|
|
158
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibnVtYmVycy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL1NjaGVtYS9udW1iZXJzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sS0FBSyxDQUFDLE1BQU0sZUFBZSxDQUFBO0FBQ2xDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLGNBQWMsQ0FBQTtBQUc1QyxPQUFPLEVBQUUsS0FBSyxDQUFDLEVBQUUsTUFBTSxhQUFhLENBQUE7QUFFcEMsTUFBTSxXQUFXLGdCQUNmLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsYUFBYSxDQUFDLEdBQUcsbUJBQW1CLEdBQUcsbUJBQW1CLENBQUM7Q0FDcEY7QUFDRixlQUFPLE1BQU0sV0FBVzs7Ozs7Ozs7Ozs7Ozs7Ozs7O0NBT3ZCLENBQUE7QUFDRCxNQUFNLE1BQU0sV0FBVyxHQUFHLE1BQU0sR0FBRyxnQkFBZ0IsQ0FBQTtBQUVuRCxNQUFNLFdBQVcsbUJBQW9CLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsZ0JBQWdCLENBQUMsR0FBRyxRQUFRLEdBQUcsc0JBQXNCLENBQUM7Q0FBRztBQUN2SCxlQUFPLE1BQU0sY0FBYzs7Ozs7Ozs7Ozs7Ozs7Ozs7O0NBVTFCLENBQUE7QUFDRCxNQUFNLE1BQU0sY0FBYyxHQUFHLE1BQU0sR0FBRyxtQkFBbUIsQ0FBQTtBQUV6RCxNQUFNLFdBQVcsUUFBUyxTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLEtBQUssQ0FBQyxDQUFDO0NBQUc7QUFDN0QsZUFBTyxNQUFNLEdBQUc7Ozs7Ozs7Ozs7Ozs7Ozs7OztDQUdmLENBQUE7QUFDRCxNQUFNLE1BQU0sR0FBRyxHQUFHLE1BQU0sR0FBRyxRQUFRLENBQUE7QUFFbkMsTUFBTSxXQUFXLG1CQUFvQixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLGdCQUFnQixDQUFDLEdBQUcsc0JBQXNCLENBQUM7Q0FBRztBQUM1RyxlQUFPLE1BQU0sY0FBYzs7Ozs7Ozs7Ozs7Ozs7Ozs7O0NBVTFCLENBQUE7QUFDRCxNQUFNLE1BQU0sY0FBYyxHQUFHLE1BQU0sR0FBRyxtQkFBbUIsQ0FBQTtBQUV6RCxNQUFNLFdBQVcsc0JBQXVCLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsbUJBQW1CLENBQUMsQ0FBQztDQUFHO0FBQ3pGLGVBQU8sTUFBTSxpQkFBaUI7Ozs7Ozs7Ozs7Ozs7Ozs7OztDQVk3QixDQUFBO0FBQ0QsTUFBTSxNQUFNLGlCQUFpQixHQUFHLE1BQU0sR0FBRyxzQkFBc0IsQ0FBQTtBQUUvRCx3Q0FBd0M7QUFDeEMsZUFBTyxNQUFNLGtCQUFrQjs7Ozs7Ozs7Ozs7Ozs7Ozs7O0NBQW9CLENBQUE7QUFDbkQsd0NBQXdDO0FBQ3hDLE1BQU0sTUFBTSxrQkFBa0IsR0FBRyxpQkFBaUIsQ0FBQTtBQUVsRCx3Q0FBd0M7QUFDeEMsZUFBTyxNQUFNLGVBQWU7Ozs7Ozs7Ozs7Ozs7Ozs7OztDQUFpQixDQUFBO0FBQzdDLHdDQUF3QztBQUN4QyxNQUFNLE1BQU0sZUFBZSxHQUFHLGNBQWMsQ0FBQSJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"numbers.d.ts","sourceRoot":"","sources":["../../src/Schema/numbers.ts"],"names":[],"mappings":"
|
|
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/numbers.js
CHANGED
|
@@ -1,28 +1,26 @@
|
|
|
1
|
+
import { Effect } from "effect";
|
|
1
2
|
import { extendM } from "effect-app/utils";
|
|
2
3
|
import * as S from "effect/Schema";
|
|
3
4
|
import { fromBrand, nominal } from "./brand.js";
|
|
4
|
-
import {
|
|
5
|
-
export const PositiveInt = extendM(S.Int.pipe(S.check(S.isGreaterThan(0)), fromBrand(nominal(), { identifier: "PositiveInt",
|
|
5
|
+
import { withDefaultMake } from "./ext.js";
|
|
6
|
+
export const PositiveInt = extendM(S.Int.pipe(S.check(S.isGreaterThan(0)), fromBrand(nominal(), { identifier: "PositiveInt", jsonSchema: {} }), withDefaultMake), (s) => ({ withDefault: s.pipe(S.withConstructorDefault(Effect.sync(() => s(1)))) }));
|
|
6
7
|
export const NonNegativeInt = extendM(S.Int.pipe(S.check(S.isGreaterThanOrEqualTo(0)), fromBrand(nominal(), {
|
|
7
8
|
identifier: "NonNegativeInt",
|
|
8
|
-
title: "NonNegativeInt",
|
|
9
9
|
jsonSchema: {}
|
|
10
|
-
}), withDefaultMake), (s) => ({ withDefault: s.pipe(
|
|
11
|
-
export const Int = extendM(S.Int.pipe(fromBrand(nominal(), { identifier: "Int",
|
|
12
|
-
export const PositiveNumber = extendM(S.
|
|
10
|
+
}), withDefaultMake), (s) => ({ withDefault: s.pipe(S.withConstructorDefault(Effect.sync(() => s(0)))) }));
|
|
11
|
+
export const Int = extendM(S.Int.pipe(fromBrand(nominal(), { identifier: "Int", jsonSchema: {} }), withDefaultMake), (s) => ({ withDefault: s.pipe(S.withConstructorDefault(Effect.sync(() => s(0)))) }));
|
|
12
|
+
export const PositiveNumber = extendM(S.Finite.pipe(S.check(S.isGreaterThan(0)), fromBrand(nominal(), {
|
|
13
13
|
identifier: "PositiveNumber",
|
|
14
|
-
title: "PositiveNumber",
|
|
15
14
|
jsonSchema: {}
|
|
16
|
-
}), withDefaultMake), (s) => ({ withDefault: s.pipe(
|
|
15
|
+
}), withDefaultMake), (s) => ({ withDefault: s.pipe(S.withConstructorDefault(Effect.sync(() => s(1)))) }));
|
|
17
16
|
export const NonNegativeNumber = extendM(S
|
|
18
|
-
.
|
|
17
|
+
.Finite
|
|
19
18
|
.pipe(S.check(S.isGreaterThanOrEqualTo(0)), fromBrand(nominal(), {
|
|
20
19
|
identifier: "NonNegativeNumber",
|
|
21
|
-
title: "NonNegativeNumber",
|
|
22
20
|
jsonSchema: {}
|
|
23
|
-
}), withDefaultMake), (s) => ({ withDefault: s.pipe(
|
|
21
|
+
}), withDefaultMake), (s) => ({ withDefault: s.pipe(S.withConstructorDefault(Effect.sync(() => s(0)))) }));
|
|
24
22
|
/** @deprecated Not an actual decimal */
|
|
25
23
|
export const NonNegativeDecimal = NonNegativeNumber;
|
|
26
24
|
/** @deprecated Not an actual decimal */
|
|
27
25
|
export const PositiveDecimal = PositiveNumber;
|
|
28
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
26
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibnVtYmVycy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9TY2hlbWEvbnVtYmVycy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sUUFBUSxDQUFBO0FBQy9CLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQTtBQUMxQyxPQUFPLEtBQUssQ0FBQyxNQUFNLGVBQWUsQ0FBQTtBQUVsQyxPQUFPLEVBQUUsU0FBUyxFQUFFLE9BQU8sRUFBRSxNQUFNLFlBQVksQ0FBQTtBQUMvQyxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sVUFBVSxDQUFBO0FBTTFDLE1BQU0sQ0FBQyxNQUFNLFdBQVcsR0FBRyxPQUFPLENBQ2hDLENBQUMsQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUNSLENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLGFBQWEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUMzQixTQUFTLENBQWMsT0FBTyxFQUFlLEVBQUUsRUFBRSxVQUFVLEVBQUUsYUFBYSxFQUFFLFVBQVUsRUFBRSxFQUFFLEVBQUUsQ0FBQyxFQUM3RixlQUFlLENBQ2hCLEVBQ0QsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsRUFBRSxXQUFXLEVBQUUsQ0FBQyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsc0JBQXNCLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUNwRixDQUFBO0FBSUQsTUFBTSxDQUFDLE1BQU0sY0FBYyxHQUFHLE9BQU8sQ0FDbkMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQ1IsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsc0JBQXNCLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFDcEMsU0FBUyxDQUFpQixPQUFPLEVBQWtCLEVBQUU7SUFDbkQsVUFBVSxFQUFFLGdCQUFnQjtJQUM1QixVQUFVLEVBQUUsRUFBRTtDQUNmLENBQUMsRUFDRixlQUFlLENBQ2hCLEVBQ0QsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsRUFBRSxXQUFXLEVBQUUsQ0FBQyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsc0JBQXNCLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUNwRixDQUFBO0FBSUQsTUFBTSxDQUFDLE1BQU0sR0FBRyxHQUFHLE9BQU8sQ0FDeEIsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsU0FBUyxDQUFNLE9BQU8sRUFBTyxFQUFFLEVBQUUsVUFBVSxFQUFFLEtBQUssRUFBRSxVQUFVLEVBQUUsRUFBRSxFQUFFLENBQUMsRUFBRSxlQUFlLENBQUMsRUFDbEcsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsRUFBRSxXQUFXLEVBQUUsQ0FBQyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsc0JBQXNCLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUNwRixDQUFBO0FBSUQsTUFBTSxDQUFDLE1BQU0sY0FBYyxHQUFHLE9BQU8sQ0FDbkMsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQ1gsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsYUFBYSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQzNCLFNBQVMsQ0FBaUIsT0FBTyxFQUFrQixFQUFFO0lBQ25ELFVBQVUsRUFBRSxnQkFBZ0I7SUFDNUIsVUFBVSxFQUFFLEVBQUU7Q0FDZixDQUFDLEVBQ0YsZUFBZSxDQUNoQixFQUNELENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEVBQUUsV0FBVyxFQUFFLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLHNCQUFzQixDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsR0FBRyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FDcEYsQ0FBQTtBQUlELE1BQU0sQ0FBQyxNQUFNLGlCQUFpQixHQUFHLE9BQU8sQ0FDdEMsQ0FBQztLQUNFLE1BQU07S0FDTixJQUFJLENBQ0gsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsc0JBQXNCLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFDcEMsU0FBUyxDQUFvQixPQUFPLEVBQXFCLEVBQUU7SUFDekQsVUFBVSxFQUFFLG1CQUFtQjtJQUMvQixVQUFVLEVBQUUsRUFBRTtDQUNmLENBQUMsRUFDRixlQUFlLENBQ2hCLEVBQ0gsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsRUFBRSxXQUFXLEVBQUUsQ0FBQyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsc0JBQXNCLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUNwRixDQUFBO0FBR0Qsd0NBQXdDO0FBQ3hDLE1BQU0sQ0FBQyxNQUFNLGtCQUFrQixHQUFHLGlCQUFpQixDQUFBO0FBSW5ELHdDQUF3QztBQUN4QyxNQUFNLENBQUMsTUFBTSxlQUFlLEdBQUcsY0FBYyxDQUFBIn0=
|
|
@@ -6,4 +6,4 @@ export interface PhoneNumberBrand extends Simplify<B.Brand<"PhoneNumber"> & NonE
|
|
|
6
6
|
}
|
|
7
7
|
export type PhoneNumber = string & PhoneNumberBrand;
|
|
8
8
|
export declare const PhoneNumber: import("./ext.js").WithDefaults<S.refine<PhoneNumber, S.String>> & S.refine<PhoneNumber, S.String>;
|
|
9
|
-
//# sourceMappingURL=
|
|
9
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGhvbmVOdW1iZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9TY2hlbWEvcGhvbmVOdW1iZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxLQUFLLENBQUMsTUFBTSxlQUFlLENBQUE7QUFDbEMsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sY0FBYyxDQUFBO0FBRzVDLE9BQU8sS0FBSyxFQUFFLENBQUMsRUFBRSxNQUFNLGFBQWEsQ0FBQTtBQUNwQyxPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLGNBQWMsQ0FBQTtBQUV2RCxNQUFNLFdBQVcsZ0JBQWlCLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsYUFBYSxDQUFDLEdBQUcsbUJBQW1CLENBQUM7Q0FBRztBQUNuRyxNQUFNLE1BQU0sV0FBVyxHQUFHLE1BQU0sR0FBRyxnQkFBZ0IsQ0FBQTtBQUVuRCxlQUFPLE1BQU0sV0FBVyxvR0FpQnJCLENBQUEifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"phoneNumber.d.ts","sourceRoot":"","sources":["../../src/Schema/phoneNumber.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAG5C,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAEvD,MAAM,WAAW,gBAAiB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,mBAAmB,CAAC;CAAG;AACnG,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,gBAAgB,CAAA;AAEnD,eAAO,MAAM,WAAW,
|
|
1
|
+
{"version":3,"file":"phoneNumber.d.ts","sourceRoot":"","sources":["../../src/Schema/phoneNumber.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,CAAC,MAAM,eAAe,CAAA;AAClC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAG5C,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAEvD,MAAM,WAAW,gBAAiB,SAAQ,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,mBAAmB,CAAC;CAAG;AACnG,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,gBAAgB,CAAA;AAEnD,eAAO,MAAM,WAAW,oGAiBrB,CAAA"}
|
|
@@ -4,11 +4,15 @@ import { withDefaultMake } from "./ext.js";
|
|
|
4
4
|
import { Numbers } from "./FastCheck.js";
|
|
5
5
|
export const PhoneNumber = S
|
|
6
6
|
.String
|
|
7
|
-
.pipe(S.
|
|
8
|
-
identifier: "PhoneNumber",
|
|
7
|
+
.pipe(S.annotate({
|
|
9
8
|
title: "PhoneNumber",
|
|
10
9
|
description: "a phone number with at least 7 digits",
|
|
11
|
-
|
|
10
|
+
format: "phone"
|
|
11
|
+
}), S.refine(isValidPhone, {
|
|
12
|
+
identifier: "PhoneNumber",
|
|
13
|
+
description: "a phone number with at least 7 digits",
|
|
12
14
|
jsonSchema: { format: "phone" }
|
|
15
|
+
}), S.annotate({
|
|
16
|
+
toArbitrary: () => (fc) => Numbers(7, 10)(fc).map((_) => _)
|
|
13
17
|
}), withDefaultMake);
|
|
14
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
18
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGhvbmVOdW1iZXIuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvU2NoZW1hL3Bob25lTnVtYmVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQTtBQUNwRCxPQUFPLEtBQUssQ0FBQyxNQUFNLGVBQWUsQ0FBQTtBQUVsQyxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sVUFBVSxDQUFBO0FBQzFDLE9BQU8sRUFBRSxPQUFPLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQTtBQU94QyxNQUFNLENBQUMsTUFBTSxXQUFXLEdBQUcsQ0FBQztLQUN6QixNQUFNO0tBQ04sSUFBSSxDQUNILENBQUMsQ0FBQyxRQUFRLENBQUM7SUFDVCxLQUFLLEVBQUUsYUFBYTtJQUNwQixXQUFXLEVBQUUsdUNBQXVDO0lBQ3BELE1BQU0sRUFBRSxPQUFPO0NBQ2hCLENBQUMsRUFDRixDQUFDLENBQUMsTUFBTSxDQUFDLFlBQStDLEVBQUU7SUFDeEQsVUFBVSxFQUFFLGFBQWE7SUFDekIsV0FBVyxFQUFFLHVDQUF1QztJQUNwRCxVQUFVLEVBQUUsRUFBRSxNQUFNLEVBQUUsT0FBTyxFQUFFO0NBQ2hDLENBQUMsRUFDRixDQUFDLENBQUMsUUFBUSxDQUFDO0lBQ1QsV0FBVyxFQUFFLEdBQUcsRUFBRSxDQUFDLENBQUMsRUFBRSxFQUFFLEVBQUUsQ0FBQyxPQUFPLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBZ0IsQ0FBQztDQUMzRSxDQUFDLEVBQ0YsZUFBZSxDQUNoQixDQUFBIn0=
|
package/dist/Schema/schema.d.ts
CHANGED
|
@@ -2,4 +2,4 @@ import * as B from "effect/Brand";
|
|
|
2
2
|
import * as AST from "effect/SchemaAST";
|
|
3
3
|
import * as P from "effect/SchemaParser";
|
|
4
4
|
export { AST, B, P };
|
|
5
|
-
//# sourceMappingURL=
|
|
5
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2NoZW1hLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvU2NoZW1hL3NjaGVtYS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssQ0FBQyxNQUFNLGNBQWMsQ0FBQTtBQUNqQyxPQUFPLEtBQUssR0FBRyxNQUFNLGtCQUFrQixDQUFBO0FBQ3ZDLE9BQU8sS0FBSyxDQUFDLE1BQU0scUJBQXFCLENBQUE7QUFFeEMsT0FBTyxFQUFFLEdBQUcsRUFBRSxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUEifQ==
|
package/dist/Schema/strings.d.ts
CHANGED
|
@@ -3,17 +3,49 @@ 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<S.brand<S.
|
|
6
|
+
export declare const NonEmptyString: import("./ext.js").WithDefaults<Omit<S.brand<S.NonEmptyString, "NonEmptyString">, "Iso" | "Type" | "~type.make"> & {
|
|
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
|
+
};
|
|
7
15
|
export interface NonEmptyString64kBrand extends Simplify<B.Brand<"NonEmptyString64k"> & NonEmptyStringBrand> {
|
|
8
16
|
}
|
|
9
17
|
export type NonEmptyString64k = string & NonEmptyString64kBrand;
|
|
10
|
-
export declare const NonEmptyString64k: import("./ext.js").WithDefaults<S.brand<S.
|
|
18
|
+
export declare const NonEmptyString64k: import("./ext.js").WithDefaults<Omit<S.brand<S.NonEmptyString, "NonEmptyString" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
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
|
+
};
|
|
11
27
|
export interface NonEmptyString2kBrand extends Simplify<B.Brand<"NonEmptyString2k"> & NonEmptyString64kBrand> {
|
|
12
28
|
}
|
|
13
29
|
export type NonEmptyString2k = string & NonEmptyString2kBrand;
|
|
14
|
-
export declare const NonEmptyString2k: import("./ext.js").WithDefaults<S.brand<S.
|
|
30
|
+
export declare const NonEmptyString2k: import("./ext.js").WithDefaults<Omit<S.brand<S.NonEmptyString, "NonEmptyString" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
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
|
+
};
|
|
15
39
|
export interface NonEmptyString255Brand extends Simplify<B.Brand<"NonEmptyString255"> & NonEmptyString2kBrand> {
|
|
16
40
|
}
|
|
17
41
|
export type NonEmptyString255 = string & NonEmptyString255Brand;
|
|
18
|
-
export declare const NonEmptyString255: import("./ext.js").WithDefaults<S.brand<S.
|
|
19
|
-
|
|
42
|
+
export declare const NonEmptyString255: import("./ext.js").WithDefaults<Omit<S.brand<S.NonEmptyString, "NonEmptyString" | "NonEmptyString255" | "NonEmptyString2k" | "NonEmptyString64k">, "Iso" | "Type" | "~type.make"> & {
|
|
43
|
+
readonly Type: NonEmptyString255;
|
|
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==
|
|
@@ -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;;;;;;;;CAQxB,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;;;;;;;;CAS3B,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;;;;;;;;CAS1B,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;;;;;;;;CAS3B,CAAA"}
|
package/dist/Schema/strings.js
CHANGED
|
@@ -5,28 +5,24 @@ export const NonEmptyString = S
|
|
|
5
5
|
.NonEmptyString
|
|
6
6
|
.pipe(fromBrand(nominal(), {
|
|
7
7
|
identifier: "NonEmptyString",
|
|
8
|
-
title: "NonEmptyString",
|
|
9
8
|
jsonSchema: {}
|
|
10
9
|
}), withDefaultMake);
|
|
11
10
|
export const NonEmptyString64k = S
|
|
12
11
|
.NonEmptyString
|
|
13
12
|
.pipe(S.check(S.isMaxLength(64 * 1024)), fromBrand(nominal(), {
|
|
14
13
|
identifier: "NonEmptyString64k",
|
|
15
|
-
title: "NonEmptyString64k",
|
|
16
14
|
jsonSchema: {}
|
|
17
15
|
}), withDefaultMake);
|
|
18
16
|
export const NonEmptyString2k = S
|
|
19
17
|
.NonEmptyString
|
|
20
18
|
.pipe(S.check(S.isMaxLength(2 * 1024)), fromBrand(nominal(), {
|
|
21
19
|
identifier: "NonEmptyString2k",
|
|
22
|
-
title: "NonEmptyString2k",
|
|
23
20
|
jsonSchema: {}
|
|
24
21
|
}), withDefaultMake);
|
|
25
22
|
export const NonEmptyString255 = S
|
|
26
23
|
.NonEmptyString
|
|
27
24
|
.pipe(S.check(S.isMaxLength(255)), fromBrand(nominal(), {
|
|
28
25
|
identifier: "NonEmptyString255",
|
|
29
|
-
title: "NonEmptyString255",
|
|
30
26
|
jsonSchema: {}
|
|
31
27
|
}), withDefaultMake);
|
|
32
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
28
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RyaW5ncy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9TY2hlbWEvc3RyaW5ncy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssQ0FBQyxNQUFNLGVBQWUsQ0FBQTtBQUVsQyxPQUFPLEVBQUUsU0FBUyxFQUFFLE9BQU8sRUFBRSxNQUFNLFlBQVksQ0FBQTtBQUMvQyxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sVUFBVSxDQUFBO0FBSTFDLE1BQU0sQ0FBQyxNQUFNLGNBQWMsR0FBRyxDQUFDO0tBQzVCLGNBQWM7S0FDZCxJQUFJLENBQ0gsU0FBUyxDQUFpQixPQUFPLEVBQWtCLEVBQUU7SUFDbkQsVUFBVSxFQUFFLGdCQUFnQjtJQUM1QixVQUFVLEVBQUUsRUFBRTtDQUNmLENBQUMsRUFDRixlQUFlLENBQ2hCLENBQUE7QUFJSCxNQUFNLENBQUMsTUFBTSxpQkFBaUIsR0FBRyxDQUFDO0tBQy9CLGNBQWM7S0FDZCxJQUFJLENBQ0gsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsV0FBVyxDQUFDLEVBQUUsR0FBRyxJQUFJLENBQUMsQ0FBQyxFQUNqQyxTQUFTLENBQW9CLE9BQU8sRUFBcUIsRUFBRTtJQUN6RCxVQUFVLEVBQUUsbUJBQW1CO0lBQy9CLFVBQVUsRUFBRSxFQUFFO0NBQ2YsQ0FBQyxFQUNGLGVBQWUsQ0FDaEIsQ0FBQTtBQUlILE1BQU0sQ0FBQyxNQUFNLGdCQUFnQixHQUFHLENBQUM7S0FDOUIsY0FBYztLQUNkLElBQUksQ0FDSCxDQUFDLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxXQUFXLENBQUMsQ0FBQyxHQUFHLElBQUksQ0FBQyxDQUFDLEVBQ2hDLFNBQVMsQ0FBbUIsT0FBTyxFQUFvQixFQUFFO0lBQ3ZELFVBQVUsRUFBRSxrQkFBa0I7SUFDOUIsVUFBVSxFQUFFLEVBQUU7Q0FDZixDQUFDLEVBQ0YsZUFBZSxDQUNoQixDQUFBO0FBSUgsTUFBTSxDQUFDLE1BQU0saUJBQWlCLEdBQUcsQ0FBQztLQUMvQixjQUFjO0tBQ2QsSUFBSSxDQUNILENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxHQUFHLENBQUMsQ0FBQyxFQUMzQixTQUFTLENBQW9CLE9BQU8sRUFBcUIsRUFBRTtJQUN6RCxVQUFVLEVBQUUsbUJBQW1CO0lBQy9CLFVBQVUsRUFBRSxFQUFFO0NBQ2YsQ0FBQyxFQUNGLGVBQWUsQ0FDaEIsQ0FBQSJ9
|