resultar 0.6.1 → 0.7.0
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/{chunk-L47MDOUR.js → chunk-JJ6JC2TK.js} +69 -14
- package/dist/chunk-JJ6JC2TK.js.map +1 -0
- package/dist/error.d.cts +1 -1
- package/dist/error.d.ts +1 -1
- package/dist/index-BY07wubR.d.cts +326 -0
- package/dist/index-BY07wubR.d.ts +326 -0
- package/dist/index.cjs +67 -16
- package/dist/index.cjs.map +1 -1
- package/dist/index.d.cts +1 -1
- package/dist/index.d.ts +1 -1
- package/dist/index.js +1 -1
- package/dist/result-async.cjs +62 -11
- package/dist/result-async.cjs.map +1 -1
- package/dist/result-async.d.cts +1 -1
- package/dist/result-async.d.ts +1 -1
- package/dist/result-async.js +1 -1
- package/dist/result.cjs +67 -16
- package/dist/result.cjs.map +1 -1
- package/dist/result.d.cts +1 -1
- package/dist/result.d.ts +1 -1
- package/dist/result.js +1 -1
- package/dist/utils.cjs +379 -0
- package/dist/utils.cjs.map +1 -0
- package/dist/utils.d.cts +1 -0
- package/dist/utils.d.ts +1 -0
- package/dist/utils.js +14 -0
- package/dist/utils.js.map +1 -0
- package/package.json +12 -5
- package/dist/chunk-L47MDOUR.js.map +0 -1
- package/dist/index-BsQaA54t.d.cts +0 -205
- package/dist/index-BsQaA54t.d.ts +0 -205
|
@@ -2,8 +2,44 @@ import {
|
|
|
2
2
|
createResultarError
|
|
3
3
|
} from "./chunk-FBVQYZXO.js";
|
|
4
4
|
|
|
5
|
+
// src/utils.ts
|
|
6
|
+
var appendValueToEndOfList = (value) => (list) => [...list, value];
|
|
7
|
+
var combineResultAsyncList = (asyncResultList) => ResultAsync.fromSafePromise(Promise.all(asyncResultList)).andThen(
|
|
8
|
+
combineResultList
|
|
9
|
+
);
|
|
10
|
+
var combineResultList = (resultList) => resultList.reduce(
|
|
11
|
+
// eslint-disable-line unicorn/no-array-reduce
|
|
12
|
+
(acc, result) => acc.isOk() ? result.isErr() ? err(result.error) : acc.map(appendValueToEndOfList(result.value)) : acc,
|
|
13
|
+
ok([])
|
|
14
|
+
);
|
|
15
|
+
var combineResultAsyncListWithAllErrors = (asyncResultList) => {
|
|
16
|
+
const x = ResultAsync.fromSafePromise(Promise.all(asyncResultList)).andThen(
|
|
17
|
+
combineResultListWithAllErrors
|
|
18
|
+
);
|
|
19
|
+
return x;
|
|
20
|
+
};
|
|
21
|
+
var combineResultListWithAllErrors = (resultList) => resultList.reduce(
|
|
22
|
+
// eslint-disable-line unicorn/no-array-reduce
|
|
23
|
+
(acc, result) => result.isErr() ? acc.isErr() ? err([...acc.error, result.error]) : err([result.error]) : acc.isErr() ? acc : ok([...acc.value, result.value]),
|
|
24
|
+
ok([])
|
|
25
|
+
);
|
|
26
|
+
|
|
5
27
|
// src/result.ts
|
|
6
|
-
var
|
|
28
|
+
var Ok = class {
|
|
29
|
+
// eslint-disable-line @typescript-eslint/class-literal-property-style
|
|
30
|
+
constructor(value) {
|
|
31
|
+
this.value = value;
|
|
32
|
+
}
|
|
33
|
+
ok = true;
|
|
34
|
+
};
|
|
35
|
+
var Err = class {
|
|
36
|
+
// eslint-disable-line @typescript-eslint/class-literal-property-style
|
|
37
|
+
constructor(error) {
|
|
38
|
+
this.error = error;
|
|
39
|
+
}
|
|
40
|
+
ok = false;
|
|
41
|
+
};
|
|
42
|
+
var Result2 = class _Result {
|
|
7
43
|
constructor(state) {
|
|
8
44
|
this.state = state;
|
|
9
45
|
if (state.ok) {
|
|
@@ -35,10 +71,16 @@ var Result = class _Result {
|
|
|
35
71
|
};
|
|
36
72
|
}
|
|
37
73
|
static ok(value) {
|
|
38
|
-
return new _Result(
|
|
74
|
+
return new _Result(new Ok(value));
|
|
39
75
|
}
|
|
40
76
|
static err(error) {
|
|
41
|
-
return new _Result(
|
|
77
|
+
return new _Result(new Err(error));
|
|
78
|
+
}
|
|
79
|
+
static combine(resultList) {
|
|
80
|
+
return combineResultList(resultList);
|
|
81
|
+
}
|
|
82
|
+
static combineWithAllErrors(resultList) {
|
|
83
|
+
return combineResultListWithAllErrors(resultList);
|
|
42
84
|
}
|
|
43
85
|
value;
|
|
44
86
|
error;
|
|
@@ -199,9 +241,9 @@ var Result = class _Result {
|
|
|
199
241
|
}();
|
|
200
242
|
}
|
|
201
243
|
};
|
|
202
|
-
var ok = (value) =>
|
|
203
|
-
var err = (error) =>
|
|
204
|
-
var fromThrowable = (fn, errorFn) =>
|
|
244
|
+
var ok = (value) => Result2.ok(value);
|
|
245
|
+
var err = (error) => Result2.err(error);
|
|
246
|
+
var fromThrowable = (fn, errorFn) => Result2.fromThrowable(fn, errorFn);
|
|
205
247
|
function safeTry(body) {
|
|
206
248
|
const n = body().next();
|
|
207
249
|
if (n instanceof Promise) {
|
|
@@ -213,13 +255,21 @@ function safeTry(body) {
|
|
|
213
255
|
// src/result-async.ts
|
|
214
256
|
var ResultAsync = class _ResultAsync {
|
|
215
257
|
static fromSafePromise(promise) {
|
|
216
|
-
const newPromise = promise.then((value) =>
|
|
258
|
+
const newPromise = promise.then((value) => Result2.ok(value));
|
|
217
259
|
return new _ResultAsync(newPromise);
|
|
218
260
|
}
|
|
219
261
|
static fromPromise(promise, errorFn) {
|
|
220
|
-
const newPromise = promise.then((value) =>
|
|
262
|
+
const newPromise = promise.then((value) => Result2.ok(value)).catch((error) => Result2.err(errorFn(error)));
|
|
221
263
|
return new _ResultAsync(newPromise);
|
|
222
264
|
}
|
|
265
|
+
static combine(asyncResultList) {
|
|
266
|
+
return combineResultAsyncList(asyncResultList);
|
|
267
|
+
}
|
|
268
|
+
static combineWithAllErrors(asyncResultList) {
|
|
269
|
+
return combineResultAsyncListWithAllErrors(
|
|
270
|
+
asyncResultList
|
|
271
|
+
);
|
|
272
|
+
}
|
|
223
273
|
innerPromise;
|
|
224
274
|
constructor(res) {
|
|
225
275
|
this.innerPromise = res;
|
|
@@ -248,6 +298,7 @@ var ResultAsync = class _ResultAsync {
|
|
|
248
298
|
}
|
|
249
299
|
andThen(f) {
|
|
250
300
|
return new _ResultAsync(
|
|
301
|
+
// eslint-disable-next-line @typescript-eslint/no-unsafe-argument
|
|
251
302
|
this.innerPromise.then(async (res) => {
|
|
252
303
|
if (res.isErr()) {
|
|
253
304
|
return errAsync(res.error);
|
|
@@ -288,20 +339,20 @@ function fromPromise(promise, errorFn) {
|
|
|
288
339
|
return ResultAsync.fromPromise(promise, errorFn);
|
|
289
340
|
}
|
|
290
341
|
function okAsync(value) {
|
|
291
|
-
return new ResultAsync(Promise.resolve(
|
|
342
|
+
return new ResultAsync(Promise.resolve(Result2.ok(value)));
|
|
292
343
|
}
|
|
293
344
|
function errAsync(error) {
|
|
294
|
-
return new ResultAsync(Promise.resolve(
|
|
345
|
+
return new ResultAsync(Promise.resolve(Result2.err(error)));
|
|
295
346
|
}
|
|
296
347
|
function fromThrowableAsync(fn, errorFn) {
|
|
297
348
|
return (...args) => new ResultAsync(
|
|
298
349
|
(async () => {
|
|
299
350
|
try {
|
|
300
351
|
const v = await fn(...args);
|
|
301
|
-
return
|
|
352
|
+
return Result2.ok(v);
|
|
302
353
|
} catch (error) {
|
|
303
354
|
const e = errorFn ? errorFn(error) : error;
|
|
304
|
-
return
|
|
355
|
+
return Result2.err(e);
|
|
305
356
|
}
|
|
306
357
|
})()
|
|
307
358
|
);
|
|
@@ -326,10 +377,14 @@ export {
|
|
|
326
377
|
errAsync,
|
|
327
378
|
fromThrowableAsync,
|
|
328
379
|
safeTryAsync,
|
|
329
|
-
|
|
380
|
+
combineResultAsyncList,
|
|
381
|
+
combineResultList,
|
|
382
|
+
combineResultAsyncListWithAllErrors,
|
|
383
|
+
combineResultListWithAllErrors,
|
|
384
|
+
Result2 as Result,
|
|
330
385
|
ok,
|
|
331
386
|
err,
|
|
332
387
|
fromThrowable,
|
|
333
388
|
safeTry
|
|
334
389
|
};
|
|
335
|
-
//# sourceMappingURL=chunk-
|
|
390
|
+
//# sourceMappingURL=chunk-JJ6JC2TK.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../src/utils.ts","../src/result.ts","../src/result-async.ts"],"sourcesContent":["/* eslint-disable @typescript-eslint/ban-types */\nimport { ResultAsync } from './result-async.js'\nimport { Result, ok, err } from './result.js'\n\n// Deduplicates the result, as the result type is a union of Err and Ok types.\nexport type Dedup<T> = T extends Result<infer RL, infer RR>\n ? Result<RL, RR>\n : T\n\n// Given a union, this gives the array of the union members.\nexport type MemberListOf<T> = (\n (T extends unknown ? (t: T) => T : never) extends infer U\n ? (U extends unknown ? (u: U) => unknown : never) extends (v: infer V) => unknown\n ? V\n : never\n : never\n) extends (_: unknown) => infer W\n ? [...MemberListOf<Exclude<T, W>>, W]\n : []\n\n// Given a list of Results, this extracts all the different `T` types from that list\nexport type ExtractOkTypes<T extends ReadonlyArray<Result<unknown, unknown>>> = {\n [idx in keyof T]: T[idx] extends Result<infer U, unknown> ? U : never\n}\n\n// Given a list of ResultAsyncs, this extracts all the different `T` types from that list\nexport type ExtractOkAsyncTypes<T extends ReadonlyArray<ResultAsync<unknown, unknown>>> = {\n [idx in keyof T]: T[idx] extends ResultAsync<infer U, unknown> ? U : never\n}\n\n// Given a list of Results, this extracts all the different `E` types from that list\nexport type ExtractErrTypes<T extends ReadonlyArray<Result<unknown, unknown>>> = {\n [idx in keyof T]: T[idx] extends Result<unknown, infer E> ? E : never\n}\n\n// Given a list of ResultAsyncs, this extracts all the different `E` types from that list\nexport type ExtractErrAsyncTypes<T extends ReadonlyArray<ResultAsync<unknown, unknown>>> = {\n [idx in keyof T]: T[idx] extends ResultAsync<unknown, infer E> ? E : never\n}\n\nexport type InferOkTypes<R> = R extends Result<infer T, unknown> ? T : never\nexport type InferErrTypes<R> = R extends Result<unknown, infer E> ? E : never\n\nexport type InferAsyncOkTypes<R> = R extends ResultAsync<infer T, unknown> ? T : never\nexport type InferAsyncErrTypes<R> = R extends ResultAsync<unknown, infer E> ? E : never\n\n// Checks if the given type is a literal array.\nexport type IsLiteralArray<T> = T extends { length: infer L }\n ? L extends number\n ? number extends L\n ? 0\n : 1\n : 0\n : 0\n\n// Converts an empty array to never.\n//\n// The second type parameter here will affect how to behave to `never[]`s.\n// If a precise type is required, pass `1` here so that it will resolve\n// a literal array such as `[ never, never ]`. Otherwise, set `0` or the default\n// type value will cause this to resolve the arrays containing only `never`\n// items as `never` only.\nexport type EmptyArrayToNever<T, NeverArrayToNever extends number = 0> = T extends []\n ? never\n : NeverArrayToNever extends 1\n ? T extends [never, ...infer Rest]\n ? [EmptyArrayToNever<Rest>] extends [never]\n ? never\n : T\n : T\n : T\n\n// #region Combine - Types\n\n // This is a helper type to prevent infinite recursion in typing rules.\n //\n // Use this with your `depth` variable in your types.\n type Prev = [\n never,\n 0,\n 1,\n 2,\n 3,\n 4,\n 5,\n 6,\n 7,\n 8,\n 9,\n 10,\n 11,\n 12,\n 13,\n 14,\n 15,\n 16,\n 17,\n 18,\n 19,\n 20,\n 21,\n 22,\n 23,\n 24,\n 25,\n 26,\n 27,\n 28,\n 29,\n 30,\n 31,\n 32,\n 33,\n 34,\n 35,\n 36,\n 37,\n 38,\n 39,\n 40,\n 41,\n 42,\n 43,\n 44,\n 45,\n 46,\n 47,\n 48,\n 49,\n ...Array<0>,\n ]\n\n// Transposes an array\n//\n// A - The array source\n// Transposed - The collected transposed array\n// Depth - The maximum depth.\nexport type Transpose<\n A,\n Transposed extends unknown[][] = [],\n Depth extends number = 10,\n> = A extends [infer T, ...infer Rest]\n ? T extends [infer L, infer R]\n ? Transposed extends [infer PL, infer PR]\n ? PL extends unknown[]\n ? PR extends unknown[]\n ? Transpose<Rest, [[...PL, L], [...PR, R]], Prev[Depth]>\n : never\n : never\n : Transpose<Rest, [[L], [R]], Prev[Depth]>\n : Transposed\n : Transposed\n\n// Collects the results array into separate tuple array.\n//\n// T - The array of the results\n// Collected - The collected tuples.\n// Depth - The maximum depth.\ntype CollectResults<T, Collected extends unknown[] = [], Depth extends number = 50> = [\n Depth,\n] extends [never]\n ? []\n : T extends [infer H, ...infer Rest]\n ? // And test whether the head of the list is a result\n H extends Result<infer L, infer R>\n ? // Continue collecting...\n CollectResults<\n // the rest of the elements\n Rest,\n // The collected\n [...Collected, [L, R]],\n // and one less of the current depth\n Prev[Depth]\n >\n : never // Impossible\n : Collected\n\n// Converts the `unknown` items of an array to `never`s.\ntype UnknownMembersToNever<T> = T extends [infer H, ...infer R]\n ? [[unknown] extends [H] ? never : H, ...UnknownMembersToNever<R>]\n : T\n\n// Gets the member type of the array or never.\nexport type MembersToUnion<T> = T extends unknown[] ? T[number] : never\n\n// Combines the both sides of the array of the results into a tuple of the\n// union of the ok types and the union of the err types.\n//\n// T - The array of the results\n// Depth - The maximum depth.\nexport type Combine<T, Depth extends number = 5> = Transpose<CollectResults<T>, [], Depth> extends [\n infer L,\n infer R,\n]\n ? [UnknownMembersToNever<L>, UnknownMembersToNever<R>]\n : Transpose<CollectResults<T>, [], Depth> extends []\n ? [[], []]\n : never\n\n// Traverses an array of results and returns a single result containing\n// the oks and errs union-ed/combined.\ntype Traverse<T, Depth extends number = 5> = Combine<T, Depth> extends [infer Oks, infer Errs]\n ? Result<EmptyArrayToNever<Oks, 1>, MembersToUnion<Errs>>\n : never\n\n// Traverses an array of results and returns a single result containing\n// the oks combined and the array of errors combined.\ntype TraverseWithAllErrors<T, Depth extends number = 5> = Combine<T, Depth> extends [\n infer Oks,\n infer Errs,\n]\n ? Result<EmptyArrayToNever<Oks>, EmptyArrayToNever<Errs>>\n : never\n\nconst appendValueToEndOfList = <T>(value: T) => (list: T[]): T[] => [...list, value]\n\nexport type CombineResults<\n T extends ReadonlyArray<Result<unknown, unknown>>,\n> = IsLiteralArray<T> extends 1\n ? Traverse<T>\n : Result<ExtractOkTypes<T>, ExtractErrTypes<T>[number]>\n\n// Combines the array of results into one result with all errors.\nexport type CombineResultsWithAllErrorsArray<\n T extends ReadonlyArray<Result<unknown, unknown>>,\n> = IsLiteralArray<T> extends 1\n ? TraverseWithAllErrors<T>\n : Result<ExtractOkTypes<T>, Array<ExtractErrTypes<T>[number]>>\n\n/* This is the typesafe version of Promise.all\n *\n * Takes a list of ResultAsync<T, E> and success if all inner results are Ok values\n * or fails if one (or more) of the inner results are Err values\n */\nexport const combineResultAsyncList = <T, E>(\n asyncResultList: ReadonlyArray<ResultAsync<T, E>>,\n): ResultAsync<readonly T[], E> =>\n ResultAsync.fromSafePromise(Promise.all(asyncResultList)).andThen(\n combineResultList,\n ) as ResultAsync<T[], E>\n\n/**\n * Short circuits on the FIRST Err value that we find\n */\nexport const combineResultList = <T, E>(\n resultList: ReadonlyArray<Result<T, E>>,\n): Result<readonly T[], E> =>\n resultList.reduce<Result<T[], E>>( // eslint-disable-line unicorn/no-array-reduce\n (acc, result) =>\n acc.isOk()\n ? (result.isErr()\n ? err(result.error)\n : acc.map(appendValueToEndOfList(result.value)))\n : acc,\n ok([]),\n )\n\n/* This is the typesafe version of Promise.all\n *\n * Takes a list of ResultAsync<T, E> and success if all inner results are Ok values\n * or fails if one (or more) of the inner results are Err values\n */\nexport const combineResultAsyncListWithAllErrors = <T, E>(\n asyncResultList: ReadonlyArray<ResultAsync<T, E>>,\n): ResultAsync<readonly T[], E[]> => {\n const x = ResultAsync.fromSafePromise(Promise.all(asyncResultList)).andThen(\n combineResultListWithAllErrors,\n )\n return x as ResultAsync<T[], E[]>\n}\n\n/**\n * Give a list of all the errors we find\n */\nexport const combineResultListWithAllErrors = <T, E>(\n resultList: ReadonlyArray<Result<T, E>>,\n): Result<readonly T[], E[]> =>\n resultList.reduce<Result<T[], E[]>>( // eslint-disable-line unicorn/no-array-reduce\n (acc, result) =>\n result.isErr()\n ? (acc.isErr()\n ? err([...acc.error, result.error])\n : err([result.error]))\n : (acc.isErr()\n ? acc\n : ok([...acc.value, result.value])),\n ok([]),\n )\n\n","import {\n CombineResults, CombineResultsWithAllErrorsArray, combineResultList, combineResultListWithAllErrors,\n} from './utils.js'\nimport { ErrorConfig, createResultarError } from './error.js'\nimport { ResultAsync, errAsync } from './result-async.js'\n\nclass Ok<T> {\n readonly ok = true // eslint-disable-line @typescript-eslint/class-literal-property-style\n constructor(public readonly value: T) {}\n}\n\nclass Err<E> {\n readonly ok = false // eslint-disable-line @typescript-eslint/class-literal-property-style\n constructor(public readonly error: E) {}\n}\n\nexport class Result<T, E> {\n /**\n * Wraps a function with a try catch, creating a new function with the same\n * arguments but returning `Ok` if successful, `Err` if the function throws\n *\n * @param fn function to wrap with ok on success or err on failure\n * @param errorFn when an error is thrown, this will wrap the error result if provided\n */\n static fromThrowable<Fn extends (...args: readonly any[]) => unknown, E>(\n fn: Fn,\n errorFn?: (e: any) => E,\n ): (...args: Parameters<Fn>) => Result<ReturnType<Fn>, E> {\n return (...args) => {\n try {\n const result = fn(...args)\n return ok(result as ReturnType<Fn>)\n } catch (error) {\n if (errorFn) {\n return err(errorFn(error))\n }\n\n return err(error as E)\n }\n }\n }\n\n static ok<T, E=never>(value: T): Result<T, E> {\n return new Result<T, E>(new Ok(value))\n }\n\n static err<T=never, E=unknown>(error: E): Result<T, E> {\n return new Result<T, E>(new Err(error))\n }\n\n static combine<\n T extends readonly [Result<unknown, unknown>, ...Array<Result<unknown, unknown>>],\n >(resultList: T): CombineResults<T>\n static combine<T extends ReadonlyArray<Result<unknown, unknown>>>(\n resultList: T,\n ): CombineResults<T>\n static combine<\n T extends readonly [Result<unknown, unknown>, ...Array<Result<unknown, unknown>>],\n >(resultList: T): CombineResults<T> {\n return combineResultList(resultList) as CombineResults<T>\n }\n\n static combineWithAllErrors<\n T extends readonly [Result<unknown, unknown>, ...Array<Result<unknown, unknown>>],\n >(resultList: T): CombineResultsWithAllErrorsArray<T>\n static combineWithAllErrors<T extends ReadonlyArray<Result<unknown, unknown>>>(\n resultList: T,\n ): CombineResultsWithAllErrorsArray<T>\n static combineWithAllErrors<T extends ReadonlyArray<Result<unknown, unknown>>>(\n resultList: T,\n ): CombineResultsWithAllErrorsArray<T> {\n return combineResultListWithAllErrors(resultList) as CombineResultsWithAllErrorsArray<T>\n }\n\n readonly value: T\n readonly error: E\n\n private constructor(private readonly state: Ok<T> | Err<E>) {\n if (state.ok) {\n this.value = state.value\n this.error = undefined as E\n } else {\n this.error = state.error\n this.value = undefined as T\n }\n }\n\n /**\n * Used to check if a `Result` is an `OK`\n *\n * @returns `true` if the result is an `OK` variant of Result\n */\n isOk(): boolean {\n return this.state.ok\n }\n\n /**\n * Used to check if a `Result` is an `Err`\n *\n * @returns `true` if the result is an `Err` variant of Result\n */\n isErr(): boolean {\n return !this.state.ok\n }\n\n /**\n * Maps a `Result<T, E>` to `Result<U, E>`\n * by applying a function to a contained `Ok` value, leaving an `Err` value\n * untouched.\n *\n * @param f The function to apply an `OK` value\n * @returns the result of applying `f` or an `Err` untouched\n */\n map<X, Y>(f: (t: T) => Exclude<X, Promise<any>>): Result<X, E | Y>\n map<X>(f: (t: T) => Exclude<X, Promise<any>>): Result<X, E> {\n if (this.state.ok) {\n const value = f(this.value)\n return ok(value)\n }\n\n return err(this.error as Exclude<E, Promise<any>>)\n }\n\n /**\n * Maps a `Result<T, E>` to `Result<T, F>` by applying a function to a\n * contained `Err` value, leaving an `Ok` value untouched.\n *\n * This function can be used to pass through a successful result while\n * handling an error.\n *\n * @param f a function to apply to the error `Err` value\n */\n mapErr<X>(fn: (t: Exclude<E, Promise<any>>) => Exclude<X, Promise<any>>): Result<T, X> {\n if (this.state.ok) {\n return ok(this.value as Exclude<T, Promise<any>>)\n }\n\n return err(fn(this.error as Exclude<E, Promise<any>>))\n }\n\n /**\n * Similar to `map` Except you must return a new `Result`.\n *\n * This is useful for when you need to do a subsequent computation using the\n * inner `T` value, but that computation might fail.\n * Additionally, `andThen` is really useful as a tool to flatten a\n * `Result<Result<A, E2>, E1>` into a `Result<A, E2>` (see example below).\n *\n * @param f The function to apply to the current value\n */\n andThen<X, Y>(f: (t: T) => Exclude<Result<X, Y>, Promise<any>>): Result<X, E | Y>\n andThen<X, Y>(f: (t: T) => Exclude<Result<X, Y>, Promise<any>>): Result<X, E | Y> {\n if (this.state.ok) {\n return f(this.value)\n }\n\n return err(this.error as Exclude<E, Promise<any>>)\n }\n\n /**\n * Takes an `Err` value and maps it to a `Result<T, SomeNewType>`.\n *\n * This is useful for error recovery.\n *\n *\n * @param f A function to apply to an `Err` value, leaving `Ok` values\n * untouched.\n */\n orElse<Y>(f: (t: E) => Result<T, Y>): Result<T, Y>\n orElse<Y>(f: (t: E) => Result<T, Y>): Result<T, E | Y> {\n if (this.state.ok) {\n return ok(this.value as Exclude<T, Promise<any>>)\n }\n\n return f(this.error)\n }\n\n /**\n * Similar to `map` Except you must return a new `Result`.\n *\n * This is useful for when you need to do a subsequent async computation using\n * the inner `T` value, but that computation might fail. Must return a ResultAsync\n *\n * @param f The function that returns a `ResultAsync` to apply to the current\n * value\n */\n asyncAndThen<X, Y>(f: (t: T) => ResultAsync<X, Y>): ResultAsync<X, E | Y>\n asyncAndThen<X, Y>(f: (t: T) => ResultAsync<X, E>): ResultAsync<X, E | Y> {\n if (this.state.ok) {\n return f(this.value)\n }\n\n return errAsync(this.error)\n }\n\n /**\n * Maps a `Result<T, E>` to `ResultAsync<U, E>`\n * by applying an async function to a contained `Ok` value, leaving an `Err`\n * value untouched.\n *\n * @param f An async function to apply an `OK` value\n */\n asyncMap<X>(f: (t: T) => Promise<X>): ResultAsync<X, E> {\n if (this.state.ok) {\n return ResultAsync.fromSafePromise(f(this.value))\n }\n\n return errAsync(this.error)\n }\n\n /**\n * Unwrap the `Ok` value, or return the default if there is an `Err`\n *\n * @param v the default value to return if there is an `Err`\n */\n unwrapOr<A>(defaultValue: A): T | A {\n if (this.state.ok) {\n return this.value\n }\n\n return defaultValue\n }\n\n /**\n *\n * Given 2 functions (one for the `Ok` variant and one for the `Err` variant)\n * execute the function that matches the `Result` variant.\n *\n * Match callbacks do not necessitate to return a `Result`, however you can\n * return a `Result` if you want to.\n *\n * `match` is like chaining `map` and `mapErr`, with the distinction that\n * with `match` both functions must have the same return type.\n *\n * @param ok\n * @param err\n */\n match<X>(fnOk: (t: T) => X, fnErr: (e: E) => X): X {\n if (this.state.ok) {\n return fnOk(this.value)\n }\n\n return fnErr(this.error)\n }\n\n /**\n * Performs a side effect for the `Ok` variant of `Result`.\n *\n * @param f The function to apply an `OK` value\n * @returns the result of applying `f` or an `Err` untouched\n */\n tap(f: (t: T) => void): Result<T, E> {\n if (this.state.ok) {\n try {\n f(this.value)\n } catch {\n // Dont do anything. Its just a tap\n }\n\n return ok(this.value)\n }\n\n return err(this.error)\n }\n\n /**\n * **This method is unsafe, and should only be used in a test environments**\n *\n * Takes a `Result<T, E>` and returns a `T` when the result is an `Ok`, otherwise it throws a custom object.\n *\n * @param config\n */\n _unsafeUnwrap(config?: ErrorConfig): T {\n if (this.state.ok) {\n return this.value\n }\n\n throw createResultarError('Called `_unsafeUnwrap` on an Err', this, config) // eslint-disable-line @typescript-eslint/no-throw-literal\n }\n\n /**\n * **This method is unsafe, and should only be used in a test environments**\n *\n * takes a `Result<T, E>` and returns a `E` when the result is an `Err`,\n * otherwise it throws a custom object.\n *\n * @param config\n */\n _unsafeUnwrapErr(config?: ErrorConfig): E {\n if (this.state.ok) {\n throw createResultarError('Called `_unsafeUnwrapErr` on an Ok', this, config) // eslint-disable-line @typescript-eslint/no-throw-literal\n }\n\n return this.error\n }\n\n safeUnwrap(): Generator<Result<never, E>, T> {\n if (this.state.ok) {\n const { value } = this\n /* eslint-disable-next-line require-yield */\n return (function * () {\n return value\n })()\n }\n\n const { error } = this\n return (function * () {\n yield err(error)\n\n throw new Error('Do not use this generator out of `safeTry`')\n })()\n }\n}\n\nexport const ok = <T, E = never>(value: T): Result<T, E> => Result.ok(value)\nexport const err = <T = never, E = unknown>(error: E): Result<T, E> => Result.err(error)\nexport const fromThrowable = <Fn extends (...args: readonly any[]) => unknown, E>(\n fn: Fn,\n errorFn?: (e: any) => E,\n): (...args: Parameters<Fn>) => Result<ReturnType<Fn>, E> => Result.fromThrowable(fn, errorFn)\n\n/**\n * Evaluates the given generator to a Result returned or an Err yielded from it,\n * whichever comes first.\n *\n * This function, in combination with `Result.safeUnwrap()`, is intended to emulate\n * Rust's ? operator.\n * See `/tests/safeTry.test.ts` for examples.\n *\n * @param body - What is evaluated. In body, `yield* result.safeUnwrap()` works as\n * Rust's `result?` expression.\n * @returns The first occurence of either an yielded Err or a returned Result.\n */\nexport function safeTry<T, E>(body: () => Generator<Result<never, E>, Result<T, E>>): Result<T, E>\n/**\n * Evaluates the given generator to a Result returned or an Err yielded from it,\n * whichever comes first.\n *\n * This function, in combination with `Result.safeUnwrap()`, is intended to emulate\n * Rust's ? operator.\n * See `/tests/safeTry.test.ts` for examples.\n *\n * @param body - What is evaluated. In body, `yield* result.safeUnwrap()` and\n * `yield* resultAsync.safeUnwrap()` work as Rust's `result?` expression.\n * @returns The first occurence of either an yielded Err or a returned Result.\n */\n// NOTE:\n// Since body is potentially throwable because `await` can be used in it,\n// Promise<Result<T, E>>, not ResultAsync<T, E>, is used as the return type.\nexport function safeTry<T, E>(\n body: () => AsyncGenerator<Result<never, E>, Result<T, E>>,\n): Promise<Result<T, E>>\nexport function safeTry<T, E>(\n body:\n | (() => Generator<Result<never, E>, Result<T, E>>)\n | (() => AsyncGenerator<Result<never, E>, Result<T, E>>),\n): Result<T, E> | Promise<Result<T, E>> {\n const n = body().next()\n if (n instanceof Promise) {\n return n.then(r => r.value)\n }\n\n return n.value\n}\n\n","/* eslint-disable @typescript-eslint/ban-types */\nimport {\n Result,\n} from './result.js'\nimport {\n Combine,\n Dedup,\n EmptyArrayToNever,\n ExtractErrAsyncTypes,\n ExtractOkAsyncTypes,\n InferAsyncErrTypes, InferAsyncOkTypes, InferErrTypes, InferOkTypes,\n IsLiteralArray,\n MemberListOf,\n MembersToUnion,\n combineResultAsyncList,\n combineResultAsyncListWithAllErrors,\n} from './utils.js'\n\nexport class ResultAsync<T, E> implements PromiseLike<Result<T, E>> {\n static fromSafePromise<T, E = never>(promise: PromiseLike<T>): ResultAsync<T, E>\n static fromSafePromise<T, E = never>(promise: Promise<T>): ResultAsync<T, E> {\n const newPromise = promise\n .then((value: T) => Result.ok(value))\n\n return new ResultAsync<T, E>(newPromise)\n }\n\n static fromPromise<T, E>(promise: PromiseLike<T>, errorFn: (e: unknown) => E): ResultAsync<T, E>\n static fromPromise<T, E>(promise: Promise<T>, errorFn: (e: unknown) => E): ResultAsync<T, E> {\n const newPromise = promise\n .then((value: T) => Result.ok(value))\n .catch(error => Result.err(errorFn(error)))\n\n return new ResultAsync<T, E>(newPromise)\n }\n\n static combine<\n T extends readonly [ResultAsync<unknown, unknown>, ...Array<ResultAsync<unknown, unknown>>],\n >(asyncResultList: T): CombineResultAsyncs<T>\n static combine<T extends ReadonlyArray<ResultAsync<unknown, unknown>>>(\n asyncResultList: T,\n ): CombineResultAsyncs<T>\n static combine<T extends ReadonlyArray<ResultAsync<unknown, unknown>>>(\n asyncResultList: T,\n ): CombineResultAsyncs<T> {\n return (combineResultAsyncList(asyncResultList) as unknown) as CombineResultAsyncs<T>\n }\n\n static combineWithAllErrors<\n T extends readonly [ResultAsync<unknown, unknown>, ...Array<ResultAsync<unknown, unknown>>],\n >(asyncResultList: T): CombineResultsWithAllErrorsArrayAsync<T>\n static combineWithAllErrors<T extends ReadonlyArray<ResultAsync<unknown, unknown>>>(\n asyncResultList: T,\n ): CombineResultsWithAllErrorsArrayAsync<T>\n static combineWithAllErrors<T extends ReadonlyArray<ResultAsync<unknown, unknown>>>(\n asyncResultList: T,\n ): CombineResultsWithAllErrorsArrayAsync<T> {\n return combineResultAsyncListWithAllErrors(\n asyncResultList,\n ) as CombineResultsWithAllErrorsArrayAsync<T>\n }\n\n private readonly innerPromise: Promise<Result<T, E>>\n\n constructor(res: Promise<Result<T, E>>) {\n this.innerPromise = res\n }\n\n then<A, B>( // eslint-disable-line unicorn/no-thenable\n successCallback?: (res: Result<T, E>) => A | PromiseLike<A>,\n failureCallback?: (reason: unknown) => B | PromiseLike<B>,\n ): PromiseLike<A | B> {\n return this.innerPromise.then(successCallback, failureCallback)\n }\n\n mapErr<U>(f: (t: E) => U | Promise<U>): ResultAsync<T, U> {\n return new ResultAsync<T, U>(this.innerPromise.then(async res => {\n if (res.isOk()) {\n return okAsync(res.value)\n }\n\n return errAsync(await f(res.error))\n }))\n }\n\n map<X>(f: (t: T) => X | Promise<X>): ResultAsync<X, E> {\n const x = new ResultAsync(\n this.innerPromise.then(async (res: Result<T, E>) => {\n if (res.isErr()) {\n return errAsync(res.error)\n }\n\n return okAsync(await f(res.value))\n }),\n )\n\n return x\n }\n\n andThen<R extends Result<unknown, unknown>>(\n f: (t: T) => R,\n ): ResultAsync<InferOkTypes<R>, InferErrTypes<R> | E>\n andThen<R extends ResultAsync<unknown, unknown>>(\n f: (t: T) => R,\n ): ResultAsync<InferAsyncOkTypes<R>, InferAsyncErrTypes<R> | E>\n andThen<U, F>(f: (t: T) => Result<U, F> | ResultAsync<U, F>): ResultAsync<U, E | F>\n andThen(f: any): any {\n return new ResultAsync(\n // eslint-disable-next-line @typescript-eslint/no-unsafe-argument\n this.innerPromise.then(async res => {\n if (res.isErr()) {\n return errAsync(res.error)\n }\n\n const newValue = f(res.value) // eslint-disable-line @typescript-eslint/no-unsafe-assignment\n return newValue instanceof ResultAsync ? newValue.innerPromise : newValue // eslint-disable-line @typescript-eslint/no-unsafe-return\n }),\n )\n }\n\n async match<X>(ok: (t: T) => X, _err: (e: E) => X): Promise<X> {\n return this.innerPromise.then(res => res.match(ok, _err))\n }\n\n tap(f: (t: T) => void | Promise<void>): ResultAsync<T, E> {\n return new ResultAsync(\n this.innerPromise.then(async res => {\n if (res.isErr()) {\n return errAsync(res.error)\n }\n\n try {\n await f(res.value)\n } catch {\n // Dont do anything. Its just a tap\n }\n\n return okAsync(res.value)\n }),\n )\n }\n\n /**\n * Emulates Rust's `?` operator in `safeTry`'s body. See also `safeTry`.\n */\n async * safeUnwrap(): AsyncGenerator<Result<never, E>, T> {\n return yield * await this.innerPromise.then(res => res.safeUnwrap())\n }\n}\n\nexport function fromSafePromise<T, E = never>(promise: PromiseLike<T>): ResultAsync<T, E>\nexport function fromSafePromise<T, E = never>(promise:\n| PromiseLike<T>\n| Promise<T>): ResultAsync<T, E> {\n return ResultAsync.fromSafePromise(promise)\n}\n\nexport function fromPromise<T, E>(promise: PromiseLike<T>, errorFn: (e: unknown) => E): ResultAsync<T, E>\nexport function fromPromise<T, E>(promise:\n| PromiseLike<T>\n| Promise<T>, errorFn: (e: unknown) => E): ResultAsync<T, E> {\n return ResultAsync.fromPromise(promise, errorFn)\n}\n\nexport function okAsync<T, E = never>(value: T): ResultAsync<T, E> {\n return new ResultAsync<T, E>(Promise.resolve(Result.ok(value)))\n}\n\nexport function errAsync<T = never, E = unknown>(error: E): ResultAsync<T, E> {\n return new ResultAsync<T, E>(Promise.resolve(Result.err(error)))\n}\n\nexport function fromThrowableAsync<A extends readonly any[], T, E>(\n fn: (...args: A) => Promise<T>,\n errorFn?: (err: unknown) => E,\n): (...args: A) => ResultAsync<T, E> {\n return (...args) => new ResultAsync<T, E>(\n (async () => {\n try {\n const v = await fn(...args)\n return Result.ok(v)\n } catch (error) {\n const e = errorFn ? errorFn(error) : error\n return Result.err(e as E)\n }\n })(),\n )\n}\n\nexport function safeTryAsync<T, E>(\n body: () => AsyncGenerator<Result<never, E>, Result<T, E>>,\n): ResultAsync<T, E> {\n return new ResultAsync<T, E>(\n (async () => {\n const n = await body().next()\n if (n.value.isOk()) {\n return okAsync(n.value.value)\n }\n\n return errAsync(n.value.error)\n })(),\n )\n}\n\n// Combines the array of async results into one result.\nexport type CombineResultAsyncs<\n T extends ReadonlyArray<ResultAsync<unknown, unknown>>,\n> = IsLiteralArray<T> extends 1\n ? TraverseAsync<UnwrapAsync<T>>\n : ResultAsync<ExtractOkAsyncTypes<T>, ExtractErrAsyncTypes<T>[number]>\n\n// Combines the array of async results into one result with all errors.\nexport type CombineResultsWithAllErrorsArrayAsync<\n T extends ReadonlyArray<ResultAsync<unknown, unknown>>,\n> = IsLiteralArray<T> extends 1\n ? TraverseWithAllErrorsAsync<UnwrapAsync<T>>\n : ResultAsync<ExtractOkAsyncTypes<T>, Array<ExtractErrAsyncTypes<T>[number]>>\n\n// Unwraps the inner `Result` from a `ResultAsync` for all elements.\ntype UnwrapAsync<T> = IsLiteralArray<T> extends 1\n ? Writable<T> extends [infer H, ...infer Rest]\n ? H extends PromiseLike<infer HI>\n ? HI extends Result<unknown, unknown>\n ? [Dedup<HI>, ...UnwrapAsync<Rest>]\n : never\n : never\n : []\n : // If we got something too general such as ResultAsync<X, Y>[] then we\n // simply need to map it to ResultAsync<X[], Y[]>. Yet `ResultAsync`\n // itself is a union therefore it would be enough to cast it to Ok.\n T extends Array<infer A>\n ? A extends PromiseLike<infer HI>\n ? HI extends Result<infer L, infer R>\n ? Array<Result<L, R>>\n : never\n : never\n : never\n\n// Traverse through the tuples of the async results and create one\n// `ResultAsync` where the collected tuples are merged.\ntype TraverseAsync<T, Depth extends number = 5> = IsLiteralArray<T> extends 1\n ? Combine<T, Depth> extends [infer Oks, infer Errs]\n ? ResultAsync<EmptyArrayToNever<Oks>, MembersToUnion<Errs>>\n : never\n : // The following check is important if we somehow reach to the point of\n // checking something similar to ResultAsync<X, Y>[]. In this case we don't\n // know the length of the elements, therefore we need to traverse the X and Y\n // in a way that the result should contain X[] and Y[].\n T extends Array<infer I>\n ? // The MemberListOf<I> here is to include all possible types. Therefore\n // if we face (ResultAsync<X, Y> | ResultAsync<A, B>)[] this type should\n // handle the case.\n Combine<MemberListOf<I>, Depth> extends [infer Oks, infer Errs]\n ? // The following `extends unknown[]` checks are just to satisfy the TS.\n // we already expect them to be an array.\n Oks extends unknown[]\n ? Errs extends unknown[]\n ? ResultAsync<EmptyArrayToNever<Array<Oks[number]>>, MembersToUnion<Array<Errs[number]>>>\n : ResultAsync<EmptyArrayToNever<Array<Oks[number]>>, Errs>\n : // The rest of the conditions are to satisfy the TS and support\n // the edge cases which are not really expected to happen.\n Errs extends unknown[]\n ? ResultAsync<Oks, MembersToUnion<Array<Errs[number]>>>\n : ResultAsync<Oks, Errs>\n : never\n : never\n\n// This type is similar to the `TraverseAsync` while the errors are also\n// collected in order. For the checks/conditions made here, see that type\n// for the documentation.\ntype TraverseWithAllErrorsAsync<T, Depth extends number = 5> = IsLiteralArray<T> extends 1\n ? Combine<T, Depth> extends [infer Oks, infer Errs]\n ? ResultAsync<EmptyArrayToNever<Oks>, EmptyArrayToNever<Errs>>\n : never\n : Writable<T> extends Array<infer I>\n ? Combine<MemberListOf<I>, Depth> extends [infer Oks, infer Errs]\n ? Oks extends unknown[]\n ? Errs extends unknown[]\n ? ResultAsync<EmptyArrayToNever<Array<Oks[number]>>, EmptyArrayToNever<Array<Errs[number]>>>\n : ResultAsync<EmptyArrayToNever<Array<Oks[number]>>, Errs>\n : Errs extends unknown[]\n ? ResultAsync<Oks, EmptyArrayToNever<Array<Errs[number]>>>\n : ResultAsync<Oks, Errs>\n : never\n : never\n\n// Converts a reaodnly array into a writable array\ntype Writable<T> = T extends readonly unknown[] ? [...T] : T\n"],"mappings":";;;;;AAsNA,IAAM,yBAAyB,CAAI,UAAa,CAAC,SAAmB,CAAC,GAAG,MAAM,KAAK;AAoB5E,IAAM,yBAAyB,CACpC,oBAEA,YAAY,gBAAgB,QAAQ,IAAI,eAAe,CAAC,EAAE;AAAA,EACxD;AACF;AAKK,IAAM,oBAAoB,CAC/B,eAEA,WAAW;AAAA;AAAA,EACT,CAAC,KAAK,WACJ,IAAI,KAAK,IACJ,OAAO,MAAM,IACZ,IAAI,OAAO,KAAK,IAChB,IAAI,IAAI,uBAAuB,OAAO,KAAK,CAAC,IAC9C;AAAA,EACN,GAAG,CAAC,CAAC;AACP;AAOK,IAAM,sCAAsC,CACjD,oBACmC;AACnC,QAAM,IAAI,YAAY,gBAAgB,QAAQ,IAAI,eAAe,CAAC,EAAE;AAAA,IAClE;AAAA,EACF;AACA,SAAO;AACT;AAKO,IAAM,iCAAiC,CAC5C,eAEA,WAAW;AAAA;AAAA,EACT,CAAC,KAAK,WACJ,OAAO,MAAM,IACR,IAAI,MAAM,IACT,IAAI,CAAC,GAAG,IAAI,OAAO,OAAO,KAAK,CAAC,IAChC,IAAI,CAAC,OAAO,KAAK,CAAC,IACnB,IAAI,MAAM,IACT,MACA,GAAG,CAAC,GAAG,IAAI,OAAO,OAAO,KAAK,CAAC;AAAA,EACvC,GAAG,CAAC,CAAC;AACP;;;ACzRF,IAAM,KAAN,MAAY;AAAA;AAAA,EAEV,YAA4B,OAAU;AAAV;AAAA,EAAW;AAAA,EAD9B,KAAK;AAEhB;AAEA,IAAM,MAAN,MAAa;AAAA;AAAA,EAEX,YAA4B,OAAU;AAAV;AAAA,EAAW;AAAA,EAD9B,KAAK;AAEhB;AAEO,IAAMA,UAAN,MAAM,QAAa;AAAA,EA6DhB,YAA6B,OAAuB;AAAvB;AACnC,QAAI,MAAM,IAAI;AACZ,WAAK,QAAQ,MAAM;AACnB,WAAK,QAAQ;AAAA,IACf,OAAO;AACL,WAAK,QAAQ,MAAM;AACnB,WAAK,QAAQ;AAAA,IACf;AAAA,EACF;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EA7DA,OAAO,cACL,IACA,SACwD;AACxD,WAAO,IAAI,SAAS;AAClB,UAAI;AACF,cAAM,SAAS,GAAG,GAAG,IAAI;AACzB,eAAO,GAAG,MAAwB;AAAA,MACpC,SAAS,OAAO;AACd,YAAI,SAAS;AACX,iBAAO,IAAI,QAAQ,KAAK,CAAC;AAAA,QAC3B;AAEA,eAAO,IAAI,KAAU;AAAA,MACvB;AAAA,IACF;AAAA,EACF;AAAA,EAEA,OAAO,GAAe,OAAwB;AAC5C,WAAO,IAAI,QAAa,IAAI,GAAG,KAAK,CAAC;AAAA,EACvC;AAAA,EAEA,OAAO,IAAwB,OAAwB;AACrD,WAAO,IAAI,QAAa,IAAI,IAAI,KAAK,CAAC;AAAA,EACxC;AAAA,EAQA,OAAO,QAEL,YAAkC;AAClC,WAAO,kBAAkB,UAAU;AAAA,EACrC;AAAA,EAQA,OAAO,qBACL,YACqC;AACrC,WAAO,+BAA+B,UAAU;AAAA,EAClD;AAAA,EAES;AAAA,EACA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAiBT,OAAgB;AACd,WAAO,KAAK,MAAM;AAAA,EACpB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,QAAiB;AACf,WAAO,CAAC,KAAK,MAAM;AAAA,EACrB;AAAA,EAWA,IAAO,GAAqD;AAC1D,QAAI,KAAK,MAAM,IAAI;AACjB,YAAM,QAAQ,EAAE,KAAK,KAAK;AAC1B,aAAO,GAAG,KAAK;AAAA,IACjB;AAEA,WAAO,IAAI,KAAK,KAAiC;AAAA,EACnD;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAWA,OAAU,IAA6E;AACrF,QAAI,KAAK,MAAM,IAAI;AACjB,aAAO,GAAG,KAAK,KAAiC;AAAA,IAClD;AAEA,WAAO,IAAI,GAAG,KAAK,KAAiC,CAAC;AAAA,EACvD;AAAA,EAaA,QAAc,GAAoE;AAChF,QAAI,KAAK,MAAM,IAAI;AACjB,aAAO,EAAE,KAAK,KAAK;AAAA,IACrB;AAEA,WAAO,IAAI,KAAK,KAAiC;AAAA,EACnD;AAAA,EAYA,OAAU,GAA6C;AACrD,QAAI,KAAK,MAAM,IAAI;AACjB,aAAO,GAAG,KAAK,KAAiC;AAAA,IAClD;AAEA,WAAO,EAAE,KAAK,KAAK;AAAA,EACrB;AAAA,EAYA,aAAmB,GAAuD;AACxE,QAAI,KAAK,MAAM,IAAI;AACjB,aAAO,EAAE,KAAK,KAAK;AAAA,IACrB;AAEA,WAAO,SAAS,KAAK,KAAK;AAAA,EAC5B;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,SAAY,GAA4C;AACtD,QAAI,KAAK,MAAM,IAAI;AACjB,aAAO,YAAY,gBAAgB,EAAE,KAAK,KAAK,CAAC;AAAA,IAClD;AAEA,WAAO,SAAS,KAAK,KAAK;AAAA,EAC5B;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,SAAY,cAAwB;AAClC,QAAI,KAAK,MAAM,IAAI;AACjB,aAAO,KAAK;AAAA,IACd;AAEA,WAAO;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAgBA,MAAS,MAAmB,OAAuB;AACjD,QAAI,KAAK,MAAM,IAAI;AACjB,aAAO,KAAK,KAAK,KAAK;AAAA,IACxB;AAEA,WAAO,MAAM,KAAK,KAAK;AAAA,EACzB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,IAAI,GAAiC;AACnC,QAAI,KAAK,MAAM,IAAI;AACjB,UAAI;AACF,UAAE,KAAK,KAAK;AAAA,MACd,QAAQ;AAAA,MAER;AAEA,aAAO,GAAG,KAAK,KAAK;AAAA,IACtB;AAEA,WAAO,IAAI,KAAK,KAAK;AAAA,EACvB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EASA,cAAc,QAAyB;AACrC,QAAI,KAAK,MAAM,IAAI;AACjB,aAAO,KAAK;AAAA,IACd;AAEA,UAAM,oBAAoB,oCAAoC,MAAM,MAAM;AAAA,EAC5E;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAUA,iBAAiB,QAAyB;AACxC,QAAI,KAAK,MAAM,IAAI;AACjB,YAAM,oBAAoB,sCAAsC,MAAM,MAAM;AAAA,IAC9E;AAEA,WAAO,KAAK;AAAA,EACd;AAAA,EAEA,aAA6C;AAC3C,QAAI,KAAK,MAAM,IAAI;AACjB,YAAM,EAAE,MAAM,IAAI;AAElB,aAAQ,aAAc;AACpB,eAAO;AAAA,MACT,EAAG;AAAA,IACL;AAEA,UAAM,EAAE,MAAM,IAAI;AAClB,WAAQ,aAAc;AACpB,YAAM,IAAI,KAAK;AAEf,YAAM,IAAI,MAAM,4CAA4C;AAAA,IAC9D,EAAG;AAAA,EACL;AACF;AAEO,IAAM,KAAK,CAAe,UAA2BA,QAAO,GAAG,KAAK;AACpE,IAAM,MAAM,CAAyB,UAA2BA,QAAO,IAAI,KAAK;AAChF,IAAM,gBAAgB,CAC3B,IACA,YAC2DA,QAAO,cAAc,IAAI,OAAO;AAiCtF,SAAS,QACd,MAGsC;AACtC,QAAM,IAAI,KAAK,EAAE,KAAK;AACtB,MAAI,aAAa,SAAS;AACxB,WAAO,EAAE,KAAK,OAAK,EAAE,KAAK;AAAA,EAC5B;AAEA,SAAO,EAAE;AACX;;;ACzVO,IAAM,cAAN,MAAM,aAAuD;AAAA,EAElE,OAAO,gBAA8B,SAAwC;AAC3E,UAAM,aAAa,QAChB,KAAK,CAAC,UAAaC,QAAO,GAAG,KAAK,CAAC;AAEtC,WAAO,IAAI,aAAkB,UAAU;AAAA,EACzC;AAAA,EAGA,OAAO,YAAkB,SAAqB,SAA+C;AAC3F,UAAM,aAAa,QAChB,KAAK,CAAC,UAAaA,QAAO,GAAG,KAAK,CAAC,EACnC,MAAM,WAASA,QAAO,IAAI,QAAQ,KAAK,CAAC,CAAC;AAE5C,WAAO,IAAI,aAAkB,UAAU;AAAA,EACzC;AAAA,EAQA,OAAO,QACL,iBACwB;AACxB,WAAQ,uBAAuB,eAAe;AAAA,EAChD;AAAA,EAQA,OAAO,qBACL,iBAC0C;AAC1C,WAAO;AAAA,MACL;AAAA,IACF;AAAA,EACF;AAAA,EAEiB;AAAA,EAEjB,YAAY,KAA4B;AACtC,SAAK,eAAe;AAAA,EACtB;AAAA,EAEA,KACE,iBACA,iBACoB;AACpB,WAAO,KAAK,aAAa,KAAK,iBAAiB,eAAe;AAAA,EAChE;AAAA,EAEA,OAAU,GAAgD;AACxD,WAAO,IAAI,aAAkB,KAAK,aAAa,KAAK,OAAM,QAAO;AAC/D,UAAI,IAAI,KAAK,GAAG;AACd,eAAO,QAAQ,IAAI,KAAK;AAAA,MAC1B;AAEA,aAAO,SAAS,MAAM,EAAE,IAAI,KAAK,CAAC;AAAA,IACpC,CAAC,CAAC;AAAA,EACJ;AAAA,EAEA,IAAO,GAAgD;AACrD,UAAM,IAAI,IAAI;AAAA,MACZ,KAAK,aAAa,KAAK,OAAO,QAAsB;AAClD,YAAI,IAAI,MAAM,GAAG;AACf,iBAAO,SAAS,IAAI,KAAK;AAAA,QAC3B;AAEA,eAAO,QAAQ,MAAM,EAAE,IAAI,KAAK,CAAC;AAAA,MACnC,CAAC;AAAA,IACH;AAEA,WAAO;AAAA,EACT;AAAA,EASA,QAAQ,GAAa;AACnB,WAAO,IAAI;AAAA;AAAA,MAET,KAAK,aAAa,KAAK,OAAM,QAAO;AAClC,YAAI,IAAI,MAAM,GAAG;AACf,iBAAO,SAAS,IAAI,KAAK;AAAA,QAC3B;AAEA,cAAM,WAAW,EAAE,IAAI,KAAK;AAC5B,eAAO,oBAAoB,eAAc,SAAS,eAAe;AAAA,MACnE,CAAC;AAAA,IACH;AAAA,EACF;AAAA,EAEA,MAAM,MAASC,KAAiB,MAA+B;AAC7D,WAAO,KAAK,aAAa,KAAK,SAAO,IAAI,MAAMA,KAAI,IAAI,CAAC;AAAA,EAC1D;AAAA,EAEA,IAAI,GAAsD;AACxD,WAAO,IAAI;AAAA,MACT,KAAK,aAAa,KAAK,OAAM,QAAO;AAClC,YAAI,IAAI,MAAM,GAAG;AACf,iBAAO,SAAS,IAAI,KAAK;AAAA,QAC3B;AAEA,YAAI;AACF,gBAAM,EAAE,IAAI,KAAK;AAAA,QACnB,QAAQ;AAAA,QAER;AAEA,eAAO,QAAQ,IAAI,KAAK;AAAA,MAC1B,CAAC;AAAA,IACH;AAAA,EACF;AAAA;AAAA;AAAA;AAAA,EAKA,OAAQ,aAAkD;AACxD,WAAO,OAAQ,MAAM,KAAK,aAAa,KAAK,SAAO,IAAI,WAAW,CAAC;AAAA,EACrE;AACF;AAGO,SAAS,gBAA8B,SAEb;AAC/B,SAAO,YAAY,gBAAgB,OAAO;AAC5C;AAGO,SAAS,YAAkB,SAEpB,SAA+C;AAC3D,SAAO,YAAY,YAAY,SAAS,OAAO;AACjD;AAEO,SAAS,QAAsB,OAA6B;AACjE,SAAO,IAAI,YAAkB,QAAQ,QAAQD,QAAO,GAAG,KAAK,CAAC,CAAC;AAChE;AAEO,SAAS,SAAiC,OAA6B;AAC5E,SAAO,IAAI,YAAkB,QAAQ,QAAQA,QAAO,IAAI,KAAK,CAAC,CAAC;AACjE;AAEO,SAAS,mBACd,IACA,SACmC;AACnC,SAAO,IAAI,SAAS,IAAI;AAAA,KACrB,YAAY;AACX,UAAI;AACF,cAAM,IAAI,MAAM,GAAG,GAAG,IAAI;AAC1B,eAAOA,QAAO,GAAG,CAAC;AAAA,MACpB,SAAS,OAAO;AACd,cAAM,IAAI,UAAU,QAAQ,KAAK,IAAI;AACrC,eAAOA,QAAO,IAAI,CAAM;AAAA,MAC1B;AAAA,IACF,GAAG;AAAA,EACL;AACF;AAEO,SAAS,aACd,MACmB;AACnB,SAAO,IAAI;AAAA,KACR,YAAY;AACX,YAAM,IAAI,MAAM,KAAK,EAAE,KAAK;AAC5B,UAAI,EAAE,MAAM,KAAK,GAAG;AAClB,eAAO,QAAQ,EAAE,MAAM,KAAK;AAAA,MAC9B;AAEA,aAAO,SAAS,EAAE,MAAM,KAAK;AAAA,IAC/B,GAAG;AAAA,EACL;AACF;","names":["Result","Result","ok"]}
|
package/dist/error.d.cts
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
export {
|
|
1
|
+
export { F as ErrorConfig, G as createResultarError } from './index-BY07wubR.cjs';
|
package/dist/error.d.ts
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
export {
|
|
1
|
+
export { F as ErrorConfig, G as createResultarError } from './index-BY07wubR.js';
|
|
@@ -0,0 +1,326 @@
|
|
|
1
|
+
declare class ResultAsync<T, E> implements PromiseLike<Result<T, E>> {
|
|
2
|
+
static fromSafePromise<T, E = never>(promise: PromiseLike<T>): ResultAsync<T, E>;
|
|
3
|
+
static fromPromise<T, E>(promise: PromiseLike<T>, errorFn: (e: unknown) => E): ResultAsync<T, E>;
|
|
4
|
+
static combine<T extends readonly [ResultAsync<unknown, unknown>, ...Array<ResultAsync<unknown, unknown>>]>(asyncResultList: T): CombineResultAsyncs<T>;
|
|
5
|
+
static combine<T extends ReadonlyArray<ResultAsync<unknown, unknown>>>(asyncResultList: T): CombineResultAsyncs<T>;
|
|
6
|
+
static combineWithAllErrors<T extends readonly [ResultAsync<unknown, unknown>, ...Array<ResultAsync<unknown, unknown>>]>(asyncResultList: T): CombineResultsWithAllErrorsArrayAsync<T>;
|
|
7
|
+
static combineWithAllErrors<T extends ReadonlyArray<ResultAsync<unknown, unknown>>>(asyncResultList: T): CombineResultsWithAllErrorsArrayAsync<T>;
|
|
8
|
+
private readonly innerPromise;
|
|
9
|
+
constructor(res: Promise<Result<T, E>>);
|
|
10
|
+
then<A, B>(// eslint-disable-line unicorn/no-thenable
|
|
11
|
+
successCallback?: (res: Result<T, E>) => A | PromiseLike<A>, failureCallback?: (reason: unknown) => B | PromiseLike<B>): PromiseLike<A | B>;
|
|
12
|
+
mapErr<U>(f: (t: E) => U | Promise<U>): ResultAsync<T, U>;
|
|
13
|
+
map<X>(f: (t: T) => X | Promise<X>): ResultAsync<X, E>;
|
|
14
|
+
andThen<R extends Result<unknown, unknown>>(f: (t: T) => R): ResultAsync<InferOkTypes<R>, InferErrTypes<R> | E>;
|
|
15
|
+
andThen<R extends ResultAsync<unknown, unknown>>(f: (t: T) => R): ResultAsync<InferAsyncOkTypes<R>, InferAsyncErrTypes<R> | E>;
|
|
16
|
+
andThen<U, F>(f: (t: T) => Result<U, F> | ResultAsync<U, F>): ResultAsync<U, E | F>;
|
|
17
|
+
match<X>(ok: (t: T) => X, _err: (e: E) => X): Promise<X>;
|
|
18
|
+
tap(f: (t: T) => void | Promise<void>): ResultAsync<T, E>;
|
|
19
|
+
/**
|
|
20
|
+
* Emulates Rust's `?` operator in `safeTry`'s body. See also `safeTry`.
|
|
21
|
+
*/
|
|
22
|
+
safeUnwrap(): AsyncGenerator<Result<never, E>, T>;
|
|
23
|
+
}
|
|
24
|
+
declare function fromSafePromise<T, E = never>(promise: PromiseLike<T>): ResultAsync<T, E>;
|
|
25
|
+
declare function fromPromise<T, E>(promise: PromiseLike<T>, errorFn: (e: unknown) => E): ResultAsync<T, E>;
|
|
26
|
+
declare function okAsync<T, E = never>(value: T): ResultAsync<T, E>;
|
|
27
|
+
declare function errAsync<T = never, E = unknown>(error: E): ResultAsync<T, E>;
|
|
28
|
+
declare function fromThrowableAsync<A extends readonly any[], T, E>(fn: (...args: A) => Promise<T>, errorFn?: (err: unknown) => E): (...args: A) => ResultAsync<T, E>;
|
|
29
|
+
declare function safeTryAsync<T, E>(body: () => AsyncGenerator<Result<never, E>, Result<T, E>>): ResultAsync<T, E>;
|
|
30
|
+
type CombineResultAsyncs<T extends ReadonlyArray<ResultAsync<unknown, unknown>>> = IsLiteralArray<T> extends 1 ? TraverseAsync<UnwrapAsync<T>> : ResultAsync<ExtractOkAsyncTypes<T>, ExtractErrAsyncTypes<T>[number]>;
|
|
31
|
+
type CombineResultsWithAllErrorsArrayAsync<T extends ReadonlyArray<ResultAsync<unknown, unknown>>> = IsLiteralArray<T> extends 1 ? TraverseWithAllErrorsAsync<UnwrapAsync<T>> : ResultAsync<ExtractOkAsyncTypes<T>, Array<ExtractErrAsyncTypes<T>[number]>>;
|
|
32
|
+
type UnwrapAsync<T> = IsLiteralArray<T> extends 1 ? Writable<T> extends [infer H, ...infer Rest] ? H extends PromiseLike<infer HI> ? HI extends Result<unknown, unknown> ? [Dedup<HI>, ...UnwrapAsync<Rest>] : never : never : [] : T extends Array<infer A> ? A extends PromiseLike<infer HI> ? HI extends Result<infer L, infer R> ? Array<Result<L, R>> : never : never : never;
|
|
33
|
+
type TraverseAsync<T, Depth extends number = 5> = IsLiteralArray<T> extends 1 ? Combine<T, Depth> extends [infer Oks, infer Errs] ? ResultAsync<EmptyArrayToNever<Oks>, MembersToUnion<Errs>> : never : T extends Array<infer I> ? Combine<MemberListOf<I>, Depth> extends [infer Oks, infer Errs] ? Oks extends unknown[] ? Errs extends unknown[] ? ResultAsync<EmptyArrayToNever<Array<Oks[number]>>, MembersToUnion<Array<Errs[number]>>> : ResultAsync<EmptyArrayToNever<Array<Oks[number]>>, Errs> : Errs extends unknown[] ? ResultAsync<Oks, MembersToUnion<Array<Errs[number]>>> : ResultAsync<Oks, Errs> : never : never;
|
|
34
|
+
type TraverseWithAllErrorsAsync<T, Depth extends number = 5> = IsLiteralArray<T> extends 1 ? Combine<T, Depth> extends [infer Oks, infer Errs] ? ResultAsync<EmptyArrayToNever<Oks>, EmptyArrayToNever<Errs>> : never : Writable<T> extends Array<infer I> ? Combine<MemberListOf<I>, Depth> extends [infer Oks, infer Errs] ? Oks extends unknown[] ? Errs extends unknown[] ? ResultAsync<EmptyArrayToNever<Array<Oks[number]>>, EmptyArrayToNever<Array<Errs[number]>>> : ResultAsync<EmptyArrayToNever<Array<Oks[number]>>, Errs> : Errs extends unknown[] ? ResultAsync<Oks, EmptyArrayToNever<Array<Errs[number]>>> : ResultAsync<Oks, Errs> : never : never;
|
|
35
|
+
type Writable<T> = T extends readonly unknown[] ? [...T] : T;
|
|
36
|
+
|
|
37
|
+
type Dedup<T> = T extends Result<infer RL, infer RR> ? Result<RL, RR> : T;
|
|
38
|
+
type MemberListOf<T> = ((T extends unknown ? (t: T) => T : never) extends infer U ? (U extends unknown ? (u: U) => unknown : never) extends (v: infer V) => unknown ? V : never : never) extends (_: unknown) => infer W ? [...MemberListOf<Exclude<T, W>>, W] : [];
|
|
39
|
+
type ExtractOkTypes<T extends ReadonlyArray<Result<unknown, unknown>>> = {
|
|
40
|
+
[idx in keyof T]: T[idx] extends Result<infer U, unknown> ? U : never;
|
|
41
|
+
};
|
|
42
|
+
type ExtractOkAsyncTypes<T extends ReadonlyArray<ResultAsync<unknown, unknown>>> = {
|
|
43
|
+
[idx in keyof T]: T[idx] extends ResultAsync<infer U, unknown> ? U : never;
|
|
44
|
+
};
|
|
45
|
+
type ExtractErrTypes<T extends ReadonlyArray<Result<unknown, unknown>>> = {
|
|
46
|
+
[idx in keyof T]: T[idx] extends Result<unknown, infer E> ? E : never;
|
|
47
|
+
};
|
|
48
|
+
type ExtractErrAsyncTypes<T extends ReadonlyArray<ResultAsync<unknown, unknown>>> = {
|
|
49
|
+
[idx in keyof T]: T[idx] extends ResultAsync<unknown, infer E> ? E : never;
|
|
50
|
+
};
|
|
51
|
+
type InferOkTypes<R> = R extends Result<infer T, unknown> ? T : never;
|
|
52
|
+
type InferErrTypes<R> = R extends Result<unknown, infer E> ? E : never;
|
|
53
|
+
type InferAsyncOkTypes<R> = R extends ResultAsync<infer T, unknown> ? T : never;
|
|
54
|
+
type InferAsyncErrTypes<R> = R extends ResultAsync<unknown, infer E> ? E : never;
|
|
55
|
+
type IsLiteralArray<T> = T extends {
|
|
56
|
+
length: infer L;
|
|
57
|
+
} ? L extends number ? number extends L ? 0 : 1 : 0 : 0;
|
|
58
|
+
type EmptyArrayToNever<T, NeverArrayToNever extends number = 0> = T extends [] ? never : NeverArrayToNever extends 1 ? T extends [never, ...infer Rest] ? [EmptyArrayToNever<Rest>] extends [never] ? never : T : T : T;
|
|
59
|
+
type Prev = [
|
|
60
|
+
never,
|
|
61
|
+
0,
|
|
62
|
+
1,
|
|
63
|
+
2,
|
|
64
|
+
3,
|
|
65
|
+
4,
|
|
66
|
+
5,
|
|
67
|
+
6,
|
|
68
|
+
7,
|
|
69
|
+
8,
|
|
70
|
+
9,
|
|
71
|
+
10,
|
|
72
|
+
11,
|
|
73
|
+
12,
|
|
74
|
+
13,
|
|
75
|
+
14,
|
|
76
|
+
15,
|
|
77
|
+
16,
|
|
78
|
+
17,
|
|
79
|
+
18,
|
|
80
|
+
19,
|
|
81
|
+
20,
|
|
82
|
+
21,
|
|
83
|
+
22,
|
|
84
|
+
23,
|
|
85
|
+
24,
|
|
86
|
+
25,
|
|
87
|
+
26,
|
|
88
|
+
27,
|
|
89
|
+
28,
|
|
90
|
+
29,
|
|
91
|
+
30,
|
|
92
|
+
31,
|
|
93
|
+
32,
|
|
94
|
+
33,
|
|
95
|
+
34,
|
|
96
|
+
35,
|
|
97
|
+
36,
|
|
98
|
+
37,
|
|
99
|
+
38,
|
|
100
|
+
39,
|
|
101
|
+
40,
|
|
102
|
+
41,
|
|
103
|
+
42,
|
|
104
|
+
43,
|
|
105
|
+
44,
|
|
106
|
+
45,
|
|
107
|
+
46,
|
|
108
|
+
47,
|
|
109
|
+
48,
|
|
110
|
+
49,
|
|
111
|
+
...Array<0>
|
|
112
|
+
];
|
|
113
|
+
type Transpose<A, Transposed extends unknown[][] = [], Depth extends number = 10> = A extends [infer T, ...infer Rest] ? T extends [infer L, infer R] ? Transposed extends [infer PL, infer PR] ? PL extends unknown[] ? PR extends unknown[] ? Transpose<Rest, [[...PL, L], [...PR, R]], Prev[Depth]> : never : never : Transpose<Rest, [[L], [R]], Prev[Depth]> : Transposed : Transposed;
|
|
114
|
+
type CollectResults<T, Collected extends unknown[] = [], Depth extends number = 50> = [
|
|
115
|
+
Depth
|
|
116
|
+
] extends [never] ? [] : T extends [infer H, ...infer Rest] ? H extends Result<infer L, infer R> ? CollectResults<Rest, [
|
|
117
|
+
...Collected,
|
|
118
|
+
[L, R]
|
|
119
|
+
], Prev[Depth]> : never : Collected;
|
|
120
|
+
type UnknownMembersToNever<T> = T extends [infer H, ...infer R] ? [[unknown] extends [H] ? never : H, ...UnknownMembersToNever<R>] : T;
|
|
121
|
+
type MembersToUnion<T> = T extends unknown[] ? T[number] : never;
|
|
122
|
+
type Combine<T, Depth extends number = 5> = Transpose<CollectResults<T>, [], Depth> extends [
|
|
123
|
+
infer L,
|
|
124
|
+
infer R
|
|
125
|
+
] ? [UnknownMembersToNever<L>, UnknownMembersToNever<R>] : Transpose<CollectResults<T>, [], Depth> extends [] ? [[], []] : never;
|
|
126
|
+
type Traverse<T, Depth extends number = 5> = Combine<T, Depth> extends [infer Oks, infer Errs] ? Result<EmptyArrayToNever<Oks, 1>, MembersToUnion<Errs>> : never;
|
|
127
|
+
type TraverseWithAllErrors<T, Depth extends number = 5> = Combine<T, Depth> extends [
|
|
128
|
+
infer Oks,
|
|
129
|
+
infer Errs
|
|
130
|
+
] ? Result<EmptyArrayToNever<Oks>, EmptyArrayToNever<Errs>> : never;
|
|
131
|
+
type CombineResults<T extends ReadonlyArray<Result<unknown, unknown>>> = IsLiteralArray<T> extends 1 ? Traverse<T> : Result<ExtractOkTypes<T>, ExtractErrTypes<T>[number]>;
|
|
132
|
+
type CombineResultsWithAllErrorsArray<T extends ReadonlyArray<Result<unknown, unknown>>> = IsLiteralArray<T> extends 1 ? TraverseWithAllErrors<T> : Result<ExtractOkTypes<T>, Array<ExtractErrTypes<T>[number]>>;
|
|
133
|
+
declare const combineResultAsyncList: <T, E>(asyncResultList: ReadonlyArray<ResultAsync<T, E>>) => ResultAsync<readonly T[], E>;
|
|
134
|
+
/**
|
|
135
|
+
* Short circuits on the FIRST Err value that we find
|
|
136
|
+
*/
|
|
137
|
+
declare const combineResultList: <T, E>(resultList: ReadonlyArray<Result<T, E>>) => Result<readonly T[], E>;
|
|
138
|
+
declare const combineResultAsyncListWithAllErrors: <T, E>(asyncResultList: ReadonlyArray<ResultAsync<T, E>>) => ResultAsync<readonly T[], E[]>;
|
|
139
|
+
/**
|
|
140
|
+
* Give a list of all the errors we find
|
|
141
|
+
*/
|
|
142
|
+
declare const combineResultListWithAllErrors: <T, E>(resultList: ReadonlyArray<Result<T, E>>) => Result<readonly T[], E[]>;
|
|
143
|
+
|
|
144
|
+
declare class Result<T, E> {
|
|
145
|
+
private readonly state;
|
|
146
|
+
/**
|
|
147
|
+
* Wraps a function with a try catch, creating a new function with the same
|
|
148
|
+
* arguments but returning `Ok` if successful, `Err` if the function throws
|
|
149
|
+
*
|
|
150
|
+
* @param fn function to wrap with ok on success or err on failure
|
|
151
|
+
* @param errorFn when an error is thrown, this will wrap the error result if provided
|
|
152
|
+
*/
|
|
153
|
+
static fromThrowable<Fn extends (...args: readonly any[]) => unknown, E>(fn: Fn, errorFn?: (e: any) => E): (...args: Parameters<Fn>) => Result<ReturnType<Fn>, E>;
|
|
154
|
+
static ok<T, E = never>(value: T): Result<T, E>;
|
|
155
|
+
static err<T = never, E = unknown>(error: E): Result<T, E>;
|
|
156
|
+
static combine<T extends readonly [Result<unknown, unknown>, ...Array<Result<unknown, unknown>>]>(resultList: T): CombineResults<T>;
|
|
157
|
+
static combine<T extends ReadonlyArray<Result<unknown, unknown>>>(resultList: T): CombineResults<T>;
|
|
158
|
+
static combineWithAllErrors<T extends readonly [Result<unknown, unknown>, ...Array<Result<unknown, unknown>>]>(resultList: T): CombineResultsWithAllErrorsArray<T>;
|
|
159
|
+
static combineWithAllErrors<T extends ReadonlyArray<Result<unknown, unknown>>>(resultList: T): CombineResultsWithAllErrorsArray<T>;
|
|
160
|
+
readonly value: T;
|
|
161
|
+
readonly error: E;
|
|
162
|
+
private constructor();
|
|
163
|
+
/**
|
|
164
|
+
* Used to check if a `Result` is an `OK`
|
|
165
|
+
*
|
|
166
|
+
* @returns `true` if the result is an `OK` variant of Result
|
|
167
|
+
*/
|
|
168
|
+
isOk(): boolean;
|
|
169
|
+
/**
|
|
170
|
+
* Used to check if a `Result` is an `Err`
|
|
171
|
+
*
|
|
172
|
+
* @returns `true` if the result is an `Err` variant of Result
|
|
173
|
+
*/
|
|
174
|
+
isErr(): boolean;
|
|
175
|
+
/**
|
|
176
|
+
* Maps a `Result<T, E>` to `Result<U, E>`
|
|
177
|
+
* by applying a function to a contained `Ok` value, leaving an `Err` value
|
|
178
|
+
* untouched.
|
|
179
|
+
*
|
|
180
|
+
* @param f The function to apply an `OK` value
|
|
181
|
+
* @returns the result of applying `f` or an `Err` untouched
|
|
182
|
+
*/
|
|
183
|
+
map<X, Y>(f: (t: T) => Exclude<X, Promise<any>>): Result<X, E | Y>;
|
|
184
|
+
/**
|
|
185
|
+
* Maps a `Result<T, E>` to `Result<T, F>` by applying a function to a
|
|
186
|
+
* contained `Err` value, leaving an `Ok` value untouched.
|
|
187
|
+
*
|
|
188
|
+
* This function can be used to pass through a successful result while
|
|
189
|
+
* handling an error.
|
|
190
|
+
*
|
|
191
|
+
* @param f a function to apply to the error `Err` value
|
|
192
|
+
*/
|
|
193
|
+
mapErr<X>(fn: (t: Exclude<E, Promise<any>>) => Exclude<X, Promise<any>>): Result<T, X>;
|
|
194
|
+
/**
|
|
195
|
+
* Similar to `map` Except you must return a new `Result`.
|
|
196
|
+
*
|
|
197
|
+
* This is useful for when you need to do a subsequent computation using the
|
|
198
|
+
* inner `T` value, but that computation might fail.
|
|
199
|
+
* Additionally, `andThen` is really useful as a tool to flatten a
|
|
200
|
+
* `Result<Result<A, E2>, E1>` into a `Result<A, E2>` (see example below).
|
|
201
|
+
*
|
|
202
|
+
* @param f The function to apply to the current value
|
|
203
|
+
*/
|
|
204
|
+
andThen<X, Y>(f: (t: T) => Exclude<Result<X, Y>, Promise<any>>): Result<X, E | Y>;
|
|
205
|
+
/**
|
|
206
|
+
* Takes an `Err` value and maps it to a `Result<T, SomeNewType>`.
|
|
207
|
+
*
|
|
208
|
+
* This is useful for error recovery.
|
|
209
|
+
*
|
|
210
|
+
*
|
|
211
|
+
* @param f A function to apply to an `Err` value, leaving `Ok` values
|
|
212
|
+
* untouched.
|
|
213
|
+
*/
|
|
214
|
+
orElse<Y>(f: (t: E) => Result<T, Y>): Result<T, Y>;
|
|
215
|
+
/**
|
|
216
|
+
* Similar to `map` Except you must return a new `Result`.
|
|
217
|
+
*
|
|
218
|
+
* This is useful for when you need to do a subsequent async computation using
|
|
219
|
+
* the inner `T` value, but that computation might fail. Must return a ResultAsync
|
|
220
|
+
*
|
|
221
|
+
* @param f The function that returns a `ResultAsync` to apply to the current
|
|
222
|
+
* value
|
|
223
|
+
*/
|
|
224
|
+
asyncAndThen<X, Y>(f: (t: T) => ResultAsync<X, Y>): ResultAsync<X, E | Y>;
|
|
225
|
+
/**
|
|
226
|
+
* Maps a `Result<T, E>` to `ResultAsync<U, E>`
|
|
227
|
+
* by applying an async function to a contained `Ok` value, leaving an `Err`
|
|
228
|
+
* value untouched.
|
|
229
|
+
*
|
|
230
|
+
* @param f An async function to apply an `OK` value
|
|
231
|
+
*/
|
|
232
|
+
asyncMap<X>(f: (t: T) => Promise<X>): ResultAsync<X, E>;
|
|
233
|
+
/**
|
|
234
|
+
* Unwrap the `Ok` value, or return the default if there is an `Err`
|
|
235
|
+
*
|
|
236
|
+
* @param v the default value to return if there is an `Err`
|
|
237
|
+
*/
|
|
238
|
+
unwrapOr<A>(defaultValue: A): T | A;
|
|
239
|
+
/**
|
|
240
|
+
*
|
|
241
|
+
* Given 2 functions (one for the `Ok` variant and one for the `Err` variant)
|
|
242
|
+
* execute the function that matches the `Result` variant.
|
|
243
|
+
*
|
|
244
|
+
* Match callbacks do not necessitate to return a `Result`, however you can
|
|
245
|
+
* return a `Result` if you want to.
|
|
246
|
+
*
|
|
247
|
+
* `match` is like chaining `map` and `mapErr`, with the distinction that
|
|
248
|
+
* with `match` both functions must have the same return type.
|
|
249
|
+
*
|
|
250
|
+
* @param ok
|
|
251
|
+
* @param err
|
|
252
|
+
*/
|
|
253
|
+
match<X>(fnOk: (t: T) => X, fnErr: (e: E) => X): X;
|
|
254
|
+
/**
|
|
255
|
+
* Performs a side effect for the `Ok` variant of `Result`.
|
|
256
|
+
*
|
|
257
|
+
* @param f The function to apply an `OK` value
|
|
258
|
+
* @returns the result of applying `f` or an `Err` untouched
|
|
259
|
+
*/
|
|
260
|
+
tap(f: (t: T) => void): Result<T, E>;
|
|
261
|
+
/**
|
|
262
|
+
* **This method is unsafe, and should only be used in a test environments**
|
|
263
|
+
*
|
|
264
|
+
* Takes a `Result<T, E>` and returns a `T` when the result is an `Ok`, otherwise it throws a custom object.
|
|
265
|
+
*
|
|
266
|
+
* @param config
|
|
267
|
+
*/
|
|
268
|
+
_unsafeUnwrap(config?: ErrorConfig): T;
|
|
269
|
+
/**
|
|
270
|
+
* **This method is unsafe, and should only be used in a test environments**
|
|
271
|
+
*
|
|
272
|
+
* takes a `Result<T, E>` and returns a `E` when the result is an `Err`,
|
|
273
|
+
* otherwise it throws a custom object.
|
|
274
|
+
*
|
|
275
|
+
* @param config
|
|
276
|
+
*/
|
|
277
|
+
_unsafeUnwrapErr(config?: ErrorConfig): E;
|
|
278
|
+
safeUnwrap(): Generator<Result<never, E>, T>;
|
|
279
|
+
}
|
|
280
|
+
declare const ok: <T, E = never>(value: T) => Result<T, E>;
|
|
281
|
+
declare const err: <T = never, E = unknown>(error: E) => Result<T, E>;
|
|
282
|
+
declare const fromThrowable: <Fn extends (...args: readonly any[]) => unknown, E>(fn: Fn, errorFn?: ((e: any) => E) | undefined) => (...args: Parameters<Fn>) => Result<ReturnType<Fn>, E>;
|
|
283
|
+
/**
|
|
284
|
+
* Evaluates the given generator to a Result returned or an Err yielded from it,
|
|
285
|
+
* whichever comes first.
|
|
286
|
+
*
|
|
287
|
+
* This function, in combination with `Result.safeUnwrap()`, is intended to emulate
|
|
288
|
+
* Rust's ? operator.
|
|
289
|
+
* See `/tests/safeTry.test.ts` for examples.
|
|
290
|
+
*
|
|
291
|
+
* @param body - What is evaluated. In body, `yield* result.safeUnwrap()` works as
|
|
292
|
+
* Rust's `result?` expression.
|
|
293
|
+
* @returns The first occurence of either an yielded Err or a returned Result.
|
|
294
|
+
*/
|
|
295
|
+
declare function safeTry<T, E>(body: () => Generator<Result<never, E>, Result<T, E>>): Result<T, E>;
|
|
296
|
+
/**
|
|
297
|
+
* Evaluates the given generator to a Result returned or an Err yielded from it,
|
|
298
|
+
* whichever comes first.
|
|
299
|
+
*
|
|
300
|
+
* This function, in combination with `Result.safeUnwrap()`, is intended to emulate
|
|
301
|
+
* Rust's ? operator.
|
|
302
|
+
* See `/tests/safeTry.test.ts` for examples.
|
|
303
|
+
*
|
|
304
|
+
* @param body - What is evaluated. In body, `yield* result.safeUnwrap()` and
|
|
305
|
+
* `yield* resultAsync.safeUnwrap()` work as Rust's `result?` expression.
|
|
306
|
+
* @returns The first occurence of either an yielded Err or a returned Result.
|
|
307
|
+
*/
|
|
308
|
+
declare function safeTry<T, E>(body: () => AsyncGenerator<Result<never, E>, Result<T, E>>): Promise<Result<T, E>>;
|
|
309
|
+
|
|
310
|
+
interface ErrorConfig {
|
|
311
|
+
withStackTrace: boolean;
|
|
312
|
+
}
|
|
313
|
+
interface ResultarError<T, E> {
|
|
314
|
+
data: {
|
|
315
|
+
type: string;
|
|
316
|
+
value: T | undefined;
|
|
317
|
+
} | {
|
|
318
|
+
type: string;
|
|
319
|
+
value: E | undefined;
|
|
320
|
+
};
|
|
321
|
+
message: string;
|
|
322
|
+
stack: string | undefined;
|
|
323
|
+
}
|
|
324
|
+
declare const createResultarError: <T, E>(message: string, result: Result<T, E>, config?: ErrorConfig) => ResultarError<T, E>;
|
|
325
|
+
|
|
326
|
+
export { fromThrowable as A, safeTry as B, type CombineResultAsyncs as C, type Dedup as D, type ExtractOkTypes as E, type ErrorConfig as F, createResultarError as G, type InferOkTypes as I, type MemberListOf as M, ResultAsync as R, type Transpose as T, fromPromise as a, fromThrowableAsync as b, type CombineResultsWithAllErrorsArrayAsync as c, type ExtractOkAsyncTypes as d, errAsync as e, fromSafePromise as f, type ExtractErrTypes as g, type ExtractErrAsyncTypes as h, type InferErrTypes as i, type InferAsyncOkTypes as j, type InferAsyncErrTypes as k, type IsLiteralArray as l, type EmptyArrayToNever as m, type MembersToUnion as n, okAsync as o, type Combine as p, type CombineResults as q, type CombineResultsWithAllErrorsArray as r, safeTryAsync as s, combineResultAsyncList as t, combineResultList as u, combineResultAsyncListWithAllErrors as v, combineResultListWithAllErrors as w, Result as x, ok as y, err as z };
|