@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,6 +1,6 @@
|
|
|
1
|
-
import { type
|
|
1
|
+
import { type Right } from "./create";
|
|
2
2
|
/**
|
|
3
|
-
* Type guard that checks whether a value is an
|
|
3
|
+
* Type guard that checks whether a value is an Right. Allows accessing the payload without explicit conversion.
|
|
4
4
|
*
|
|
5
5
|
* Signature: `isRight(input)` → returns a value
|
|
6
6
|
*
|
|
@@ -12,7 +12,7 @@ import { type EitherRight } from "./create";
|
|
|
12
12
|
* : E.fail();
|
|
13
13
|
*
|
|
14
14
|
* if (E.isRight(result)) {
|
|
15
|
-
* // type: E.
|
|
15
|
+
* // type: E.Ok
|
|
16
16
|
* }
|
|
17
17
|
* ```
|
|
18
18
|
*
|
|
@@ -21,4 +21,4 @@ import { type EitherRight } from "./create";
|
|
|
21
21
|
* @namespace E
|
|
22
22
|
*
|
|
23
23
|
*/
|
|
24
|
-
export declare function isRight<GenericInput extends unknown>(input: GenericInput): input is Extract<GenericInput,
|
|
24
|
+
export declare function isRight<GenericInput extends unknown>(input: GenericInput): input is Extract<GenericInput, Right>;
|
package/dist/either/right/is.mjs
CHANGED
|
@@ -1,13 +1,13 @@
|
|
|
1
|
-
import {
|
|
2
|
-
import {
|
|
1
|
+
import { informationKind } from '../kind.mjs';
|
|
2
|
+
import { rightKind } from './create.mjs';
|
|
3
3
|
import { isWrappedValue } from '../../common/wrapValue.mjs';
|
|
4
4
|
|
|
5
5
|
/**
|
|
6
6
|
* {@include either/isRight/index.md}
|
|
7
7
|
*/
|
|
8
8
|
function isRight(input) {
|
|
9
|
-
return
|
|
10
|
-
&&
|
|
9
|
+
return rightKind.has(input)
|
|
10
|
+
&& informationKind.has(input)
|
|
11
11
|
&& isWrappedValue(input);
|
|
12
12
|
}
|
|
13
13
|
|
package/dist/either/right/ok.cjs
CHANGED
|
@@ -3,13 +3,18 @@
|
|
|
3
3
|
var kind = require('../kind.cjs');
|
|
4
4
|
var create = require('./create.cjs');
|
|
5
5
|
|
|
6
|
-
const
|
|
6
|
+
const okKind = kind.createEitherKind("ok");
|
|
7
|
+
/**
|
|
8
|
+
* @deprecated use okKind
|
|
9
|
+
*/
|
|
10
|
+
const eitherOkKind = okKind;
|
|
7
11
|
/**
|
|
8
12
|
* {@include either/ok/index.md}
|
|
9
13
|
*/
|
|
10
14
|
function ok() {
|
|
11
|
-
return
|
|
15
|
+
return okKind.setTo(create.right("ok", undefined));
|
|
12
16
|
}
|
|
13
17
|
|
|
14
18
|
exports.eitherOkKind = eitherOkKind;
|
|
15
19
|
exports.ok = ok;
|
|
20
|
+
exports.okKind = okKind;
|
|
@@ -1,11 +1,19 @@
|
|
|
1
1
|
import { type Kind } from "../../common/kind";
|
|
2
|
-
import { type
|
|
2
|
+
import { type Right } from "./create";
|
|
3
|
+
export declare const okKind: import("../../common/kind").KindHandler<import("../../common/kind").KindDefinition<"@DuplojsUtilsEither/ok", unknown>>;
|
|
4
|
+
/**
|
|
5
|
+
* @deprecated use okKind
|
|
6
|
+
*/
|
|
3
7
|
export declare const eitherOkKind: import("../../common/kind").KindHandler<import("../../common/kind").KindDefinition<"@DuplojsUtilsEither/ok", unknown>>;
|
|
4
|
-
type
|
|
5
|
-
export interface
|
|
8
|
+
type _Ok = (Right<"ok", never> & Kind<typeof okKind.definition>);
|
|
9
|
+
export interface Ok extends _Ok {
|
|
6
10
|
}
|
|
7
11
|
/**
|
|
8
|
-
*
|
|
12
|
+
* @deprecated use Ok
|
|
13
|
+
*/
|
|
14
|
+
export type EitherOk = Ok;
|
|
15
|
+
/**
|
|
16
|
+
* Returns an Right<"ok", never>: an empty success that confirms an operation went fine without extra data.
|
|
9
17
|
*
|
|
10
18
|
* Signature: `ok()` → returns a value
|
|
11
19
|
*
|
|
@@ -21,7 +29,7 @@ export interface EitherOk extends _EitherOk {
|
|
|
21
29
|
* ),
|
|
22
30
|
* );
|
|
23
31
|
*
|
|
24
|
-
* // type: E.
|
|
32
|
+
* // type: E.Ok | E.Fail
|
|
25
33
|
* ```
|
|
26
34
|
*
|
|
27
35
|
* @see https://utils.duplojs.dev/en/v1/api/either/ok
|
|
@@ -29,5 +37,5 @@ export interface EitherOk extends _EitherOk {
|
|
|
29
37
|
* @namespace E
|
|
30
38
|
*
|
|
31
39
|
*/
|
|
32
|
-
export declare function ok():
|
|
40
|
+
export declare function ok(): Ok;
|
|
33
41
|
export {};
|
package/dist/either/right/ok.mjs
CHANGED
|
@@ -1,12 +1,16 @@
|
|
|
1
1
|
import { createEitherKind } from '../kind.mjs';
|
|
2
2
|
import { right } from './create.mjs';
|
|
3
3
|
|
|
4
|
-
const
|
|
4
|
+
const okKind = createEitherKind("ok");
|
|
5
|
+
/**
|
|
6
|
+
* @deprecated use okKind
|
|
7
|
+
*/
|
|
8
|
+
const eitherOkKind = okKind;
|
|
5
9
|
/**
|
|
6
10
|
* {@include either/ok/index.md}
|
|
7
11
|
*/
|
|
8
12
|
function ok() {
|
|
9
|
-
return
|
|
13
|
+
return okKind.setTo(right("ok", undefined));
|
|
10
14
|
}
|
|
11
15
|
|
|
12
|
-
export { eitherOkKind, ok };
|
|
16
|
+
export { eitherOkKind, ok, okKind };
|
|
@@ -1,10 +1,18 @@
|
|
|
1
|
-
import { type
|
|
2
|
-
import { type
|
|
3
|
-
import { type
|
|
1
|
+
import { type Right } from "./create";
|
|
2
|
+
import { type Left } from "../left";
|
|
3
|
+
import { type Success } from "./success";
|
|
4
4
|
import { type AnyValue, type Unwrap } from "../../common";
|
|
5
|
-
type Either =
|
|
6
|
-
export type
|
|
7
|
-
|
|
5
|
+
type Either = Right | Left;
|
|
6
|
+
export type RightPipeFunction<GenericInput extends AnyValue = AnyValue, GenericOutput extends AnyValue = AnyValue> = (input: GenericInput extends Either ? Unwrap<Exclude<GenericInput, Left>> : GenericInput) => GenericOutput;
|
|
7
|
+
/**
|
|
8
|
+
* @deprecated use RightPipeFunction
|
|
9
|
+
*/
|
|
10
|
+
export type EitherRightPipeFunction<GenericInput extends AnyValue = AnyValue, GenericOutput extends AnyValue = AnyValue> = RightPipeFunction<GenericInput, GenericOutput>;
|
|
11
|
+
export type RightPipeResult<GenericPipeOutputs extends AnyValue, GenericLastPipeOutput extends AnyValue> = Extract<GenericPipeOutputs, Left> | Exclude<GenericLastPipeOutput extends Either ? GenericLastPipeOutput : Success<GenericLastPipeOutput>, Left>;
|
|
12
|
+
/**
|
|
13
|
+
* @deprecated use RightPipeResult
|
|
14
|
+
*/
|
|
15
|
+
export type EitherRightPipeResult<GenericPipeOutputs extends AnyValue, GenericLastPipeOutput extends AnyValue> = RightPipeResult<GenericPipeOutputs, GenericLastPipeOutput>;
|
|
8
16
|
/**
|
|
9
17
|
* Chains synchronous transformations on an Either as long as it remains Right. The pipeline stops as soon as a Left is returned.
|
|
10
18
|
*
|
|
@@ -16,9 +24,9 @@ export type EitherRightPipeResult<GenericPipeOutputs extends AnyValue, GenericLa
|
|
|
16
24
|
* import { E } from "../..";
|
|
17
25
|
*
|
|
18
26
|
* const input: (
|
|
19
|
-
* | E.
|
|
20
|
-
* | E.
|
|
21
|
-
* | E.
|
|
27
|
+
* | E.Fail
|
|
28
|
+
* | E.NullableEmpty
|
|
29
|
+
* | E.Right<"right", 1>
|
|
22
30
|
* ) = E.right("right", 1);
|
|
23
31
|
*
|
|
24
32
|
* const result = E.rightPipe(
|
|
@@ -38,19 +46,19 @@ export type EitherRightPipeResult<GenericPipeOutputs extends AnyValue, GenericLa
|
|
|
38
46
|
* @namespace E
|
|
39
47
|
*
|
|
40
48
|
*/
|
|
41
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue>(input: GenericInput, pipe1:
|
|
42
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue>(input: GenericInput, pipe1:
|
|
43
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue>(input: GenericInput, pipe1:
|
|
44
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue>(input: GenericInput, pipe1:
|
|
45
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue>(input: GenericInput, pipe1:
|
|
46
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue>(input: GenericInput, pipe1:
|
|
47
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue>(input: GenericInput, pipe1:
|
|
48
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue>(input: GenericInput, pipe1:
|
|
49
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue>(input: GenericInput, pipe1:
|
|
50
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue>(input: GenericInput, pipe1:
|
|
51
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue, GenericOutputPipe11 extends AnyValue>(input: GenericInput, pipe1:
|
|
52
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue, GenericOutputPipe11 extends AnyValue, GenericOutputPipe12 extends AnyValue>(input: GenericInput, pipe1:
|
|
53
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue, GenericOutputPipe11 extends AnyValue, GenericOutputPipe12 extends AnyValue, GenericOutputPipe13 extends AnyValue>(input: GenericInput, pipe1:
|
|
54
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue, GenericOutputPipe11 extends AnyValue, GenericOutputPipe12 extends AnyValue, GenericOutputPipe13 extends AnyValue, GenericOutputPipe14 extends AnyValue>(input: GenericInput, pipe1:
|
|
55
|
-
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue, GenericOutputPipe11 extends AnyValue, GenericOutputPipe12 extends AnyValue, GenericOutputPipe13 extends AnyValue, GenericOutputPipe14 extends AnyValue, GenericOutputPipe15 extends AnyValue>(input: GenericInput, pipe1:
|
|
49
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1, GenericOutputPipe1>, any>;
|
|
50
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2, GenericOutputPipe2>, any>;
|
|
51
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3, GenericOutputPipe3>, any>;
|
|
52
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4, GenericOutputPipe4>, any>;
|
|
53
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightPipeFunction<GenericOutputPipe4, GenericOutputPipe5>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5, GenericOutputPipe5>, any>;
|
|
54
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightPipeFunction<GenericOutputPipe5, GenericOutputPipe6>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6, GenericOutputPipe6>, any>;
|
|
55
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightPipeFunction<GenericOutputPipe6, GenericOutputPipe7>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7, GenericOutputPipe7>, any>;
|
|
56
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightPipeFunction<GenericOutputPipe7, GenericOutputPipe8>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8, GenericOutputPipe8>, any>;
|
|
57
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightPipeFunction<GenericOutputPipe8, GenericOutputPipe9>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9, GenericOutputPipe9>, any>;
|
|
58
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightPipeFunction<GenericOutputPipe9, GenericOutputPipe10>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10, GenericOutputPipe10>, any>;
|
|
59
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue, GenericOutputPipe11 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightPipeFunction<GenericOutputPipe9, GenericOutputPipe10>, pipe11: RightPipeFunction<GenericOutputPipe10, GenericOutputPipe11>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10 | GenericOutputPipe11, GenericOutputPipe11>, any>;
|
|
60
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue, GenericOutputPipe11 extends AnyValue, GenericOutputPipe12 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightPipeFunction<GenericOutputPipe9, GenericOutputPipe10>, pipe11: RightPipeFunction<GenericOutputPipe10, GenericOutputPipe11>, pipe12: RightPipeFunction<GenericOutputPipe11, GenericOutputPipe12>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10 | GenericOutputPipe11 | GenericOutputPipe12, GenericOutputPipe12>, any>;
|
|
61
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue, GenericOutputPipe11 extends AnyValue, GenericOutputPipe12 extends AnyValue, GenericOutputPipe13 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightPipeFunction<GenericOutputPipe9, GenericOutputPipe10>, pipe11: RightPipeFunction<GenericOutputPipe10, GenericOutputPipe11>, pipe12: RightPipeFunction<GenericOutputPipe11, GenericOutputPipe12>, pipe13: RightPipeFunction<GenericOutputPipe12, GenericOutputPipe13>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10 | GenericOutputPipe11 | GenericOutputPipe12 | GenericOutputPipe13, GenericOutputPipe13>, any>;
|
|
62
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue, GenericOutputPipe11 extends AnyValue, GenericOutputPipe12 extends AnyValue, GenericOutputPipe13 extends AnyValue, GenericOutputPipe14 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightPipeFunction<GenericOutputPipe9, GenericOutputPipe10>, pipe11: RightPipeFunction<GenericOutputPipe10, GenericOutputPipe11>, pipe12: RightPipeFunction<GenericOutputPipe11, GenericOutputPipe12>, pipe13: RightPipeFunction<GenericOutputPipe12, GenericOutputPipe13>, pipe14: RightPipeFunction<GenericOutputPipe13, GenericOutputPipe14>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10 | GenericOutputPipe11 | GenericOutputPipe12 | GenericOutputPipe13 | GenericOutputPipe14, GenericOutputPipe14>, any>;
|
|
63
|
+
export declare function rightPipe<GenericInput extends AnyValue, GenericOutputPipe1 extends AnyValue, GenericOutputPipe2 extends AnyValue, GenericOutputPipe3 extends AnyValue, GenericOutputPipe4 extends AnyValue, GenericOutputPipe5 extends AnyValue, GenericOutputPipe6 extends AnyValue, GenericOutputPipe7 extends AnyValue, GenericOutputPipe8 extends AnyValue, GenericOutputPipe9 extends AnyValue, GenericOutputPipe10 extends AnyValue, GenericOutputPipe11 extends AnyValue, GenericOutputPipe12 extends AnyValue, GenericOutputPipe13 extends AnyValue, GenericOutputPipe14 extends AnyValue, GenericOutputPipe15 extends AnyValue>(input: GenericInput, pipe1: RightPipeFunction<GenericInput, GenericOutputPipe1>, pipe2: RightPipeFunction<GenericOutputPipe1, GenericOutputPipe2>, pipe3: RightPipeFunction<GenericOutputPipe2, GenericOutputPipe3>, pipe4: RightPipeFunction<GenericOutputPipe3, GenericOutputPipe4>, pipe5: RightPipeFunction<GenericOutputPipe4, GenericOutputPipe5>, pipe6: RightPipeFunction<GenericOutputPipe5, GenericOutputPipe6>, pipe7: RightPipeFunction<GenericOutputPipe6, GenericOutputPipe7>, pipe8: RightPipeFunction<GenericOutputPipe7, GenericOutputPipe8>, pipe9: RightPipeFunction<GenericOutputPipe8, GenericOutputPipe9>, pipe10: RightPipeFunction<GenericOutputPipe9, GenericOutputPipe10>, pipe11: RightPipeFunction<GenericOutputPipe10, GenericOutputPipe11>, pipe12: RightPipeFunction<GenericOutputPipe11, GenericOutputPipe12>, pipe13: RightPipeFunction<GenericOutputPipe12, GenericOutputPipe13>, pipe14: RightPipeFunction<GenericOutputPipe13, GenericOutputPipe14>, pipe15: RightPipeFunction<GenericOutputPipe14, GenericOutputPipe15>): Extract<RightPipeResult<GenericInput | GenericOutputPipe1 | GenericOutputPipe2 | GenericOutputPipe3 | GenericOutputPipe4 | GenericOutputPipe5 | GenericOutputPipe6 | GenericOutputPipe7 | GenericOutputPipe8 | GenericOutputPipe9 | GenericOutputPipe10 | GenericOutputPipe11 | GenericOutputPipe12 | GenericOutputPipe13 | GenericOutputPipe14 | GenericOutputPipe15, GenericOutputPipe15>, any>;
|
|
56
64
|
export {};
|
|
@@ -3,13 +3,18 @@
|
|
|
3
3
|
var kind = require('../kind.cjs');
|
|
4
4
|
var create = require('./create.cjs');
|
|
5
5
|
|
|
6
|
-
const
|
|
6
|
+
const successKind = kind.createEitherKind("success");
|
|
7
|
+
/**
|
|
8
|
+
* @deprecated use successKind
|
|
9
|
+
*/
|
|
10
|
+
const eitherSuccessKind = successKind;
|
|
7
11
|
/**
|
|
8
12
|
* {@include either/success/index.md}
|
|
9
13
|
*/
|
|
10
14
|
function success(value) {
|
|
11
|
-
return
|
|
15
|
+
return successKind.setTo(create.right("success", value));
|
|
12
16
|
}
|
|
13
17
|
|
|
14
18
|
exports.eitherSuccessKind = eitherSuccessKind;
|
|
15
19
|
exports.success = success;
|
|
20
|
+
exports.successKind = successKind;
|
|
@@ -1,11 +1,19 @@
|
|
|
1
1
|
import { type Kind } from "../../common/kind";
|
|
2
|
-
import { type
|
|
2
|
+
import { type Right } from "./create";
|
|
3
|
+
export declare const successKind: import("../../common/kind").KindHandler<import("../../common/kind").KindDefinition<"@DuplojsUtilsEither/success", unknown>>;
|
|
4
|
+
/**
|
|
5
|
+
* @deprecated use successKind
|
|
6
|
+
*/
|
|
3
7
|
export declare const eitherSuccessKind: import("../../common/kind").KindHandler<import("../../common/kind").KindDefinition<"@DuplojsUtilsEither/success", unknown>>;
|
|
4
|
-
type
|
|
5
|
-
export interface
|
|
8
|
+
type _Success<GenericValue extends unknown = unknown> = (Right<"success", GenericValue> & Kind<typeof successKind.definition>);
|
|
9
|
+
export interface Success<GenericValue extends unknown = unknown> extends _Success<GenericValue> {
|
|
6
10
|
}
|
|
7
11
|
/**
|
|
8
|
-
*
|
|
12
|
+
* @deprecated use Success
|
|
13
|
+
*/
|
|
14
|
+
export type EitherSuccess<GenericValue extends unknown = unknown> = Success<GenericValue>;
|
|
15
|
+
/**
|
|
16
|
+
* Readable shortcut to create an Right with the literal info "success". Ideal for functions that return only one type of success.
|
|
9
17
|
*
|
|
10
18
|
* Signature: `success(value)` → returns a value
|
|
11
19
|
*
|
|
@@ -24,7 +32,7 @@ export interface EitherSuccess<GenericValue extends unknown = unknown> extends _
|
|
|
24
32
|
* ),
|
|
25
33
|
* );
|
|
26
34
|
*
|
|
27
|
-
* // type: E.
|
|
35
|
+
* // type: E.Error<string> | E.Success<string>
|
|
28
36
|
* ```
|
|
29
37
|
*
|
|
30
38
|
* @see https://utils.duplojs.dev/en/v1/api/either/success
|
|
@@ -32,5 +40,5 @@ export interface EitherSuccess<GenericValue extends unknown = unknown> extends _
|
|
|
32
40
|
* @namespace E
|
|
33
41
|
*
|
|
34
42
|
*/
|
|
35
|
-
export declare function success<const GenericValue extends unknown>(value: GenericValue):
|
|
43
|
+
export declare function success<const GenericValue extends unknown>(value: GenericValue): Success<GenericValue>;
|
|
36
44
|
export {};
|
|
@@ -1,12 +1,16 @@
|
|
|
1
1
|
import { createEitherKind } from '../kind.mjs';
|
|
2
2
|
import { right } from './create.mjs';
|
|
3
3
|
|
|
4
|
-
const
|
|
4
|
+
const successKind = createEitherKind("success");
|
|
5
|
+
/**
|
|
6
|
+
* @deprecated use successKind
|
|
7
|
+
*/
|
|
8
|
+
const eitherSuccessKind = successKind;
|
|
5
9
|
/**
|
|
6
10
|
* {@include either/success/index.md}
|
|
7
11
|
*/
|
|
8
12
|
function success(value) {
|
|
9
|
-
return
|
|
13
|
+
return successKind.setTo(right("success", value));
|
|
10
14
|
}
|
|
11
15
|
|
|
12
|
-
export { eitherSuccessKind, success };
|
|
16
|
+
export { eitherSuccessKind, success, successKind };
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import { type EscapeVoid, type AnyValue, type Unwrap, type BreakGenericLink } from "../../common";
|
|
2
|
-
import { type
|
|
2
|
+
import { type Right } from "./create";
|
|
3
3
|
/**
|
|
4
|
-
* Applies a function only when the input is an
|
|
4
|
+
* Applies a function only when the input is an Right. Otherwise, the original value is returned as-is.
|
|
5
5
|
*
|
|
6
6
|
* **Supported call styles:**
|
|
7
7
|
* - Classic: `whenIsRight(input, theFunction)` → returns a value
|
|
@@ -26,5 +26,5 @@ import { type EitherRight } from "./create";
|
|
|
26
26
|
* @namespace E
|
|
27
27
|
*
|
|
28
28
|
*/
|
|
29
|
-
export declare function whenIsRight<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(theFunction: (eitherValue: Unwrap<Extract<BreakGenericLink<GenericInput>,
|
|
30
|
-
export declare function whenIsRight<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(input: GenericInput, theFunction: (eitherValue: Unwrap<Extract<BreakGenericLink<GenericInput>,
|
|
29
|
+
export declare function whenIsRight<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(theFunction: (eitherValue: Unwrap<Extract<BreakGenericLink<GenericInput>, Right>>) => GenericOutput): (input: GenericInput) => Exclude<BreakGenericLink<GenericInput>, Right> | GenericOutput;
|
|
30
|
+
export declare function whenIsRight<const GenericInput extends unknown, const GenericOutput extends AnyValue | EscapeVoid>(input: GenericInput, theFunction: (eitherValue: Unwrap<Extract<BreakGenericLink<GenericInput>, Right>>) => GenericOutput): Exclude<GenericInput, Right> | GenericOutput;
|
|
@@ -6,13 +6,21 @@ var create$1 = require('./right/create.cjs');
|
|
|
6
6
|
var is = require('./right/is.cjs');
|
|
7
7
|
var is$1 = require('./left/is.cjs');
|
|
8
8
|
|
|
9
|
-
const
|
|
10
|
-
|
|
9
|
+
const callbackErrorKind = kind.createEitherKind("callback-error");
|
|
10
|
+
/**
|
|
11
|
+
* @deprecated use callbackErrorKind
|
|
12
|
+
*/
|
|
13
|
+
const eitherCallbackErrorKind = callbackErrorKind;
|
|
14
|
+
const callbackSuccessKind = kind.createEitherKind("callback-success");
|
|
15
|
+
/**
|
|
16
|
+
* @deprecated use callbackSuccessKind
|
|
17
|
+
*/
|
|
18
|
+
const eitherCallbackSuccessKind = callbackSuccessKind;
|
|
11
19
|
function callbackError(value) {
|
|
12
|
-
return
|
|
20
|
+
return callbackErrorKind.setTo(create.left("callback", value));
|
|
13
21
|
}
|
|
14
22
|
function callbackSuccess(value) {
|
|
15
|
-
return
|
|
23
|
+
return callbackSuccessKind.setTo(create$1.right("callback", value));
|
|
16
24
|
}
|
|
17
25
|
/**
|
|
18
26
|
* {@include either/safeCallback/index.md}
|
|
@@ -31,7 +39,9 @@ function safeCallback(theFunction) {
|
|
|
31
39
|
}
|
|
32
40
|
|
|
33
41
|
exports.callbackError = callbackError;
|
|
42
|
+
exports.callbackErrorKind = callbackErrorKind;
|
|
34
43
|
exports.callbackSuccess = callbackSuccess;
|
|
44
|
+
exports.callbackSuccessKind = callbackSuccessKind;
|
|
35
45
|
exports.eitherCallbackErrorKind = eitherCallbackErrorKind;
|
|
36
46
|
exports.eitherCallbackSuccessKind = eitherCallbackSuccessKind;
|
|
37
47
|
exports.safeCallback = safeCallback;
|
|
@@ -1,21 +1,37 @@
|
|
|
1
1
|
import type { Kind, EscapeVoid } from "../common";
|
|
2
|
-
import { type
|
|
3
|
-
import { type
|
|
2
|
+
import { type Left } from "./left";
|
|
3
|
+
import { type Right } from "./right";
|
|
4
|
+
export declare const callbackErrorKind: import("../common").KindHandler<import("../common").KindDefinition<"@DuplojsUtilsEither/callback-error", unknown>>;
|
|
5
|
+
/**
|
|
6
|
+
* @deprecated use callbackErrorKind
|
|
7
|
+
*/
|
|
4
8
|
export declare const eitherCallbackErrorKind: import("../common").KindHandler<import("../common").KindDefinition<"@DuplojsUtilsEither/callback-error", unknown>>;
|
|
9
|
+
export declare const callbackSuccessKind: import("../common").KindHandler<import("../common").KindDefinition<"@DuplojsUtilsEither/callback-success", unknown>>;
|
|
10
|
+
/**
|
|
11
|
+
* @deprecated use callbackSuccessKind
|
|
12
|
+
*/
|
|
5
13
|
export declare const eitherCallbackSuccessKind: import("../common").KindHandler<import("../common").KindDefinition<"@DuplojsUtilsEither/callback-success", unknown>>;
|
|
6
|
-
type
|
|
7
|
-
type
|
|
8
|
-
export interface
|
|
14
|
+
type _CallbackError = (Left<"callback", unknown> & Kind<typeof callbackErrorKind.definition>);
|
|
15
|
+
type _CallbackSuccess<GenericValue extends unknown> = (Right<"callback", GenericValue> & Kind<typeof callbackSuccessKind.definition>);
|
|
16
|
+
export interface CallbackError extends _CallbackError {
|
|
9
17
|
}
|
|
10
|
-
export interface
|
|
18
|
+
export interface CallbackSuccess<GenericValue extends unknown> extends _CallbackSuccess<GenericValue> {
|
|
11
19
|
}
|
|
12
|
-
export declare function callbackError(value: unknown): EitherCallbackError;
|
|
13
|
-
export declare function callbackSuccess<GenericValue extends unknown>(value: GenericValue): EitherCallbackSuccess<GenericValue>;
|
|
14
|
-
type Either = EitherRight | EitherLeft;
|
|
15
|
-
type ComputeSafeCallbackResult<GenericOutput extends unknown> = GenericOutput extends Either ? GenericOutput : GenericOutput extends EscapeVoid ? EitherCallbackSuccess<undefined> : EitherCallbackSuccess<GenericOutput>;
|
|
16
20
|
/**
|
|
17
|
-
*
|
|
18
|
-
|
|
21
|
+
* @deprecated use CallbackError
|
|
22
|
+
*/
|
|
23
|
+
export type EitherCallbackError = CallbackError;
|
|
24
|
+
/**
|
|
25
|
+
* @deprecated use CallbackSuccess
|
|
26
|
+
*/
|
|
27
|
+
export type EitherCallbackSuccess<GenericValue extends unknown> = CallbackSuccess<GenericValue>;
|
|
28
|
+
export declare function callbackError(value: unknown): CallbackError;
|
|
29
|
+
export declare function callbackSuccess<GenericValue extends unknown>(value: GenericValue): CallbackSuccess<GenericValue>;
|
|
30
|
+
type Either = Right | Left;
|
|
31
|
+
type ComputeSafeCallbackResult<GenericOutput extends unknown> = GenericOutput extends Either ? GenericOutput : GenericOutput extends EscapeVoid ? CallbackSuccess<undefined> : CallbackSuccess<GenericOutput>;
|
|
32
|
+
/**
|
|
33
|
+
* Runs a callback in a safe block. If the callback throws, the function returns a "callback" typed Left instead of propagating the exception.
|
|
34
|
+
* If the callback returns an Either, it is returned as-is; otherwise the value is wrapped in an Right.
|
|
19
35
|
*
|
|
20
36
|
* Signature: `safeCallback(theFunction)` → returns a value
|
|
21
37
|
*
|
|
@@ -23,7 +39,7 @@ type ComputeSafeCallbackResult<GenericOutput extends unknown> = GenericOutput ex
|
|
|
23
39
|
*
|
|
24
40
|
* ```ts
|
|
25
41
|
* const success = E.safeCallback(() => 42);
|
|
26
|
-
* // E.
|
|
42
|
+
* // E.CallbackError | E.CallbackSuccess<number>
|
|
27
43
|
*
|
|
28
44
|
* const failure = E.safeCallback(() => {
|
|
29
45
|
* throw new Error("boom");
|
|
@@ -35,12 +51,12 @@ type ComputeSafeCallbackResult<GenericOutput extends unknown> = GenericOutput ex
|
|
|
35
51
|
* () => E.left("example", "already"),
|
|
36
52
|
* );
|
|
37
53
|
*
|
|
38
|
-
* const
|
|
54
|
+
* const isLeft = E.isLeft(eitherResult);
|
|
39
55
|
* ```
|
|
40
56
|
*
|
|
41
57
|
* @remarks
|
|
42
|
-
* - Catches exceptions thrown by the callback and wraps them in an `
|
|
43
|
-
* - Keeps an `
|
|
58
|
+
* - Catches exceptions thrown by the callback and wraps them in an `Left<"callback">`
|
|
59
|
+
* - Keeps an `Left` or `Right` returned by the callback untouched
|
|
44
60
|
* - Useful for working in an unsafe environment (3rd party libraries, user code, etc.)
|
|
45
61
|
*
|
|
46
62
|
* @see https://utils.duplojs.dev/en/v1/api/either/safeCallback
|
|
@@ -48,5 +64,5 @@ type ComputeSafeCallbackResult<GenericOutput extends unknown> = GenericOutput ex
|
|
|
48
64
|
* @namespace E
|
|
49
65
|
*
|
|
50
66
|
*/
|
|
51
|
-
export declare function safeCallback<GenericOutput extends unknown>(theFunction: () => GenericOutput): ComputeSafeCallbackResult<GenericOutput> |
|
|
67
|
+
export declare function safeCallback<GenericOutput extends unknown>(theFunction: () => GenericOutput): ComputeSafeCallbackResult<GenericOutput> | CallbackError;
|
|
52
68
|
export {};
|
|
@@ -4,13 +4,21 @@ import { right } from './right/create.mjs';
|
|
|
4
4
|
import { isRight } from './right/is.mjs';
|
|
5
5
|
import { isLeft } from './left/is.mjs';
|
|
6
6
|
|
|
7
|
-
const
|
|
8
|
-
|
|
7
|
+
const callbackErrorKind = createEitherKind("callback-error");
|
|
8
|
+
/**
|
|
9
|
+
* @deprecated use callbackErrorKind
|
|
10
|
+
*/
|
|
11
|
+
const eitherCallbackErrorKind = callbackErrorKind;
|
|
12
|
+
const callbackSuccessKind = createEitherKind("callback-success");
|
|
13
|
+
/**
|
|
14
|
+
* @deprecated use callbackSuccessKind
|
|
15
|
+
*/
|
|
16
|
+
const eitherCallbackSuccessKind = callbackSuccessKind;
|
|
9
17
|
function callbackError(value) {
|
|
10
|
-
return
|
|
18
|
+
return callbackErrorKind.setTo(left("callback", value));
|
|
11
19
|
}
|
|
12
20
|
function callbackSuccess(value) {
|
|
13
|
-
return
|
|
21
|
+
return callbackSuccessKind.setTo(right("callback", value));
|
|
14
22
|
}
|
|
15
23
|
/**
|
|
16
24
|
* {@include either/safeCallback/index.md}
|
|
@@ -28,4 +36,4 @@ function safeCallback(theFunction) {
|
|
|
28
36
|
}
|
|
29
37
|
}
|
|
30
38
|
|
|
31
|
-
export { callbackError, callbackSuccess, eitherCallbackErrorKind, eitherCallbackSuccessKind, safeCallback };
|
|
39
|
+
export { callbackError, callbackErrorKind, callbackSuccess, callbackSuccessKind, eitherCallbackErrorKind, eitherCallbackSuccessKind, safeCallback };
|
|
@@ -15,7 +15,7 @@ function whenHasInformation(...args) {
|
|
|
15
15
|
? information
|
|
16
16
|
: [information];
|
|
17
17
|
if ((is.isLeft(input)
|
|
18
|
-
|| is$1.isRight(input)) && formattedInformation.includes(kind.
|
|
18
|
+
|| is$1.isRight(input)) && formattedInformation.includes(kind.informationKind.getValue(input))) {
|
|
19
19
|
return theFunction(unwrap.unwrap(input));
|
|
20
20
|
}
|
|
21
21
|
return input;
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
import { type Kind, type WrappedValue, type AnyValue, type Unwrap, type BreakGenericLink } from "../common";
|
|
2
|
-
import { type
|
|
3
|
-
import { type
|
|
4
|
-
import {
|
|
5
|
-
type Either =
|
|
2
|
+
import { type Right } from "./right";
|
|
3
|
+
import { type Left } from "./left";
|
|
4
|
+
import { informationKind } from "./kind";
|
|
5
|
+
type Either = Right | Left;
|
|
6
6
|
/**
|
|
7
7
|
* Functional pattern matching based on the literal information of an Either. The function is executed only when the information (or one of the informations) matches.
|
|
8
8
|
*
|
|
@@ -31,7 +31,7 @@ type Either = EitherRight | EitherLeft;
|
|
|
31
31
|
* }),
|
|
32
32
|
* );
|
|
33
33
|
*
|
|
34
|
-
* // type: 1 | 2 | E.
|
|
34
|
+
* // type: 1 | 2 | E.Left<"left-3", 3>
|
|
35
35
|
* ```
|
|
36
36
|
*
|
|
37
37
|
* @see https://utils.duplojs.dev/en/v1/api/either/whenHasInformation
|
|
@@ -39,6 +39,6 @@ type Either = EitherRight | EitherLeft;
|
|
|
39
39
|
* @namespace E
|
|
40
40
|
*
|
|
41
41
|
*/
|
|
42
|
-
export declare function whenHasInformation<const GenericInput extends unknown, GenericInformation extends (GenericInput extends Either ? ReturnType<typeof
|
|
43
|
-
export declare function whenHasInformation<const GenericInput extends unknown, GenericInformation extends (GenericInput extends Either ? ReturnType<typeof
|
|
42
|
+
export declare function whenHasInformation<const GenericInput extends unknown, GenericInformation extends (GenericInput extends Either ? ReturnType<typeof informationKind.getValue<GenericInput>> : never), const GenericOutput extends AnyValue>(information: GenericInformation | GenericInformation[], theFunction: (value: Unwrap<Extract<BreakGenericLink<GenericInput>, Kind<typeof informationKind.definition, GenericInformation> & WrappedValue>>) => GenericOutput): (input: GenericInput) => GenericOutput | Exclude<BreakGenericLink<GenericInput>, Kind<typeof informationKind.definition, GenericInformation>>;
|
|
43
|
+
export declare function whenHasInformation<const GenericInput extends unknown, GenericInformation extends (GenericInput extends Either ? ReturnType<typeof informationKind.getValue<GenericInput>> : never), const GenericOutput extends AnyValue>(input: GenericInput, information: GenericInformation | GenericInformation[], theFunction: (value: Unwrap<Extract<BreakGenericLink<GenericInput>, Kind<typeof informationKind.definition, GenericInformation> & WrappedValue>>) => GenericOutput): GenericOutput | Exclude<GenericInput, Kind<typeof informationKind.definition, GenericInformation>>;
|
|
44
44
|
export {};
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { informationKind } from './kind.mjs';
|
|
2
2
|
import { isLeft } from './left/is.mjs';
|
|
3
3
|
import { isRight } from './right/is.mjs';
|
|
4
4
|
import { unwrap } from '../common/unwrap.mjs';
|
|
@@ -13,7 +13,7 @@ function whenHasInformation(...args) {
|
|
|
13
13
|
? information
|
|
14
14
|
: [information];
|
|
15
15
|
if ((isLeft(input)
|
|
16
|
-
|| isRight(input)) && formattedInformation.includes(
|
|
16
|
+
|| isRight(input)) && formattedInformation.includes(informationKind.getValue(input))) {
|
|
17
17
|
return theFunction(unwrap(input));
|
|
18
18
|
}
|
|
19
19
|
return input;
|