@duplojs/utils 1.4.44 → 1.4.45
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/base.d.ts +5 -5
- package/dist/clean/constraint/defaultConstraint/number.d.ts +3 -3
- package/dist/clean/constraint/defaultConstraint/string.d.ts +2 -2
- package/dist/clean/entity.d.ts +2 -2
- package/dist/clean/flag.d.ts +1 -1
- package/dist/clean/newType.d.ts +5 -5
- package/dist/clean/primitive/base.d.ts +10 -10
- package/dist/clean/repository.d.ts +1 -1
- package/dist/clean/useCase.d.ts +1 -1
- package/dist/common/hasKinds.d.ts +3 -3
- package/dist/common/hasSomeKinds.d.ts +3 -3
- package/dist/common/path/resolveFrom.d.ts +1 -1
- package/dist/dataParser/base.d.ts +2 -2
- package/dist/dataParser/baseExtended.d.ts +2 -2
- package/dist/dataParser/extended/empty.d.ts +1 -1
- package/dist/dataParser/parsers/empty.d.ts +1 -1
- package/dist/date/create.d.ts +1 -1
- package/dist/date/createTime.d.ts +1 -1
- package/dist/either/bool/base.cjs +6 -1
- package/dist/either/bool/base.d.ts +4 -0
- package/dist/either/bool/base.mjs +6 -2
- package/dist/either/bool/create.d.ts +6 -6
- package/dist/either/bool/falsy.cjs +9 -4
- package/dist/either/bool/falsy.d.ts +23 -15
- package/dist/either/bool/falsy.mjs +10 -6
- package/dist/either/bool/truthy.cjs +9 -4
- package/dist/either/bool/truthy.d.ts +23 -15
- package/dist/either/bool/truthy.mjs +10 -6
- package/dist/either/future/base.cjs +6 -1
- package/dist/either/future/base.d.ts +4 -0
- package/dist/either/future/base.mjs +6 -2
- package/dist/either/future/create.d.ts +8 -8
- package/dist/either/future/error.cjs +7 -2
- package/dist/either/future/error.d.ts +15 -7
- package/dist/either/future/error.mjs +8 -4
- package/dist/either/future/success.cjs +7 -2
- package/dist/either/future/success.d.ts +15 -7
- package/dist/either/future/success.mjs +8 -4
- package/dist/either/hasInformation.cjs +2 -2
- package/dist/either/hasInformation.d.ts +8 -8
- package/dist/either/hasInformation.mjs +3 -3
- package/dist/either/index.cjs +24 -0
- package/dist/either/index.mjs +23 -23
- package/dist/either/kind.cjs +6 -1
- package/dist/either/kind.d.ts +4 -0
- package/dist/either/kind.mjs +6 -2
- package/dist/either/left/create.cjs +7 -2
- package/dist/either/left/create.d.ts +14 -6
- package/dist/either/left/create.mjs +8 -4
- package/dist/either/left/error.cjs +7 -2
- package/dist/either/left/error.d.ts +14 -6
- package/dist/either/left/error.mjs +7 -3
- package/dist/either/left/fail.cjs +7 -2
- package/dist/either/left/fail.d.ts +14 -6
- package/dist/either/left/fail.mjs +7 -3
- package/dist/either/left/is.cjs +2 -2
- package/dist/either/left/is.d.ts +4 -4
- package/dist/either/left/is.mjs +4 -4
- package/dist/either/left/when.d.ts +4 -4
- package/dist/either/nullable/base.cjs +6 -1
- package/dist/either/nullable/base.d.ts +4 -0
- package/dist/either/nullable/base.mjs +6 -2
- package/dist/either/nullable/create.d.ts +5 -5
- package/dist/either/nullable/empty.cjs +9 -4
- package/dist/either/nullable/empty.d.ts +23 -15
- package/dist/either/nullable/empty.mjs +10 -6
- package/dist/either/nullable/filled.cjs +9 -4
- package/dist/either/nullable/filled.d.ts +22 -14
- package/dist/either/nullable/filled.mjs +10 -6
- package/dist/either/nullish/base.cjs +6 -1
- package/dist/either/nullish/base.d.ts +4 -0
- package/dist/either/nullish/base.mjs +6 -2
- package/dist/either/nullish/create.d.ts +5 -5
- package/dist/either/nullish/empty.cjs +9 -4
- package/dist/either/nullish/empty.d.ts +23 -15
- package/dist/either/nullish/empty.mjs +10 -6
- package/dist/either/nullish/filled.cjs +9 -4
- package/dist/either/nullish/filled.d.ts +23 -15
- package/dist/either/nullish/filled.mjs +10 -6
- package/dist/either/optional/base.cjs +6 -1
- package/dist/either/optional/base.d.ts +4 -0
- package/dist/either/optional/base.mjs +6 -2
- package/dist/either/optional/create.d.ts +5 -5
- package/dist/either/optional/empty.cjs +9 -4
- package/dist/either/optional/empty.d.ts +23 -15
- package/dist/either/optional/empty.mjs +10 -6
- package/dist/either/optional/filled.cjs +9 -4
- package/dist/either/optional/filled.d.ts +22 -14
- package/dist/either/optional/filled.mjs +10 -6
- package/dist/either/right/asyncGroup.d.ts +7 -7
- package/dist/either/right/asyncPipe.d.ts +33 -25
- package/dist/either/right/create.cjs +7 -2
- package/dist/either/right/create.d.ts +15 -7
- package/dist/either/right/create.mjs +8 -4
- package/dist/either/right/group.d.ts +8 -8
- package/dist/either/right/is.cjs +2 -2
- package/dist/either/right/is.d.ts +4 -4
- package/dist/either/right/is.mjs +4 -4
- package/dist/either/right/ok.cjs +7 -2
- package/dist/either/right/ok.d.ts +14 -6
- package/dist/either/right/ok.mjs +7 -3
- package/dist/either/right/pipe.d.ts +32 -24
- package/dist/either/right/success.cjs +7 -2
- package/dist/either/right/success.d.ts +14 -6
- package/dist/either/right/success.mjs +7 -3
- package/dist/either/right/when.d.ts +4 -4
- package/dist/either/safeCallback.cjs +14 -4
- package/dist/either/safeCallback.d.ts +33 -17
- package/dist/either/safeCallback.mjs +13 -5
- package/dist/either/whenHasInformation.cjs +1 -1
- package/dist/either/whenHasInformation.d.ts +7 -7
- package/dist/either/whenHasInformation.mjs +2 -2
- package/package.json +1 -1
|
@@ -1,16 +1,24 @@
|
|
|
1
1
|
import { type EscapeVoid, type AnyValue, type Unwrap, type BreakGenericLink } from "../../common";
|
|
2
2
|
import { type Kind } from "../../common/kind";
|
|
3
|
-
import {
|
|
3
|
+
import { optionalKind } from "./base";
|
|
4
4
|
import { optional } from "./create";
|
|
5
|
-
import { type
|
|
6
|
-
import { type
|
|
5
|
+
import { type Left } from "../left";
|
|
6
|
+
import { type Right } from "../right";
|
|
7
|
+
export declare const optionalEmptyKind: import("../../common").KindHandler<import("../../common").KindDefinition<"@DuplojsUtilsEither/optional-empty", unknown>>;
|
|
8
|
+
/**
|
|
9
|
+
* @deprecated use optionalEmptyKind
|
|
10
|
+
*/
|
|
7
11
|
export declare const eitherOptionalEmptyKind: import("../../common").KindHandler<import("../../common").KindDefinition<"@DuplojsUtilsEither/optional-empty", unknown>>;
|
|
8
|
-
type
|
|
9
|
-
export interface
|
|
12
|
+
type _OptionalEmpty = (Left<"optional", undefined> & Kind<typeof optionalKind.definition> & Kind<typeof optionalEmptyKind.definition>);
|
|
13
|
+
export interface OptionalEmpty extends _OptionalEmpty {
|
|
10
14
|
}
|
|
11
|
-
type Either = EitherRight | EitherLeft;
|
|
12
15
|
/**
|
|
13
|
-
*
|
|
16
|
+
* @deprecated use OptionalEmpty
|
|
17
|
+
*/
|
|
18
|
+
export type EitherOptionalEmpty = OptionalEmpty;
|
|
19
|
+
type Either = Right | Left;
|
|
20
|
+
/**
|
|
21
|
+
* Type guard that detects an OptionalEmpty.
|
|
14
22
|
*
|
|
15
23
|
* Signature: `isOptionalEmpty(input)` → returns a value
|
|
16
24
|
*
|
|
@@ -20,7 +28,7 @@ type Either = EitherRight | EitherLeft;
|
|
|
20
28
|
* const maybeValue = E.optional(true ? "value" : undefined);
|
|
21
29
|
*
|
|
22
30
|
* if (E.isOptionalEmpty(maybeValue)) {
|
|
23
|
-
* // type: E.
|
|
31
|
+
* // type: E.OptionalEmpty
|
|
24
32
|
* }
|
|
25
33
|
* ```
|
|
26
34
|
*
|
|
@@ -30,14 +38,14 @@ type Either = EitherRight | EitherLeft;
|
|
|
30
38
|
*
|
|
31
39
|
*/
|
|
32
40
|
/**
|
|
33
|
-
* Builds an
|
|
41
|
+
* Builds an Left<"optional"> containing undefined.
|
|
34
42
|
*
|
|
35
43
|
* Signature: `optionalEmpty()` → returns a value
|
|
36
44
|
*
|
|
37
45
|
* ```ts
|
|
38
46
|
* const result = E.optionalEmpty();
|
|
39
47
|
*
|
|
40
|
-
* // type: E.
|
|
48
|
+
* // type: E.OptionalEmpty
|
|
41
49
|
* ```
|
|
42
50
|
*
|
|
43
51
|
* @see https://utils.duplojs.dev/en/v1/api/either/optionalEmpty
|
|
@@ -60,7 +68,7 @@ type Either = EitherRight | EitherLeft;
|
|
|
60
68
|
* E.whenIsOptionalEmpty(() => "empty"),
|
|
61
69
|
* );
|
|
62
70
|
*
|
|
63
|
-
* // type: E.
|
|
71
|
+
* // type: E.OptionalFilled<"value"> | "empty"
|
|
64
72
|
* ```
|
|
65
73
|
*
|
|
66
74
|
* @see https://utils.duplojs.dev/en/v1/api/either/whenIsOptionalEmpty
|
|
@@ -68,9 +76,9 @@ type Either = EitherRight | EitherLeft;
|
|
|
68
76
|
* @namespace E
|
|
69
77
|
*
|
|
70
78
|
*/
|
|
71
|
-
export declare function optionalEmpty():
|
|
72
|
-
export declare function isOptionalEmpty<GenericInput extends unknown>(input: GenericInput): input is Extract<GenericInput,
|
|
79
|
+
export declare function optionalEmpty(): OptionalEmpty;
|
|
80
|
+
export declare function isOptionalEmpty<GenericInput extends unknown>(input: GenericInput): input is Extract<GenericInput, OptionalEmpty>;
|
|
73
81
|
type ToOptionalEither<GenericValue extends unknown> = GenericValue extends Either ? GenericValue : ReturnType<typeof optional<GenericValue>>;
|
|
74
|
-
export declare function whenIsOptionalEmpty<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(theFunction: (eitherValue: Unwrap<Extract<ToOptionalEither<BreakGenericLink<GenericInput>>,
|
|
75
|
-
export declare function whenIsOptionalEmpty<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(input: GenericInput, theFunction: (eitherValue: Unwrap<Extract<ToOptionalEither<BreakGenericLink<GenericInput>>,
|
|
82
|
+
export declare function whenIsOptionalEmpty<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(theFunction: (eitherValue: Unwrap<Extract<ToOptionalEither<BreakGenericLink<GenericInput>>, OptionalEmpty>>) => GenericOutput): (input: GenericInput) => GenericOutput | Exclude<ToOptionalEither<BreakGenericLink<GenericInput>>, OptionalEmpty>;
|
|
83
|
+
export declare function whenIsOptionalEmpty<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(input: GenericInput, theFunction: (eitherValue: Unwrap<Extract<ToOptionalEither<BreakGenericLink<GenericInput>>, OptionalEmpty>>) => GenericOutput): GenericOutput | Exclude<ToOptionalEither<GenericInput>, OptionalEmpty>;
|
|
76
84
|
export {};
|
|
@@ -1,11 +1,15 @@
|
|
|
1
1
|
import { createEitherKind } from '../kind.mjs';
|
|
2
|
-
import {
|
|
2
|
+
import { optionalKind } from './base.mjs';
|
|
3
3
|
import { optional } from './create.mjs';
|
|
4
4
|
import { left } from '../left/create.mjs';
|
|
5
5
|
import { isLeft } from '../left/is.mjs';
|
|
6
6
|
import { isRight } from '../right/is.mjs';
|
|
7
7
|
|
|
8
|
-
const
|
|
8
|
+
const optionalEmptyKind = createEitherKind("optional-empty");
|
|
9
|
+
/**
|
|
10
|
+
* @deprecated use optionalEmptyKind
|
|
11
|
+
*/
|
|
12
|
+
const eitherOptionalEmptyKind = optionalEmptyKind;
|
|
9
13
|
/**
|
|
10
14
|
* {@include either/isOptionalEmpty/index.md}
|
|
11
15
|
*/
|
|
@@ -16,12 +20,12 @@ const eitherOptionalEmptyKind = createEitherKind("optional-empty");
|
|
|
16
20
|
* {@include either/whenIsOptionalEmpty/index.md}
|
|
17
21
|
*/
|
|
18
22
|
function optionalEmpty() {
|
|
19
|
-
return
|
|
23
|
+
return optionalKind.setTo(optionalEmptyKind.setTo(left("optional", undefined)));
|
|
20
24
|
}
|
|
21
25
|
function isOptionalEmpty(input) {
|
|
22
26
|
return isLeft(input)
|
|
23
|
-
&&
|
|
24
|
-
&&
|
|
27
|
+
&& optionalKind.has(input)
|
|
28
|
+
&& optionalEmptyKind.has(input);
|
|
25
29
|
}
|
|
26
30
|
function whenIsOptionalEmpty(...args) {
|
|
27
31
|
if (args.length === 1) {
|
|
@@ -44,4 +48,4 @@ function whenIsOptionalEmpty(...args) {
|
|
|
44
48
|
return either;
|
|
45
49
|
}
|
|
46
50
|
|
|
47
|
-
export { eitherOptionalEmptyKind, isOptionalEmpty, optionalEmpty, whenIsOptionalEmpty };
|
|
51
|
+
export { eitherOptionalEmptyKind, isOptionalEmpty, optionalEmpty, optionalEmptyKind, whenIsOptionalEmpty };
|
|
@@ -8,7 +8,11 @@ var is = require('../right/is.cjs');
|
|
|
8
8
|
var is$1 = require('../left/is.cjs');
|
|
9
9
|
var unwrap = require('../../common/unwrap.cjs');
|
|
10
10
|
|
|
11
|
-
const
|
|
11
|
+
const optionalFilledKind = kind.createEitherKind("optional-filled");
|
|
12
|
+
/**
|
|
13
|
+
* @deprecated use optionalFilledKind
|
|
14
|
+
*/
|
|
15
|
+
const eitherOptionalFilledKind = optionalFilledKind;
|
|
12
16
|
/**
|
|
13
17
|
* {@include either/isOptionalFilled/index.md}
|
|
14
18
|
*/
|
|
@@ -19,12 +23,12 @@ const eitherOptionalFilledKind = kind.createEitherKind("optional-filled");
|
|
|
19
23
|
* {@include either/whenIsOptionalFilled/index.md}
|
|
20
24
|
*/
|
|
21
25
|
function optionalFilled(value) {
|
|
22
|
-
return base.
|
|
26
|
+
return base.optionalKind.setTo(optionalFilledKind.setTo(create.right("optional", value)));
|
|
23
27
|
}
|
|
24
28
|
function isOptionalFilled(input) {
|
|
25
29
|
return is.isRight(input)
|
|
26
|
-
&& base.
|
|
27
|
-
&&
|
|
30
|
+
&& base.optionalKind.has(input)
|
|
31
|
+
&& optionalFilledKind.has(input);
|
|
28
32
|
}
|
|
29
33
|
function whenIsOptionalFilled(...args) {
|
|
30
34
|
if (args.length === 1) {
|
|
@@ -50,4 +54,5 @@ function whenIsOptionalFilled(...args) {
|
|
|
50
54
|
exports.eitherOptionalFilledKind = eitherOptionalFilledKind;
|
|
51
55
|
exports.isOptionalFilled = isOptionalFilled;
|
|
52
56
|
exports.optionalFilled = optionalFilled;
|
|
57
|
+
exports.optionalFilledKind = optionalFilledKind;
|
|
53
58
|
exports.whenIsOptionalFilled = whenIsOptionalFilled;
|
|
@@ -1,14 +1,22 @@
|
|
|
1
1
|
import { type EscapeVoid, type AnyValue, type Unwrap, type BreakGenericLink } from "../../common";
|
|
2
2
|
import { type Kind } from "../../common/kind";
|
|
3
|
-
import {
|
|
3
|
+
import { optionalKind } from "./base";
|
|
4
4
|
import { optional } from "./create";
|
|
5
|
-
import { type
|
|
6
|
-
import { type
|
|
5
|
+
import { type Left } from "../left";
|
|
6
|
+
import { type Right } from "../right";
|
|
7
|
+
export declare const optionalFilledKind: import("../../common").KindHandler<import("../../common").KindDefinition<"@DuplojsUtilsEither/optional-filled", unknown>>;
|
|
8
|
+
/**
|
|
9
|
+
* @deprecated use optionalFilledKind
|
|
10
|
+
*/
|
|
7
11
|
export declare const eitherOptionalFilledKind: import("../../common").KindHandler<import("../../common").KindDefinition<"@DuplojsUtilsEither/optional-filled", unknown>>;
|
|
8
|
-
type
|
|
9
|
-
export interface
|
|
12
|
+
type _OptionalFilled<GenericValue extends unknown = unknown> = (Right<"optional", GenericValue> & Kind<typeof optionalKind.definition> & Kind<typeof optionalFilledKind.definition>);
|
|
13
|
+
export interface OptionalFilled<GenericValue extends unknown = unknown> extends _OptionalFilled<GenericValue> {
|
|
10
14
|
}
|
|
11
|
-
|
|
15
|
+
/**
|
|
16
|
+
* @deprecated use OptionalFilled
|
|
17
|
+
*/
|
|
18
|
+
export type EitherOptionalFilled<GenericValue extends unknown = unknown> = OptionalFilled<GenericValue>;
|
|
19
|
+
type Either = Right | Left;
|
|
12
20
|
/**
|
|
13
21
|
* Type guard that checks that an optional contains a value.
|
|
14
22
|
*
|
|
@@ -20,7 +28,7 @@ type Either = EitherRight | EitherLeft;
|
|
|
20
28
|
* const maybeValue = E.optional(true ? "value" : undefined);
|
|
21
29
|
*
|
|
22
30
|
* if (E.isOptionalFilled(maybeValue)) {
|
|
23
|
-
* // type: E.
|
|
31
|
+
* // type: E.OptionalFilled<"value">
|
|
24
32
|
* }
|
|
25
33
|
* ```
|
|
26
34
|
*
|
|
@@ -30,7 +38,7 @@ type Either = EitherRight | EitherLeft;
|
|
|
30
38
|
*
|
|
31
39
|
*/
|
|
32
40
|
/**
|
|
33
|
-
* Builds an
|
|
41
|
+
* Builds an Right<"optional"> when the value is defined.
|
|
34
42
|
*
|
|
35
43
|
* Signature: `optionalFilled(value)` → returns a value
|
|
36
44
|
*
|
|
@@ -39,7 +47,7 @@ type Either = EitherRight | EitherLeft;
|
|
|
39
47
|
* ```ts
|
|
40
48
|
* const result = E.optionalFilled("value");
|
|
41
49
|
*
|
|
42
|
-
* // type: E.
|
|
50
|
+
* // type: E.OptionalFilled<"value">
|
|
43
51
|
* ```
|
|
44
52
|
*
|
|
45
53
|
* @see https://utils.duplojs.dev/en/v1/api/either/optionalFilled
|
|
@@ -62,7 +70,7 @@ type Either = EitherRight | EitherLeft;
|
|
|
62
70
|
* E.whenIsOptionalFilled(S.capitalize),
|
|
63
71
|
* );
|
|
64
72
|
*
|
|
65
|
-
* // type: E.
|
|
73
|
+
* // type: E.OptionalEmpty | "Value"
|
|
66
74
|
* ```
|
|
67
75
|
*
|
|
68
76
|
* @see https://utils.duplojs.dev/en/v1/api/either/whenIsOptionalFilled
|
|
@@ -70,9 +78,9 @@ type Either = EitherRight | EitherLeft;
|
|
|
70
78
|
* @namespace E
|
|
71
79
|
*
|
|
72
80
|
*/
|
|
73
|
-
export declare function optionalFilled<const GenericValue extends unknown>(value: GenericValue):
|
|
74
|
-
export declare function isOptionalFilled<GenericInput extends unknown>(input: GenericInput): input is Extract<GenericInput,
|
|
81
|
+
export declare function optionalFilled<const GenericValue extends unknown>(value: GenericValue): OptionalFilled<GenericValue>;
|
|
82
|
+
export declare function isOptionalFilled<GenericInput extends unknown>(input: GenericInput): input is Extract<GenericInput, OptionalFilled>;
|
|
75
83
|
type ToOptionalEither<GenericValue extends unknown> = GenericValue extends Either ? GenericValue : ReturnType<typeof optional<GenericValue>>;
|
|
76
|
-
export declare function whenIsOptionalFilled<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(theFunction: (eitherValue: Unwrap<Extract<ToOptionalEither<BreakGenericLink<GenericInput>>,
|
|
77
|
-
export declare function whenIsOptionalFilled<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(input: GenericInput, theFunction: (eitherValue: Unwrap<Extract<ToOptionalEither<BreakGenericLink<GenericInput>>,
|
|
84
|
+
export declare function whenIsOptionalFilled<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(theFunction: (eitherValue: Unwrap<Extract<ToOptionalEither<BreakGenericLink<GenericInput>>, OptionalFilled>>) => GenericOutput): (input: GenericInput) => GenericOutput | Exclude<ToOptionalEither<BreakGenericLink<GenericInput>>, OptionalFilled>;
|
|
85
|
+
export declare function whenIsOptionalFilled<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(input: GenericInput, theFunction: (eitherValue: Unwrap<Extract<ToOptionalEither<BreakGenericLink<GenericInput>>, OptionalFilled>>) => GenericOutput): GenericOutput | Exclude<ToOptionalEither<GenericInput>, OptionalFilled>;
|
|
78
86
|
export {};
|
|
@@ -1,12 +1,16 @@
|
|
|
1
1
|
import { createEitherKind } from '../kind.mjs';
|
|
2
|
-
import {
|
|
2
|
+
import { optionalKind } from './base.mjs';
|
|
3
3
|
import { optional } from './create.mjs';
|
|
4
4
|
import { right } from '../right/create.mjs';
|
|
5
5
|
import { isRight } from '../right/is.mjs';
|
|
6
6
|
import { isLeft } from '../left/is.mjs';
|
|
7
7
|
import { unwrap } from '../../common/unwrap.mjs';
|
|
8
8
|
|
|
9
|
-
const
|
|
9
|
+
const optionalFilledKind = createEitherKind("optional-filled");
|
|
10
|
+
/**
|
|
11
|
+
* @deprecated use optionalFilledKind
|
|
12
|
+
*/
|
|
13
|
+
const eitherOptionalFilledKind = optionalFilledKind;
|
|
10
14
|
/**
|
|
11
15
|
* {@include either/isOptionalFilled/index.md}
|
|
12
16
|
*/
|
|
@@ -17,12 +21,12 @@ const eitherOptionalFilledKind = createEitherKind("optional-filled");
|
|
|
17
21
|
* {@include either/whenIsOptionalFilled/index.md}
|
|
18
22
|
*/
|
|
19
23
|
function optionalFilled(value) {
|
|
20
|
-
return
|
|
24
|
+
return optionalKind.setTo(optionalFilledKind.setTo(right("optional", value)));
|
|
21
25
|
}
|
|
22
26
|
function isOptionalFilled(input) {
|
|
23
27
|
return isRight(input)
|
|
24
|
-
&&
|
|
25
|
-
&&
|
|
28
|
+
&& optionalKind.has(input)
|
|
29
|
+
&& optionalFilledKind.has(input);
|
|
26
30
|
}
|
|
27
31
|
function whenIsOptionalFilled(...args) {
|
|
28
32
|
if (args.length === 1) {
|
|
@@ -45,4 +49,4 @@ function whenIsOptionalFilled(...args) {
|
|
|
45
49
|
return either;
|
|
46
50
|
}
|
|
47
51
|
|
|
48
|
-
export { eitherOptionalFilledKind, isOptionalFilled, optionalFilled, whenIsOptionalFilled };
|
|
52
|
+
export { eitherOptionalFilledKind, isOptionalFilled, optionalFilled, optionalFilledKind, whenIsOptionalFilled };
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
import { type AnyFunction, type SimplifyTopLevel, type MayBeGetter, type Unwrap, type MaybePromise } from "../../common";
|
|
2
|
-
import { type
|
|
3
|
-
import { type
|
|
2
|
+
import { type Left } from "../left";
|
|
3
|
+
import { type Right } from "./create";
|
|
4
4
|
import * as DEither from "..";
|
|
5
|
-
type Either = MaybePromise<
|
|
6
|
-
type ComputeResult<GenericGroup extends Record<string, MayBeGetter<Either>>> = Promise<DEither.
|
|
7
|
-
[Prop in keyof GenericGroup]: GenericGroup[Prop] extends AnyFunction ? Unwrap<Extract<Awaited<ReturnType<GenericGroup[Prop]>>,
|
|
5
|
+
type Either = MaybePromise<Right | Left>;
|
|
6
|
+
type ComputeResult<GenericGroup extends Record<string, MayBeGetter<Either>>> = Promise<DEither.Success<SimplifyTopLevel<{
|
|
7
|
+
[Prop in keyof GenericGroup]: GenericGroup[Prop] extends AnyFunction ? Unwrap<Extract<Awaited<ReturnType<GenericGroup[Prop]>>, Right>> : Unwrap<Extract<Awaited<GenericGroup[Prop]>, Right>>;
|
|
8
8
|
}>> | {
|
|
9
|
-
[Prop in keyof GenericGroup]: GenericGroup[Prop] extends AnyFunction ? Extract<Awaited<ReturnType<GenericGroup[Prop]>>,
|
|
9
|
+
[Prop in keyof GenericGroup]: GenericGroup[Prop] extends AnyFunction ? Extract<Awaited<ReturnType<GenericGroup[Prop]>>, Left> : Extract<Awaited<GenericGroup[Prop]>, Left>;
|
|
10
10
|
}[keyof GenericGroup]>;
|
|
11
11
|
/**
|
|
12
12
|
* The asyncGroup() function runs synchronous or asynchronous Either values in parallel (promises, Future) and returns the first Left encountered. If all are Right, it aggregates their values into a typed object.
|
|
@@ -26,7 +26,7 @@ type ComputeResult<GenericGroup extends Record<string, MayBeGetter<Either>>> = P
|
|
|
26
26
|
* profile: promiseProfile,
|
|
27
27
|
* });
|
|
28
28
|
*
|
|
29
|
-
* // type: E.
|
|
29
|
+
* // type: E.FutureError
|
|
30
30
|
* ```
|
|
31
31
|
*
|
|
32
32
|
* @remarks
|
|
@@ -1,12 +1,20 @@
|
|
|
1
|
-
import { type
|
|
2
|
-
import { type
|
|
1
|
+
import { type Right } from "./create";
|
|
2
|
+
import { type Left } from "../left";
|
|
3
3
|
import { type MaybeFutureEither } from "../future/maybeFutureEither";
|
|
4
|
-
import { type
|
|
5
|
-
import { type
|
|
4
|
+
import { type FutureError, type Future } from "../future";
|
|
5
|
+
import { type Success } from "./success";
|
|
6
6
|
import { type AnyValue, type Unwrap } from "../../common";
|
|
7
|
-
type Either =
|
|
8
|
-
export type
|
|
9
|
-
|
|
7
|
+
type Either = Right | Left;
|
|
8
|
+
export type RightAsyncPipeFunction<GenericInput extends AnyValue = AnyValue, GenericOutput extends MaybeFutureEither<AnyValue> = MaybeFutureEither<AnyValue>> = (input: Awaited<GenericInput> extends infer InferredInput ? InferredInput extends Either ? Unwrap<Exclude<InferredInput, Left>> : InferredInput : never) => GenericOutput;
|
|
9
|
+
/**
|
|
10
|
+
* @deprecated use RightAsyncPipeFunction
|
|
11
|
+
*/
|
|
12
|
+
export type EitherRightAsyncPipeFunction<GenericInput extends AnyValue = AnyValue, GenericOutput extends MaybeFutureEither<AnyValue> = MaybeFutureEither<AnyValue>> = RightAsyncPipeFunction<GenericInput, GenericOutput>;
|
|
13
|
+
export type RightAsyncPipeResult<GenericPipeOutputs extends AnyValue, GenericLastPipeOutput extends AnyValue> = (Extract<Awaited<GenericPipeOutputs>, Left> | (Awaited<GenericLastPipeOutput> extends infer InferredLastResult ? Exclude<InferredLastResult extends Either ? InferredLastResult : Success<InferredLastResult>, Left> : never) | (Promise<any> extends Exclude<GenericPipeOutputs, Future<any>> ? FutureError : never));
|
|
14
|
+
/**
|
|
15
|
+
* @deprecated use RightAsyncPipeResult
|
|
16
|
+
*/
|
|
17
|
+
export type EitherRightAsyncPipeResult<GenericPipeOutputs extends AnyValue, GenericLastPipeOutput extends AnyValue> = RightAsyncPipeResult<GenericPipeOutputs, GenericLastPipeOutput>;
|
|
10
18
|
/**
|
|
11
19
|
* Asynchronous version of rightPipe. Automatically handles promises, Future, and Either, and short-circuits on the first Left.
|
|
12
20
|
*
|
|
@@ -18,9 +26,9 @@ export type EitherRightAsyncPipeResult<GenericPipeOutputs extends AnyValue, Gene
|
|
|
18
26
|
* import { E } from "../..";
|
|
19
27
|
*
|
|
20
28
|
* const input: Promise<
|
|
21
|
-
* | E.
|
|
22
|
-
* | E.
|
|
23
|
-
* | E.
|
|
29
|
+
* | E.Fail
|
|
30
|
+
* | E.NullableEmpty
|
|
31
|
+
* | E.Right<"right", 1>
|
|
24
32
|
* > = Promise.resolve(E.right("right", 1));
|
|
25
33
|
*
|
|
26
34
|
* const result = E.rightAsyncPipe(
|
|
@@ -40,19 +48,19 @@ export type EitherRightAsyncPipeResult<GenericPipeOutputs extends AnyValue, Gene
|
|
|
40
48
|
* @namespace E
|
|
41
49
|
*
|
|
42
50
|
*/
|
|
43
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
44
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
45
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
46
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
47
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
48
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
49
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
50
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
51
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
52
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
53
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>, GenericOutputPipe11 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
54
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>, GenericOutputPipe11 extends MaybeFutureEither<AnyValue>, GenericOutputPipe12 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
55
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>, GenericOutputPipe11 extends MaybeFutureEither<AnyValue>, GenericOutputPipe12 extends MaybeFutureEither<AnyValue>, GenericOutputPipe13 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
56
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>, GenericOutputPipe11 extends MaybeFutureEither<AnyValue>, GenericOutputPipe12 extends MaybeFutureEither<AnyValue>, GenericOutputPipe13 extends MaybeFutureEither<AnyValue>, GenericOutputPipe14 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
57
|
-
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>, GenericOutputPipe11 extends MaybeFutureEither<AnyValue>, GenericOutputPipe12 extends MaybeFutureEither<AnyValue>, GenericOutputPipe13 extends MaybeFutureEither<AnyValue>, GenericOutputPipe14 extends MaybeFutureEither<AnyValue>, GenericOutputPipe15 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1:
|
|
51
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1, GenericOutputPipe1>, any>>;
|
|
52
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2, GenericOutputPipe2>, any>>;
|
|
53
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3, GenericOutputPipe3>, any>>;
|
|
54
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4, GenericOutputPipe4>, any>>;
|
|
55
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightAsyncPipeFunction<GenericOutputPipe4, GenericOutputPipe5>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5, GenericOutputPipe5>, any>>;
|
|
56
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightAsyncPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightAsyncPipeFunction<GenericOutputPipe5, GenericOutputPipe6>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6, GenericOutputPipe6>, any>>;
|
|
57
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightAsyncPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightAsyncPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightAsyncPipeFunction<GenericOutputPipe6, GenericOutputPipe7>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7, GenericOutputPipe7>, any>>;
|
|
58
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightAsyncPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightAsyncPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightAsyncPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightAsyncPipeFunction<GenericOutputPipe7, GenericOutputPipe8>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8, GenericOutputPipe8>, any>>;
|
|
59
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightAsyncPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightAsyncPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightAsyncPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightAsyncPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightAsyncPipeFunction<GenericOutputPipe8, GenericOutputPipe9>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9, GenericOutputPipe9>, any>>;
|
|
60
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightAsyncPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightAsyncPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightAsyncPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightAsyncPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightAsyncPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightAsyncPipeFunction<GenericOutputPipe9, GenericOutputPipe10>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10, GenericOutputPipe10>, any>>;
|
|
61
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>, GenericOutputPipe11 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightAsyncPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightAsyncPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightAsyncPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightAsyncPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightAsyncPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightAsyncPipeFunction<GenericOutputPipe9, GenericOutputPipe10>, pipe11: RightAsyncPipeFunction<GenericOutputPipe10, GenericOutputPipe11>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10 | GenericOutputPipe11, GenericOutputPipe11>, any>>;
|
|
62
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>, GenericOutputPipe11 extends MaybeFutureEither<AnyValue>, GenericOutputPipe12 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightAsyncPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightAsyncPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightAsyncPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightAsyncPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightAsyncPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightAsyncPipeFunction<GenericOutputPipe9, GenericOutputPipe10>, pipe11: RightAsyncPipeFunction<GenericOutputPipe10, GenericOutputPipe11>, pipe12: RightAsyncPipeFunction<GenericOutputPipe11, GenericOutputPipe12>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10 | GenericOutputPipe11 | GenericOutputPipe12, GenericOutputPipe12>, any>>;
|
|
63
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>, GenericOutputPipe11 extends MaybeFutureEither<AnyValue>, GenericOutputPipe12 extends MaybeFutureEither<AnyValue>, GenericOutputPipe13 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightAsyncPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightAsyncPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightAsyncPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightAsyncPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightAsyncPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightAsyncPipeFunction<GenericOutputPipe9, GenericOutputPipe10>, pipe11: RightAsyncPipeFunction<GenericOutputPipe10, GenericOutputPipe11>, pipe12: RightAsyncPipeFunction<GenericOutputPipe11, GenericOutputPipe12>, pipe13: RightAsyncPipeFunction<GenericOutputPipe12, GenericOutputPipe13>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10 | GenericOutputPipe11 | GenericOutputPipe12 | GenericOutputPipe13, GenericOutputPipe13>, any>>;
|
|
64
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>, GenericOutputPipe11 extends MaybeFutureEither<AnyValue>, GenericOutputPipe12 extends MaybeFutureEither<AnyValue>, GenericOutputPipe13 extends MaybeFutureEither<AnyValue>, GenericOutputPipe14 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightAsyncPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightAsyncPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightAsyncPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightAsyncPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightAsyncPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightAsyncPipeFunction<GenericOutputPipe9, GenericOutputPipe10>, pipe11: RightAsyncPipeFunction<GenericOutputPipe10, GenericOutputPipe11>, pipe12: RightAsyncPipeFunction<GenericOutputPipe11, GenericOutputPipe12>, pipe13: RightAsyncPipeFunction<GenericOutputPipe12, GenericOutputPipe13>, pipe14: RightAsyncPipeFunction<GenericOutputPipe13, GenericOutputPipe14>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10 | GenericOutputPipe11 | GenericOutputPipe12 | GenericOutputPipe13 | GenericOutputPipe14, GenericOutputPipe14>, any>>;
|
|
65
|
+
export declare function rightAsyncPipe<GenericInput extends MaybeFutureEither<AnyValue>, GenericOutputPipe1 extends MaybeFutureEither<AnyValue>, GenericOutputPipe2 extends MaybeFutureEither<AnyValue>, GenericOutputPipe3 extends MaybeFutureEither<AnyValue>, GenericOutputPipe4 extends MaybeFutureEither<AnyValue>, GenericOutputPipe5 extends MaybeFutureEither<AnyValue>, GenericOutputPipe6 extends MaybeFutureEither<AnyValue>, GenericOutputPipe7 extends MaybeFutureEither<AnyValue>, GenericOutputPipe8 extends MaybeFutureEither<AnyValue>, GenericOutputPipe9 extends MaybeFutureEither<AnyValue>, GenericOutputPipe10 extends MaybeFutureEither<AnyValue>, GenericOutputPipe11 extends MaybeFutureEither<AnyValue>, GenericOutputPipe12 extends MaybeFutureEither<AnyValue>, GenericOutputPipe13 extends MaybeFutureEither<AnyValue>, GenericOutputPipe14 extends MaybeFutureEither<AnyValue>, GenericOutputPipe15 extends MaybeFutureEither<AnyValue>>(input: GenericInput, pipe1: RightAsyncPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightAsyncPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightAsyncPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightAsyncPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightAsyncPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightAsyncPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightAsyncPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightAsyncPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightAsyncPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightAsyncPipeFunction<GenericOutputPipe9, GenericOutputPipe10>, pipe11: RightAsyncPipeFunction<GenericOutputPipe10, GenericOutputPipe11>, pipe12: RightAsyncPipeFunction<GenericOutputPipe11, GenericOutputPipe12>, pipe13: RightAsyncPipeFunction<GenericOutputPipe12, GenericOutputPipe13>, pipe14: RightAsyncPipeFunction<GenericOutputPipe13, GenericOutputPipe14>, pipe15: RightAsyncPipeFunction<GenericOutputPipe14, GenericOutputPipe15>): Future<Extract<RightAsyncPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10 | GenericOutputPipe11 | GenericOutputPipe12 | GenericOutputPipe13 | GenericOutputPipe14 | GenericOutputPipe15, GenericOutputPipe15>, any>>;
|
|
58
66
|
export {};
|
|
@@ -3,13 +3,18 @@
|
|
|
3
3
|
var wrapValue = require('../../common/wrapValue.cjs');
|
|
4
4
|
var kind = require('../kind.cjs');
|
|
5
5
|
|
|
6
|
-
const
|
|
6
|
+
const rightKind = kind.createEitherKind("right");
|
|
7
|
+
/**
|
|
8
|
+
* @deprecated use rightKind
|
|
9
|
+
*/
|
|
10
|
+
const eitherRightKind = rightKind;
|
|
7
11
|
/**
|
|
8
12
|
* {@include either/right/index.md}
|
|
9
13
|
*/
|
|
10
14
|
function right(information, value = undefined) {
|
|
11
|
-
return
|
|
15
|
+
return rightKind.setTo(kind.informationKind.setTo(wrapValue.wrapValue(value), information));
|
|
12
16
|
}
|
|
13
17
|
|
|
14
18
|
exports.eitherRightKind = eitherRightKind;
|
|
15
19
|
exports.right = right;
|
|
20
|
+
exports.rightKind = rightKind;
|
|
@@ -1,12 +1,20 @@
|
|
|
1
1
|
import { type Kind } from "../../common/kind";
|
|
2
2
|
import { type WrappedValue } from "../../common/wrapValue";
|
|
3
|
-
import {
|
|
3
|
+
import { informationKind } from "../kind";
|
|
4
|
+
export declare const rightKind: import("../../common/kind").KindHandler<import("../../common/kind").KindDefinition<"@DuplojsUtilsEither/right", unknown>>;
|
|
5
|
+
/**
|
|
6
|
+
* @deprecated use rightKind
|
|
7
|
+
*/
|
|
4
8
|
export declare const eitherRightKind: import("../../common/kind").KindHandler<import("../../common/kind").KindDefinition<"@DuplojsUtilsEither/right", unknown>>;
|
|
5
|
-
type
|
|
6
|
-
export interface
|
|
9
|
+
type _Right<GenericInformation extends string = string, GenericValue extends unknown = unknown> = (Kind<typeof rightKind.definition> & Kind<typeof informationKind.definition, GenericInformation> & WrappedValue<GenericValue>);
|
|
10
|
+
export interface Right<GenericInformation extends string = string, GenericValue extends unknown = unknown> extends _Right<GenericInformation, GenericValue> {
|
|
7
11
|
}
|
|
8
12
|
/**
|
|
9
|
-
*
|
|
13
|
+
* @deprecated use Right
|
|
14
|
+
*/
|
|
15
|
+
export type EitherRight<GenericInformation extends string = string, GenericValue extends unknown = unknown> = Right<GenericInformation, GenericValue>;
|
|
16
|
+
/**
|
|
17
|
+
* Builds an Right by associating mandatory business information (literal string) and an optional payload. This is the basic brick to signal a contextualized success.
|
|
10
18
|
*
|
|
11
19
|
* Signature: `right(information, value)` → returns a value
|
|
12
20
|
*
|
|
@@ -32,8 +40,8 @@ export interface EitherRight<GenericInformation extends string = string, Generic
|
|
|
32
40
|
* ),
|
|
33
41
|
* );
|
|
34
42
|
*
|
|
35
|
-
* // type: E.
|
|
36
|
-
* // | E.
|
|
43
|
+
* // type: E.Right< "coupon.applied", { readonly code: `SAVE${string}`; readonly percent: 15; } >
|
|
44
|
+
* // | E.Left< "coupon.invalid", string >
|
|
37
45
|
* ```
|
|
38
46
|
*
|
|
39
47
|
* @see https://utils.duplojs.dev/en/v1/api/either/right
|
|
@@ -41,5 +49,5 @@ export interface EitherRight<GenericInformation extends string = string, Generic
|
|
|
41
49
|
* @namespace E
|
|
42
50
|
*
|
|
43
51
|
*/
|
|
44
|
-
export declare function right<GenericInformation extends string, const GenericValue extends unknown = undefined>(information: GenericInformation, value?: GenericValue):
|
|
52
|
+
export declare function right<GenericInformation extends string, const GenericValue extends unknown = undefined>(information: GenericInformation, value?: GenericValue): Right<GenericInformation, GenericValue>;
|
|
45
53
|
export {};
|
|
@@ -1,12 +1,16 @@
|
|
|
1
1
|
import { wrapValue } from '../../common/wrapValue.mjs';
|
|
2
|
-
import { createEitherKind,
|
|
2
|
+
import { createEitherKind, informationKind } from '../kind.mjs';
|
|
3
3
|
|
|
4
|
-
const
|
|
4
|
+
const rightKind = createEitherKind("right");
|
|
5
|
+
/**
|
|
6
|
+
* @deprecated use rightKind
|
|
7
|
+
*/
|
|
8
|
+
const eitherRightKind = rightKind;
|
|
5
9
|
/**
|
|
6
10
|
* {@include either/right/index.md}
|
|
7
11
|
*/
|
|
8
12
|
function right(information, value = undefined) {
|
|
9
|
-
return
|
|
13
|
+
return rightKind.setTo(informationKind.setTo(wrapValue(value), information));
|
|
10
14
|
}
|
|
11
15
|
|
|
12
|
-
export { eitherRightKind, right };
|
|
16
|
+
export { eitherRightKind, right, rightKind };
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
import { type AnyFunction, type SimplifyTopLevel, type MayBeGetter, type Unwrap } from "../../common";
|
|
2
|
-
import { type
|
|
3
|
-
import { type
|
|
2
|
+
import { type Left } from "../left";
|
|
3
|
+
import { type Right } from "./create";
|
|
4
4
|
import * as DEither from "..";
|
|
5
|
-
type Either =
|
|
6
|
-
type ComputeResult<GenericGroup extends Record<string, MayBeGetter<Either>>> = (DEither.
|
|
7
|
-
[Prop in keyof GenericGroup]: GenericGroup[Prop] extends AnyFunction ? Unwrap<Extract<ReturnType<GenericGroup[Prop]>,
|
|
5
|
+
type Either = Right | Left;
|
|
6
|
+
type ComputeResult<GenericGroup extends Record<string, MayBeGetter<Either>>> = (DEither.Success<SimplifyTopLevel<{
|
|
7
|
+
[Prop in keyof GenericGroup]: GenericGroup[Prop] extends AnyFunction ? Unwrap<Extract<ReturnType<GenericGroup[Prop]>, Right>> : Unwrap<Extract<GenericGroup[Prop], Right>>;
|
|
8
8
|
}>> | {
|
|
9
|
-
[Prop in keyof GenericGroup]: GenericGroup[Prop] extends AnyFunction ? Extract<ReturnType<GenericGroup[Prop]>,
|
|
9
|
+
[Prop in keyof GenericGroup]: GenericGroup[Prop] extends AnyFunction ? Extract<ReturnType<GenericGroup[Prop]>, Left> : Extract<GenericGroup[Prop], Left>;
|
|
10
10
|
}[keyof GenericGroup]);
|
|
11
11
|
/**
|
|
12
12
|
* The group() function runs several Either values (or functions returning an Either) and returns the first Left encountered. If all are Right, it aggregates their values into a typed object.
|
|
@@ -22,8 +22,8 @@ type ComputeResult<GenericGroup extends Record<string, MayBeGetter<Either>>> = (
|
|
|
22
22
|
* profile: E.left("profile.missing", null),
|
|
23
23
|
* });
|
|
24
24
|
*
|
|
25
|
-
* // type: E.
|
|
26
|
-
* // | E.
|
|
25
|
+
* // type: E.Left<"profile.missing", null>
|
|
26
|
+
* // | E.Success<{ user: { readonly id: 1; }; rights: readonly ["read", "write"]; profile: never; }>
|
|
27
27
|
* ```
|
|
28
28
|
*
|
|
29
29
|
* @remarks
|
package/dist/either/right/is.cjs
CHANGED
|
@@ -8,8 +8,8 @@ var wrapValue = require('../../common/wrapValue.cjs');
|
|
|
8
8
|
* {@include either/isRight/index.md}
|
|
9
9
|
*/
|
|
10
10
|
function isRight(input) {
|
|
11
|
-
return create.
|
|
12
|
-
&& kind.
|
|
11
|
+
return create.rightKind.has(input)
|
|
12
|
+
&& kind.informationKind.has(input)
|
|
13
13
|
&& wrapValue.isWrappedValue(input);
|
|
14
14
|
}
|
|
15
15
|
|