@duplojs/utils 1.4.54 → 1.4.56
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/dist/clean/constraint/set.cjs +1 -1
- package/dist/clean/constraint/set.d.ts +11 -11
- package/dist/clean/constraint/set.mjs +1 -1
- package/dist/clean/entity.cjs +1 -1
- package/dist/clean/entity.mjs +1 -1
- package/dist/clean/index.cjs +1 -0
- package/dist/clean/index.mjs +1 -1
- package/dist/clean/newType.cjs +1 -1
- package/dist/clean/newType.d.ts +2 -2
- package/dist/clean/newType.mjs +1 -1
- package/dist/clean/primitive/base.cjs +2 -1
- package/dist/clean/primitive/base.d.ts +4 -0
- package/dist/clean/primitive/base.mjs +2 -2
- package/package.json +1 -1
|
@@ -5,7 +5,7 @@ import * as DEither from "../../either";
|
|
|
5
5
|
import * as DArray from "../../array";
|
|
6
6
|
import type * as DDataParser from "../../dataParser";
|
|
7
7
|
export declare const constraintsSetHandlerKind: import("../..").KindHandler<import("../..").KindDefinition<"@DuplojsUtilsClean/constraints-set-handler", unknown>>;
|
|
8
|
-
export interface ConstraintsSetHandler<GenericPrimitiveValue extends EligiblePrimitive = EligiblePrimitive,
|
|
8
|
+
export interface ConstraintsSetHandler<GenericPrimitiveValue extends EligiblePrimitive = EligiblePrimitive, GenericConstraintsHandler extends readonly ConstraintHandler[] = readonly []> extends Kind<typeof constraintsSetHandlerKind.definition> {
|
|
9
9
|
/**
|
|
10
10
|
* The primitive handler used to validate and wrap values (e.g. `C.String`, `C.Number`).
|
|
11
11
|
*
|
|
@@ -15,7 +15,7 @@ export interface ConstraintsSetHandler<GenericPrimitiveValue extends EligiblePri
|
|
|
15
15
|
* The list of constraint handlers applied by this set.
|
|
16
16
|
*
|
|
17
17
|
*/
|
|
18
|
-
readonly
|
|
18
|
+
readonly constraints: GenericConstraintsHandler;
|
|
19
19
|
/**
|
|
20
20
|
* Creates a constrained value and returns an Either.
|
|
21
21
|
*
|
|
@@ -28,8 +28,8 @@ export interface ConstraintsSetHandler<GenericPrimitiveValue extends EligiblePri
|
|
|
28
28
|
* ```
|
|
29
29
|
*
|
|
30
30
|
*/
|
|
31
|
-
create<const GenericInput extends GenericPrimitiveValue>(data: GenericInput): (DEither.Right<"createConstraintsSet", (Primitive<GenericInput> & UnionToIntersection<
|
|
32
|
-
create<GenericPrimitive extends Primitive<GenericPrimitiveValue>>(data: GenericPrimitive): (DEither.Right<"createConstraintsSet", (GenericPrimitive & UnionToIntersection<
|
|
31
|
+
create<const GenericInput extends GenericPrimitiveValue>(data: GenericInput): (DEither.Right<"createConstraintsSet", (Primitive<GenericInput> & UnionToIntersection<GenericConstraintsHandler[number] extends infer InferredConstraint ? InferredConstraint extends ConstraintHandler ? GetConstraint<InferredConstraint> : never : never>)> | DEither.Left<"createConstraintsSetError", DDataParser.DataParserError>);
|
|
32
|
+
create<GenericPrimitive extends Primitive<GenericPrimitiveValue>>(data: GenericPrimitive): (DEither.Right<"createConstraintsSet", (GenericPrimitive & UnionToIntersection<GenericConstraintsHandler[number] extends infer InferredConstraint ? InferredConstraint extends ConstraintHandler ? GetConstraint<InferredConstraint> : never : never>)> | DEither.Left<"createConstraintsSetError", DDataParser.DataParserError>);
|
|
33
33
|
/**
|
|
34
34
|
* Creates a constrained value and throws on error. Works with raw values or primitives.
|
|
35
35
|
*
|
|
@@ -42,8 +42,8 @@ export interface ConstraintsSetHandler<GenericPrimitiveValue extends EligiblePri
|
|
|
42
42
|
* ```
|
|
43
43
|
*
|
|
44
44
|
*/
|
|
45
|
-
createOrThrow<const GenericInput extends GenericPrimitiveValue>(data: GenericInput): (Primitive<GenericInput> & UnionToIntersection<
|
|
46
|
-
createOrThrow<GenericPrimitive extends Primitive<GenericPrimitiveValue>>(data: GenericPrimitive): (GenericPrimitive & UnionToIntersection<
|
|
45
|
+
createOrThrow<const GenericInput extends GenericPrimitiveValue>(data: GenericInput): (Primitive<GenericInput> & UnionToIntersection<GenericConstraintsHandler[number] extends infer InferredConstraint ? InferredConstraint extends ConstraintHandler ? GetConstraint<InferredConstraint> : never : never>);
|
|
46
|
+
createOrThrow<GenericPrimitive extends Primitive<GenericPrimitiveValue>>(data: GenericPrimitive): (GenericPrimitive & UnionToIntersection<GenericConstraintsHandler[number] extends infer InferredConstraint ? InferredConstraint extends ConstraintHandler ? GetConstraint<InferredConstraint> : never : never>);
|
|
47
47
|
/**
|
|
48
48
|
* Creates a constrained value from an unknown input and returns an Either.
|
|
49
49
|
*
|
|
@@ -53,7 +53,7 @@ export interface ConstraintsSetHandler<GenericPrimitiveValue extends EligiblePri
|
|
|
53
53
|
* ```
|
|
54
54
|
*
|
|
55
55
|
*/
|
|
56
|
-
createWithUnknown<GenericInput extends unknown>(data: GenericInput): (DEither.Right<"createConstraintsSet", (Primitive<GenericPrimitiveValue> & UnionToIntersection<
|
|
56
|
+
createWithUnknown<GenericInput extends unknown>(data: GenericInput): (DEither.Right<"createConstraintsSet", (Primitive<GenericPrimitiveValue> & UnionToIntersection<GenericConstraintsHandler[number] extends infer InferredConstraint ? InferredConstraint extends ConstraintHandler ? GetConstraint<InferredConstraint> : never : never>)> | DEither.Left<"createConstraintsSetError", DDataParser.DataParserError>);
|
|
57
57
|
/**
|
|
58
58
|
* Creates a constrained value from an unknown input and throws on error.
|
|
59
59
|
*
|
|
@@ -62,7 +62,7 @@ export interface ConstraintsSetHandler<GenericPrimitiveValue extends EligiblePri
|
|
|
62
62
|
* ```
|
|
63
63
|
*
|
|
64
64
|
*/
|
|
65
|
-
createWithUnknownOrThrow<GenericInput extends unknown>(data: GenericInput): (Primitive<GenericPrimitiveValue> & UnionToIntersection<
|
|
65
|
+
createWithUnknownOrThrow<GenericInput extends unknown>(data: GenericInput): (Primitive<GenericPrimitiveValue> & UnionToIntersection<GenericConstraintsHandler[number] extends infer InferredConstraint ? InferredConstraint extends ConstraintHandler ? GetConstraint<InferredConstraint> : never : never>);
|
|
66
66
|
/**
|
|
67
67
|
* Checks if a value satisfies all constraints of the set (type guard).
|
|
68
68
|
*
|
|
@@ -71,7 +71,7 @@ export interface ConstraintsSetHandler<GenericPrimitiveValue extends EligiblePri
|
|
|
71
71
|
* ```
|
|
72
72
|
*
|
|
73
73
|
*/
|
|
74
|
-
is<GenericInput extends WrappedValue>(input: GenericInput): input is Extract<GenericInput, (Primitive<GenericPrimitiveValue> & UnionToIntersection<
|
|
74
|
+
is<GenericInput extends WrappedValue>(input: GenericInput): input is Extract<GenericInput, (Primitive<GenericPrimitiveValue> & UnionToIntersection<GenericConstraintsHandler[number] extends infer InferredConstraint ? InferredConstraint extends ConstraintHandler ? GetConstraint<InferredConstraint> : never : never>)>;
|
|
75
75
|
/**
|
|
76
76
|
* Returns a constraint handler by name from the constraints set.
|
|
77
77
|
*
|
|
@@ -81,7 +81,7 @@ export interface ConstraintsSetHandler<GenericPrimitiveValue extends EligiblePri
|
|
|
81
81
|
* ```
|
|
82
82
|
*
|
|
83
83
|
*/
|
|
84
|
-
getConstraint<GenericConstraintName extends
|
|
84
|
+
getConstraint<GenericConstraintName extends GenericConstraintsHandler[number]["name"]>(name: GenericConstraintName): Extract<GenericConstraintsHandler[number], ConstraintHandler<GenericConstraintName>>;
|
|
85
85
|
}
|
|
86
86
|
declare const CreateConstraintsSetError_base: new (params: {
|
|
87
87
|
"@DuplojsUtilsError/create-constraint-set-error"?: unknown;
|
|
@@ -143,5 +143,5 @@ export declare function createConstraintsSet<GenericPrimitiveValue extends Eligi
|
|
|
143
143
|
export declare namespace createConstraintsSet {
|
|
144
144
|
var overrideHandler: import("../..").OverrideHandler<ConstraintsSetHandler<EligiblePrimitive, readonly []>>;
|
|
145
145
|
}
|
|
146
|
-
export type GetConstraints<GenericHandler extends ConstraintsSetHandler<EligiblePrimitive, readonly any[]>> = Extract<GenericHandler extends any ? UnionToIntersection<GenericHandler["
|
|
146
|
+
export type GetConstraints<GenericHandler extends ConstraintsSetHandler<EligiblePrimitive, readonly any[]>> = Extract<GenericHandler extends any ? UnionToIntersection<GenericHandler["constraints"][number] extends infer InferredConstraint ? InferredConstraint extends ConstraintHandler ? GetConstraint<InferredConstraint> : never : never> : never, any>;
|
|
147
147
|
export {};
|
package/dist/clean/entity.cjs
CHANGED
|
@@ -57,7 +57,7 @@ function createEntity(name, getPropertiesDefinition) {
|
|
|
57
57
|
return entityKind.addTo(properties, name);
|
|
58
58
|
}
|
|
59
59
|
function simplePropertyDefinitionToDataParser(simplePropertyDefinition) {
|
|
60
|
-
const constraintKindValue = pipe.pipe(simplePropertyDefinition.
|
|
60
|
+
const constraintKindValue = pipe.pipe(simplePropertyDefinition.constraints, map.map(({ name }) => entry.entry(name, null)), fromEntries.fromEntries);
|
|
61
61
|
return transform.transform(simplePropertyDefinition.dataParser, (value) => base$1.constrainedTypeKind.setTo(newType.newTypeKind.setTo(wrapValue.wrapValue(value), simplePropertyDefinition.name), constraintKindValue));
|
|
62
62
|
}
|
|
63
63
|
function unionPropertyDefinitionToDataParser(unionPropertyDefinition) {
|
package/dist/clean/entity.mjs
CHANGED
|
@@ -55,7 +55,7 @@ function createEntity(name, getPropertiesDefinition) {
|
|
|
55
55
|
return entityKind.addTo(properties, name);
|
|
56
56
|
}
|
|
57
57
|
function simplePropertyDefinitionToDataParser(simplePropertyDefinition) {
|
|
58
|
-
const constraintKindValue = pipe(simplePropertyDefinition.
|
|
58
|
+
const constraintKindValue = pipe(simplePropertyDefinition.constraints, map(({ name }) => entry(name, null)), fromEntries);
|
|
59
59
|
return transform(simplePropertyDefinition.dataParser, (value) => constrainedTypeKind.setTo(newTypeKind.setTo(wrapValue(value), simplePropertyDefinition.name), constraintKindValue));
|
|
60
60
|
}
|
|
61
61
|
function unionPropertyDefinitionToDataParser(unionPropertyDefinition) {
|
package/dist/clean/index.cjs
CHANGED
|
@@ -85,6 +85,7 @@ exports.Date = base$1.Date;
|
|
|
85
85
|
exports.Number = base$1.Number;
|
|
86
86
|
exports.String = base$1.String;
|
|
87
87
|
exports.Time = base$1.Time;
|
|
88
|
+
exports.createPrimitive = base$1.createPrimitive;
|
|
88
89
|
exports.primitiveHandlerKind = base$1.primitiveHandlerKind;
|
|
89
90
|
exports.equal = equal.equal;
|
|
90
91
|
exports.add = add.add;
|
package/dist/clean/index.mjs
CHANGED
|
@@ -10,7 +10,7 @@ export { CreateConstrainedTypeError, constrainedTypeKind, constraintHandlerKind,
|
|
|
10
10
|
export { Int, Negative, NumberMax, NumberMin, Positive, PositiveInt } from './constraint/defaultConstraint/number.mjs';
|
|
11
11
|
export { Email, StringMax, StringMin, Url } from './constraint/defaultConstraint/string.mjs';
|
|
12
12
|
export { CreateConstraintsSetError, constraintsSetHandlerKind, createConstraintsSet } from './constraint/set.mjs';
|
|
13
|
-
export { BigInt, Boolean, CreatePrimitiveError, Date, Number, String, Time, primitiveHandlerKind } from './primitive/base.mjs';
|
|
13
|
+
export { BigInt, Boolean, CreatePrimitiveError, Date, Number, String, Time, createPrimitive, primitiveHandlerKind } from './primitive/base.mjs';
|
|
14
14
|
export { equal } from './primitive/operations/equal.mjs';
|
|
15
15
|
export { add } from './primitive/operations/number/add.mjs';
|
|
16
16
|
export { divide } from './primitive/operations/number/divide.mjs';
|
package/dist/clean/newType.cjs
CHANGED
package/dist/clean/newType.d.ts
CHANGED
|
@@ -25,7 +25,7 @@ export interface NewTypeHandler<GenericName extends string = string, GenericValu
|
|
|
25
25
|
* The list of constraints applied to this NewType.
|
|
26
26
|
*
|
|
27
27
|
*/
|
|
28
|
-
readonly
|
|
28
|
+
readonly constraints: GenericConstraintsHandler;
|
|
29
29
|
/**
|
|
30
30
|
* Creates a NewType value and returns an Either.
|
|
31
31
|
*
|
|
@@ -154,5 +154,5 @@ export declare function createNewType<GenericName extends string, GenericDataPar
|
|
|
154
154
|
export declare namespace createNewType {
|
|
155
155
|
var overrideHandler: import("..").OverrideHandler<NewTypeHandler<string, unknown, readonly []>>;
|
|
156
156
|
}
|
|
157
|
-
export type GetNewType<GenericHandler extends NewTypeHandler<string, unknown, readonly any[]>> = Extract<GenericHandler extends any ? NewType<GenericHandler["name"], DDataParser.Output<GenericHandler["dataParser"]>, GenericHandler["
|
|
157
|
+
export type GetNewType<GenericHandler extends NewTypeHandler<string, unknown, readonly any[]>> = Extract<GenericHandler extends any ? NewType<GenericHandler["name"], DDataParser.Output<GenericHandler["dataParser"]>, GenericHandler["constraints"][number]["name"]> : never, any>;
|
|
158
158
|
export {};
|
package/dist/clean/newType.mjs
CHANGED
|
@@ -2,8 +2,8 @@
|
|
|
2
2
|
|
|
3
3
|
var kind = require('../kind.cjs');
|
|
4
4
|
var kind$1 = require('../../common/kind.cjs');
|
|
5
|
-
var index = require('../../dataParser/parsers/string/index.cjs');
|
|
6
5
|
var pipe = require('../../common/pipe.cjs');
|
|
6
|
+
var index = require('../../dataParser/parsers/string/index.cjs');
|
|
7
7
|
var index$1 = require('../../dataParser/parsers/number/index.cjs');
|
|
8
8
|
var index$2 = require('../../dataParser/parsers/bigint/index.cjs');
|
|
9
9
|
var boolean = require('../../dataParser/parsers/boolean.cjs');
|
|
@@ -93,4 +93,5 @@ exports.Date = Date;
|
|
|
93
93
|
exports.Number = Number;
|
|
94
94
|
exports.String = String;
|
|
95
95
|
exports.Time = Time;
|
|
96
|
+
exports.createPrimitive = createPrimitive;
|
|
96
97
|
exports.primitiveHandlerKind = primitiveHandlerKind;
|
|
@@ -73,6 +73,10 @@ export declare class CreatePrimitiveError extends CreatePrimitiveError_base {
|
|
|
73
73
|
dataParserError: DDataParser.DataParserError;
|
|
74
74
|
constructor(data: unknown, dataParserError: DDataParser.DataParserError);
|
|
75
75
|
}
|
|
76
|
+
export declare function createPrimitive<GenericDataParser extends DDataParser.Contract<EligiblePrimitive>>(dataParser: GenericDataParser): PrimitiveHandler<DDataParser.Output<GenericDataParser>>;
|
|
77
|
+
export declare namespace createPrimitive {
|
|
78
|
+
var overrideHandler: import("../../common").OverrideHandler<PrimitiveHandler<EligiblePrimitive>>;
|
|
79
|
+
}
|
|
76
80
|
/**
|
|
77
81
|
* Business primitive for string values.
|
|
78
82
|
*
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import { createCleanKind } from '../kind.mjs';
|
|
2
2
|
import { kindHeritage } from '../../common/kind.mjs';
|
|
3
|
-
import { string } from '../../dataParser/parsers/string/index.mjs';
|
|
4
3
|
import { pipe } from '../../common/pipe.mjs';
|
|
4
|
+
import { string } from '../../dataParser/parsers/string/index.mjs';
|
|
5
5
|
import { number } from '../../dataParser/parsers/number/index.mjs';
|
|
6
6
|
import { bigint } from '../../dataParser/parsers/bigint/index.mjs';
|
|
7
7
|
import { boolean } from '../../dataParser/parsers/boolean.mjs';
|
|
@@ -84,4 +84,4 @@ const Date = createPrimitive(date());
|
|
|
84
84
|
*/
|
|
85
85
|
const Time = createPrimitive(time());
|
|
86
86
|
|
|
87
|
-
export { BigInt, Boolean, CreatePrimitiveError, Date, Number, String, Time, primitiveHandlerKind };
|
|
87
|
+
export { BigInt, Boolean, CreatePrimitiveError, Date, Number, String, Time, createPrimitive, primitiveHandlerKind };
|