retuple 1.0.0-next.13 → 1.0.0-next.15

package/dist/index.d.ts

@@ -1,7 +1,51 @@
+/**
+ * ## Result Like Symbol
+ *
+ * Implement a custom result-like by implementing the `ResultLike` interface
+ * on a class or object. An object with this implementation can be converted
+ * to a `Result` and can be used in most places where a `Result` is required.
+ *
+ * ```ts
+ * import { ResultLikeSymbol } from "retuple/symbol";
+ * import { Result, Ok, Err, type ResultLike } from "retuple";
+ *
+ * class CustomResult<T> implements ResultLike<T, CustomError> {
+ *   value: T;
+ *
+ *   constructor(value: T) {
+ *     this.value = value;
+ *   }
+ *
+ *   [ResultLikeSymbol](): Result<T, CustomError> {
+ *     return this.value === "test"
+ *       ? Ok(this.value)
+ *       : Err(new CustomError("Value was not test"));
+ *   }
+ * }
+ *
+ * const custom = new CustomResult("test");
+ * const result: Result<string, Error> = Result(custom);
+ *
+ * const chain = Ok()
+ *  .$map(() => "value")
+ *  .$andThen((value) => new CustomResult(value))
+ *  .$or(myresult);
+ * ```
+ */
+export declare const ResultLikeSymbol: unique symbol;
+export type ResultLikeSymbol = typeof ResultLikeSymbol;
+export type ResultLike<T, E> = {
+    [ResultLikeSymbol](): Result<T, E>;
+};
 export type Ok = typeof Ok;
 export type Err = typeof Err;
 export type Result<T, E> = (OkTuple<T> | ErrTuple<E>) & Retuple<T, E>;
-export { type ResultAsync };
+export { type ResultAsync, type ResultRetry };
+export interface ResultRetryController<E> {
+    error: E;
+    attempt: number;
+    abort: () => void;
+}
 /**
  * ## Retuple Unwrap Failed
  *
@@ -30,16 +74,6 @@ export declare class RetupleExpectFailed<const E = unknown> extends Error {
     value: E;
     constructor(value: E);
 }
-/**
- * ## Retuple Expect Failed
- *
- * An error which occurs when calling `$flatten` on `Ok`, when the value
- * contained in the `Ok` is not an `Ok` or `Err`.
- */
-export declare class RetupleFlattenFailed<const T = unknown> extends Error {
-    value: T;
-    constructor(value: T);
-}
 /**
  * ## Retuple Thrown Value Error
  *
@@ -47,21 +81,10 @@ export declare class RetupleFlattenFailed<const T = unknown> extends Error {
  * thrown error or rejected value is not an instance of `Error`, and when no
  * map error function is provided.
  */
-export declare class RetupleThrownValueError extends Error {
+export declare class RetupleCaughtValueError extends Error {
     value: unknown;
     constructor(value: unknown);
 }
-/**
- * ## Retuple Invalid Result Error
- *
- * This error is thrown when attempting to construct a `Result` from a tuple,
- * when neither index 0 or 1 are null or undefined. In this case, it is
- * impossible to determine whether the result should be `Ok` or `Err`.
- */
-export declare class RetupleInvalidResultError extends Error {
-    value: unknown[];
-    constructor(value: unknown[]);
-}
 /**
  * ## Retuple Invalid Union Error
  *
@@ -88,19 +111,38 @@ export declare class RetupleArrayMethodUnavailableError extends Error {
  *
  * @TODO
  */
-export declare function Result<R extends [err: null | undefined, value: unknown] | [err: unknown, value: null | undefined]>(resultLike: R): (R extends [null | undefined, infer T] ? ThisOk<T> : R extends [infer E, null | undefined] ? ThisErr<E> : never) extends ThisOk<infer T> | ThisErr<infer E> ? Result<T, NonNullable<E>> : never;
+export declare function Result<T, E>(resultLike: ResultLike<T, E>): Result<T, E>;
 export declare namespace Result {
     var Ok: typeof import(".").Ok;
     var Err: typeof import(".").Err;
-    var $resolve: typeof resolve;
-    var $nonNullable: typeof nonNullable;
-    var $truthy: typeof truthy;
-    var $union: typeof union;
-    var $safe: typeof safe;
-    var $safeAsync: typeof safeAsync;
-    var $safePromise: typeof safePromise;
-    var $retry: typeof retry;
-    var $safeRetry: typeof safeRetry;
+    var $from: <T, E>(result: ResultLike<T, E>) => Result<T, E>;
+    var $resolve: <T, E>(result: ResultLikeAwaitable<T, E>) => ResultAsync<T, E>;
+    var $nonNullable: {
+        <const T>(value: T): Result<NonNullable<T>, true>;
+        <const T, E>(value: T, error: () => E): Result<NonNullable<T>, E>;
+    };
+    var $truthy: {
+        <const T>(value: T): Result<Truthy<T>, true>;
+        <const T, E>(value: T, error: () => E): Result<Truthy<T>, E>;
+    };
+    var $fromUnion: <U extends ObjectUnionOk<any> | ObjectUnionErr<any>>(union: U) => Result<U extends ObjectUnionOk<infer T> ? T : never, U extends ObjectUnionErr<infer E> ? E : never>;
+    var $safe: {
+        <T>(f: () => Awaited<T>): Result<T, Error>;
+        <T, E>(f: () => Awaited<T>, mapError: (err: unknown) => E): Result<T, E>;
+    };
+    var $safeAsync: {
+        <T>(f: () => T | PromiseLike<T>): ResultAsync<T, Error>;
+        <T, E>(f: () => T | PromiseLike<T>, mapError: (err: unknown) => E): ResultAsync<T, E>;
+    };
+    var $safePromise: {
+        <T>(promise: PromiseLike<T>): ResultAsync<T, Error>;
+        <T, E>(promise: PromiseLike<T>, mapError: (err: unknown) => E): ResultAsync<T, E>;
+    };
+    var $retry: <T, E>(f: () => ResultLike<T, E> | PromiseLike<ResultLike<T, E>>) => ResultRetry<T, E>;
+    var $safeRetry: {
+        <T>(f: () => T | PromiseLike<T>): ResultRetry<T, Error>;
+        <T, E>(f: () => T | PromiseLike<T>, mapError: (err: unknown) => E): ResultRetry<T, E>;
+    };
 }
 /**
  * Create a new {@link Result} with the `Ok` variant. When called without
@@ -144,314 +186,6 @@ export declare function Ok<const T>(val: T): Result<T, never>;
  */
 export declare function Err(): Result<never, void>;
 export declare function Err<const E>(err: E): Result<never, E>;
-/**
- * @TODO
- */
-declare function resolve<T, E>(result: Retuple<T, E> | PromiseLike<Retuple<T, E>>): ResultAsync<T, E>;
-/**
- * Construct a {@link Result} from a value. If the value is neither null or
- * undefined, the result is `Ok`.
- *
- * Otherwise, the result is `Err` containing:
-
- * - the returned value from the error function when provided;
- * - or `true` otherwise.
- *
- * @example
- *
- * ```ts
- * const result: Result<User, Error> = Result.$nonNullable(
- *    users.find((user) => user.id === currentUserId),
- *    () => new Error("User not found"),
- * );
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = Result.$nonNullable("test");
- *
- * assert.equal(err, undefined);
- * assert.equal(value, "test");
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = Result.$nonNullable(null);
- *
- * assert.equal(err, true);
- * assert.equal(value, undefined);
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = Result.$nonNullable(null, () => "error");
- *
- * assert.equal(err, "error");
- * assert.equal(value, undefined);
- * ```
- */
-declare function nonNullable<const T>(value: T): Result<NonNullable<T>, true>;
-declare function nonNullable<const T, E>(value: T, error: () => E): Result<NonNullable<T>, E>;
-/**
- * Construct a {@link Result} from a value. If the value is truthy, the result
- * is `Ok`.
- *
- * Otherwise, the result is `Err` containing:
- *
- * - the returned value from the error function when provided;
- * - or `true` otherwise.
- *
- * @example
- *
- * ```ts
- * const result: Result<string, Error> = Result.$truthy(
- *    username.trim(),
- *    () => new Error("Username is empty"),
- * );
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = Result.$truthy("test");
- *
- * assert.equal(err, undefined);
- * assert.equal(value, "test");
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = Result.$truthy("");
- *
- * assert.equal(err, true);
- * assert.equal(value, undefined);
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = Result.$truthy(0, () => "error");
- *
- * assert.equal(err, "error");
- * assert.equal(value, undefined);
- * ```
- */
-declare function truthy<const T>(value: T): Result<Truthy<T>, true>;
-declare function truthy<const T, E>(value: T, error: () => E): Result<Truthy<T>, E>;
-/**
- * @TODO
- */
-declare function union<U extends ObjectUnionOk<any> | ObjectUnionErr<any>>(union: U): Result<U extends ObjectUnionOk<infer T> ? T : never, U extends ObjectUnionErr<infer E> ? E : never>;
-/**
- * Construct a {@link Result} from a synchronous function call. If the function
- * returns without throwing, the result is `Ok`.
- *
- * Otherwise, the result is `Err` containing (in priority order):
- *
- * - the returned value from the map error function when provided;
- * - the thrown error when it is an instance of `Error`;
- * - `RetupleThrownValueError` when a non `Error` instance is thrown.
- *
- * @example
- *
- * ```ts
- * const result: Result<URL, Error> = Result.$safe(
- *    () => new URL(user.url),
- *    () => new Error("Invalid URL"),
- * );
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = Result.$safe(() => "test");
- *
- * assert.equal(err, undefined);
- * assert.equal(value, "test");
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = Result.$safe(
- *    () => {
- *       throw new Error("throws");
- *    },
- *    () => "error",
- * );
- *
- * assert.equal(err, "error");
- * assert.equal(value, undefined);
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = Result.$safe(
- *    () => {
- *       throw new Error("throws")
- *    },
- * );
- *
- * assert(err instanceof Error && err.message === "throws");
- * assert.equal(value, undefined);
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = Result.$safe(() => {
- *    throw "non error";
- * });
- *
- * assert(err instanceof RetupleThrownValueError && err.value === "non error");
- * assert.equal(value, undefined);
- */
-declare function safe<T>(f: () => Awaited<T>): Result<T, Error>;
-declare function safe<T, E>(f: () => Awaited<T>, mapError: (err: unknown) => E): Result<T, E>;
-/**
- * Construct a {@link ResultAsync} from a function call. If the function returns
- * without throwing, and any promise returned resolves, the result is `Ok`.
- *
- * Otherwise, the result is `Err` containing (in priority order):
- *
- * - the returned value from the map error function when provided;
- * - the thrown/rejected error when it is an instance of `Error`;
- * - `RetupleThrownValueError` when throwing/rejecting with a non `Error`.
- *
- * @example
- *
- * ```ts
- * const result: Result<Response, Error> = await Result.$safeAsync(
- *    () => fetch("http://example.com/api"),
- *    () => new Error("Fetch failed"),
- * );
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = await Result.$safeAsync(async () => "test");
- *
- * assert.equal(err, undefined);
- * assert.equal(value, "test");
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = await Result.$safeAsync(
- *    async () => {
- *       throw new Error("throws");
- *    },
- *    () => "error",
- * );
- *
- * assert.equal(err, "error");
- * assert.equal(value, undefined);
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = await Result.$safeAsync(
- *    async () => {
- *       throw new Error("throws")
- *    },
- * );
- *
- * assert(err instanceof Error && err.message === "throws");
- * assert.equal(value, undefined);
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = await Result.$safeAsync(async () => {
- *    throw "non error";
- * });
- *
- * assert(err instanceof RetupleThrownValueError && err.value === "non error");
- * assert.equal(value, undefined);
- */
-declare function safeAsync<T>(f: () => T | PromiseLike<T>): ResultAsync<T, Error>;
-declare function safeAsync<T, E>(f: () => T | PromiseLike<T>, mapError: (err: unknown) => E): ResultAsync<T, E>;
-/**
- * Construct a {@link Result} from a promise. If the promise resolves, the
- * result is `Ok`.
- *
- * Otherwise, the result is `Err` containing (in priority order):
- *
- * - the returned value from the map error function when provided;
- * - the rejected error when it is an instance of `Error`;
- * - `RetupleThrownValueError` when rejecting with a non `Error`.
- *
- * @example
- *
- * ```ts
- * const result: Result<Response, Error> = await Result.$safePromise(
- *    fetch("http://example.com/api"),
- *    () => new Error("Fetch failed"),
- * );
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = await Result.$safePromise(Promise.resolve("test"));
- *
- * assert.equal(err, undefined);
- * assert.equal(value, "test");
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = await Result.$safePromise(
- *    Promise.reject(new Error("rejects")),
- *    () => "error",
- * );
- *
- * assert.equal(err, "error");
- * assert.equal(value, undefined);
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = await Result.$safePromise(
- *    Promise.reject(new Error("rejects")),
- * );
- *
- * assert(err instanceof Error && err.message === "rejects");
- * assert.equal(value, undefined);
- * ```
- *
- * @example
- *
- * ```ts
- * const [err, value] = await Result.$safeAsync(
- *    Promise.reject("non error"),
- * );
- *
- * assert(err instanceof RetupleThrownValueError && err.value === "non error");
- * assert.equal(value, undefined);
- */
-declare function safePromise<T>(promise: PromiseLike<T>): ResultAsync<T, Error>;
-declare function safePromise<T, E>(promise: PromiseLike<T>, mapError: (err: unknown) => E): ResultAsync<T, E>;
-/**
- * @TODO
- */
-declare function retry<T, E>(f: () => Retuple<T, E> | PromiseLike<Retuple<T, E>>): ResultRetry<T, E>;
-/**
- * @TODO
- */
-declare function safeRetry<T>(f: () => T | PromiseLike<T>): ResultRetry<T, Error>;
-declare function safeRetry<T, E>(f: () => T | PromiseLike<T>, mapError: (err: unknown) => E): ResultRetry<T, E>;
 /**
  * ## RetupleArray
  *
@@ -462,8 +196,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -471,8 +204,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -480,8 +212,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -489,8 +220,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -498,8 +228,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -507,8 +236,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -516,8 +244,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -525,8 +252,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -534,8 +260,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -543,8 +268,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -552,8 +276,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -561,8 +284,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -570,8 +292,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -579,8 +300,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -588,8 +308,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -597,8 +316,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -606,8 +324,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -615,8 +332,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -624,8 +340,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -633,8 +348,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -642,8 +356,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -651,8 +364,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -660,8 +372,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -669,8 +380,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -678,8 +388,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -687,8 +396,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -696,8 +404,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -705,8 +412,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -714,8 +420,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -723,8 +428,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -732,8 +436,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -741,8 +444,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -750,8 +452,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -759,8 +460,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -768,8 +468,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -777,8 +476,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -786,8 +484,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -795,8 +492,7 @@ declare class RetupleArray<T> extends Array<T> {
     /**
      * ## Method not available
      *
-     * Built-in array methods not available on `Result` types, convert the result
-     * to a tuple using `$tuple()` first.
+     * Built-in array methods not available on {@link Result} types.
      *
      * @deprecated
      */
@@ -835,65 +531,77 @@ declare class ResultAsync<T, E> {
      */
     $unwrapOrElse<U = T>(this: ResultAsync<T, E>, f: () => U): Promise<T | U>;
     /**
-     * The same as {@link Retuple.$map|$map}, except it returns `ResultAsync`.
+     * The same as {@link Retuple.$map|$map}, except it returns
+     * {@link ResultAsync}.
      */
     $map<U>(this: ResultAsync<T, E>, f: (val: T) => U): ResultAsync<U, E>;
     /**
      * The same as {@link Retuple.$mapErr|$mapErr}, except it returns
-     * `ResultAsync`.
+     * {@link ResultAsync}.
      */
     $mapErr<F = E>(this: ResultAsync<T, E>, f: (err: E) => F): ResultAsync<T, F>;
     /**
-     * The same as {@link Retuple.$mapOr|$mapOr}, except it returns `ResultAsync`.
+     * The same as {@link Retuple.$mapOr|$mapOr}, except it returns
+     * {@link ResultAsync}.
      */
     $mapOr<U, V = U>(this: ResultAsync<T, E>, def: U, f: (val: T) => V): ResultAsync<U | V, never>;
     /**
      * The same as {@link Retuple.$mapOrElse|$mapOrElse}, except it returns
-     * `ResultAsync`.
+     * {@link ResultAsync}.
      */
     $mapOrElse<U, V = U>(this: ResultAsync<T, E>, def: (err: E) => U, f: (val: T) => V): ResultAsync<U | V, never>;
     /**
      * The same as {@link Retuple.$andAssertOr|$andAssertOr}, except it:
      *
      * - can also accept a `PromiseLike` default value;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
-    $andAssertOr<U = T, F = E>(this: ResultAsync<T, E>, def: RetupleAwaitable<U, F>): ResultAsync<Truthy<T> | U, E | F>;
-    $andAssertOr<U = T, F = E, A extends T = T>(this: ResultAsync<T, E>, def: RetupleAwaitable<U, F>, predicate: (val: T) => val is A): ResultAsync<U | A, E | F>;
-    $andAssertOr<U = T, F = E>(this: ResultAsync<T, E>, def: RetupleAwaitable<U, F>, condition: (val: T) => unknown): ResultAsync<T | U, E | F>;
+    $andAssertOr<U = T, F = E>(this: ResultAsync<T, E>, def: ResultLikeAwaitable<U, F>): ResultAsync<Truthy<T> | U, E | F>;
+    $andAssertOr<U = T, F = E, A extends T = T>(this: ResultAsync<T, E>, def: ResultLikeAwaitable<U, F>, predicate: (val: T) => val is A): ResultAsync<U | A, E | F>;
+    $andAssertOr<U = T, F = E>(this: ResultAsync<T, E>, def: ResultLikeAwaitable<U, F>, condition: (val: T) => unknown): ResultAsync<T | U, E | F>;
     /**
      * The same as {@link Retuple.$andAssertOrElse|$andAssertOrElse}, except it:
      *
      * - can also accept an `async` default function;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
-    $andAssertOrElse<U = T, F = E>(this: ResultAsync<T, E>, def: (val: T) => RetupleAwaitable<U, F>): ResultAsync<Truthy<T> | U, E | F>;
-    $andAssertOrElse<U = T, F = E, A extends T = T>(this: ResultAsync<T, E>, def: (val: T) => RetupleAwaitable<U, F>, predicate: (val: T) => val is A): ResultAsync<U | A, E | F>;
-    $andAssertOrElse<U = T, F = E>(this: ResultAsync<T, E>, def: (val: T) => RetupleAwaitable<U, F>, condition: (val: T) => unknown): ResultAsync<T | U, E | F>;
+    $andAssertOrElse<U = T, F = E>(this: ResultAsync<T, E>, def: (val: T) => ResultLikeAwaitable<U, F>): ResultAsync<Truthy<T> | U, E | F>;
+    $andAssertOrElse<U = T, F = E, A extends T = T>(this: ResultAsync<T, E>, def: (val: T) => ResultLikeAwaitable<U, F>, predicate: (val: T) => val is A): ResultAsync<U | A, E | F>;
+    $andAssertOrElse<U = T, F = E>(this: ResultAsync<T, E>, def: (val: T) => ResultLikeAwaitable<U, F>, condition: (val: T) => unknown): ResultAsync<T | U, E | F>;
     /**
      * The same as {@link Retuple.$or|$or}, except it:
      *
      * - can also accept a `PromiseLike` or value;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
-    $or<U = T, F = E>(this: ResultAsync<T, E>, or: Retuple<U, F> | PromiseLike<Retuple<U, F>>): ResultAsync<T | U, F>;
+    $or<U = T, F = E>(this: ResultAsync<T, E>, or: ResultLikeAwaitable<U, F>): ResultAsync<T | U, F>;
     /**
      * The same as {@link Retuple.$orElse|$orElse}, except it:
      *
      * - can also accept an `async` or function;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
-    $orElse<U = T, F = E>(this: ResultAsync<T, E>, f: (err: E) => RetupleAwaitable<U, F>): ResultAsync<T | U, F>;
+    $orElse<U = T, F = E>(this: ResultAsync<T, E>, f: (err: E) => ResultLikeAwaitable<U, F>): ResultAsync<T | U, F>;
     /**
      * The same as {@link Retuple.$orSafe|$orSafe}, except it:
      *
      * - can also accept an `async` safe function;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
     $orSafe<U = T>(this: ResultAsync<T, E>, f: (err: E) => U | PromiseLike<U>): ResultAsync<T | U, Error>;
     $orSafe<U = T, F = E>(this: ResultAsync<T, E>, f: (err: E) => U | PromiseLike<U>, mapError: (err: unknown) => F): ResultAsync<T | U, F>;
     /**
-     * @TODO
+     * Returns {@link ResultAsync} based on the outcome of the promise when this
+     * result is `Err`.
+     *
+     * Otherwise, returns `Ok` containing the current contained value.
+     *
+     * Uses the same strategy as {@link Result.$safePromise}, equivalent to
+     * calling:
+     *
+     * ```ts
+     * resultAsync.$orElse(() => Result.$safePromise(...))
+     * ```
      */
     $orSafePromise<U = T>(this: ResultAsync<T, E>, promise: PromiseLike<U>): ResultAsync<T | U, Error>;
     $orSafePromise<U = T, F = E>(this: ResultAsync<T, E>, promise: PromiseLike<U>, mapError: (err: unknown) => F): ResultAsync<T | U, F>;
@@ -901,33 +609,43 @@ declare class ResultAsync<T, E> {
      * The same as {@link Retuple.$and|$and}, except it:
      *
      * - can also accept a `PromiseLike` and value;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
-    $and<U = T, F = E>(this: ResultAsync<T, E>, and: RetupleAwaitable<U, F>): ResultAsync<U, E | F>;
+    $and<U = T, F = E>(this: ResultAsync<T, E>, and: ResultLikeAwaitable<U, F>): ResultAsync<U, E | F>;
     /**
      * The same as {@link Retuple.$andThen|$andThen}, except it:
      *
      * - can also accept an `async` and function;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
-    $andThen<U = T, F = E>(this: ResultAsync<T, E>, f: (val: T) => RetupleAwaitable<U, F>): ResultAsync<U, E | F>;
+    $andThen<U = T, F = E>(this: ResultAsync<T, E>, f: (val: T) => ResultLikeAwaitable<U, F>): ResultAsync<U, E | F>;
     /**
      * The same as {@link Retuple.$andThrough|$andThrough}, except it:
      *
      * - can also accept an `async` through function;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
-    $andThrough<F = E>(this: ResultAsync<T, E>, f: (val: T) => RetupleAwaitable<any, F>): ResultAsync<T, E | F>;
+    $andThrough<F = E>(this: ResultAsync<T, E>, f: (val: T) => ResultLikeAwaitable<any, F>): ResultAsync<T, E | F>;
     /**
      * The same as {@link Retuple.$andSafe|$andSafe}, except it:
      *
      * - can also accept an `async` safe function;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
     $andSafe<U = T>(this: ResultAsync<T, E>, f: (val: T) => U | PromiseLike<U>): ResultAsync<U, E | Error>;
     $andSafe<U = T, F = E>(this: ResultAsync<T, E>, f: (val: T) => U | PromiseLike<U>, mapError: (err: unknown) => F): ResultAsync<U, E | F>;
     /**
-     * @TODO
+     * Returns {@link ResultAsync} based on the outcome of the promise when this
+     * result is `Ok`.
+     *
+     * Otherwise, returns `Err` containing the current error value.
+     *
+     * Uses the same strategy as {@link Result.$safePromise}, equivalent to
+     * calling:
+     *
+     * ```ts
+     * resultAsync.$andThen(() => Result.$safePromise(...))
+     * ```
      */
     $andSafePromise<U = T>(this: ResultAsync<T, E>, promise: PromiseLike<U>): ResultAsync<U, E | Error>;
     $andSafePromise<U = T, F = E>(this: ResultAsync<T, E>, promise: PromiseLike<U>, mapError: (err: unknown) => F): ResultAsync<U, E | F>;
@@ -935,21 +653,21 @@ declare class ResultAsync<T, E> {
      * The same as {@link Retuple.$peek|$peek}, except it:
      *
      * - awaits the peek function;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
     $peek(this: ResultAsync<T, E>, f: (res: Result<T, E>) => any): ResultAsync<T, E>;
     /**
      * The same as {@link Retuple.$tap|$tap}, except it:
      *
      * - awaits the tap function;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
     $tap(this: ResultAsync<T, E>, f: (val: T) => any): ResultAsync<T, E>;
     /**
      * The same as {@link Retuple.$tapErr|$tapErr}, except it:
      *
      * - awaits the tap error function;
-     * - returns `ResultAsync`.
+     * - returns {@link ResultAsync}.
      */
     $tapErr(this: ResultAsync<T, E>, f: (err: E) => any): ResultAsync<T, E>;
     /**
@@ -957,21 +675,12 @@ declare class ResultAsync<T, E> {
      */
     $promise(this: ResultAsync<T, E>): Promise<Result<T, E>>;
     /**
-     * The same as {@link Retuple.$tuple|$tuple}, except it returns a `Promise`.
-     */
-    $tuple(this: ResultAsync<T, E>): Promise<[err: E | undefined, value: T | undefined]>;
-    /**
-     * The same as {@link Retuple.$tuple|$iter}, except it returns a `Promise`.
+     * The same as {@link Retuple.$iter|$iter}, except it returns a `Promise`.
      */
     $iter<U>(this: ResultAsync<Iterable<U>, E>): Promise<IterableIterator<U, undefined, unknown>>;
 }
-interface ResultRetryMonitor<E> {
-    error: E;
-    attempt: number;
-    abort: () => void;
-}
 /**
- * @TODO
+ * ## ResultRetry
  */
 declare class ResultRetry<T, E> implements PromiseLike<Result<T, E>> {
     #private;
@@ -980,28 +689,118 @@ declare class ResultRetry<T, E> implements PromiseLike<Result<T, E>> {
     private static zero;
     private static delay;
     private static integer;
-    constructor(f: () => RetupleAwaitable<T, E>);
-    then<U = Result<T, E>, F = never>(onfulfilled?: ((value: Result<T, E>) => U | PromiseLike<U>) | null | undefined, onrejected?: ((reason: any) => F | PromiseLike<F>) | null | undefined): PromiseLike<U | F>;
+    constructor(f: () => ResultLikeAwaitable<T, E>);
+    then<U = Result<T, E>, F = never>(this: ResultRetry<T, E>, onfulfilled?: ((value: Result<T, E>) => U | PromiseLike<U>) | null | undefined, onrejected?: ((reason: any) => F | PromiseLike<F>) | null | undefined): PromiseLike<U | F>;
     /**
-     * @TODO - Capped 100
+     * Sets the maximum number of times the retry function can be executed,
+     * mutating this `ResultRetry` instance.
+     *
+     * **The default value is 1 - meaning that unless set, no retries will be
+     * attempted.**
+     *
+     * The retry function can be called up to the maximum number of times until
+     * it returns `Ok`. If it never returns `Ok`, the  most recent `Err` is
+     * returned.
+     *
+     * This function accepts a positive integer between 1 and 100:
+     *
+     * - Integers outside of this range are clamped to the nearest valid value;
+     * - Any other value (NaN, Infinity, fractions, strings) are treated as 1.
+     *
+     * @example
+     *
+     * ```ts
+     * // Retry someResultFn up to 3 times until Ok is returned:
+     * const result = await Result.$retry(someResultFn).$times(3);
+     * ```
      */
     $times<N extends number>(this: ResultRetry<T, E>, times: NonZero<N> & NonNegativeOrDecimal<N>): ResultRetry<T, E>;
     /**
-     * @TODO - Capped 1 hour
+     * Sets the delay between each retry attempt, mutating this `ResultRetry`
+     * instance.
+     *
+     * - Provide a number of milliseconds to introduce a static delay between
+     *   attempts;
+     * - Provide a function to compute the delay dynamically for each attempt;
+     * - If the maximum number of retries is 1, this setting as no effect.
+     *
+     * **The default value is 0 - meaning that unless set, there will be no delay
+     * between attempts.**
+     *
+     * This function accepts an integer between 0 and 3600000:
+     *
+     * - Integers outside of this range are clamped to the nearest valid value;
+     * - Any other value (NaN, Infinity, fractions, strings) are treated as 0.
+     *
+     * @example
+     *
+     * ```ts
+     * // Retry someResultFn up to 3 times until Ok is returned,
+     * // with a 1 second delay between each invocation:
+     * const result = await Result.$retry(someResultFn).$times(3).$delay(1000);
+     * ```
      */
     $delay<N extends number>(this: ResultRetry<T, E>, f: (attempt: number) => NonNegativeOrDecimal<N>): ResultRetry<T, E>;
     $delay<N extends number>(this: ResultRetry<T, E>, ms: NonNegativeOrDecimal<N>): ResultRetry<T, E>;
     /**
-     * @TODO
+     * Sets a handler to be called when an attempt returns `Err`, mutating this
+     * `ResultRetry` instance. The handler can be used to capture information
+     * about each failure, and to abort early and prevent further retries.
+     *
+     * The handler function is called with `ResultRetryHandleState`, containing:
+     *
+     * - **error** - The error value from the last failed attempt;
+     * - **attempt** - The attempt number;
+     * - **abort** - A function which when called, prevents further retries.
+     *
+     * @example
+     *
+     * ```ts
+     * // Retry someResultFn up to 3 times until Ok is returned, logging each
+     * // attempt and aborting early if the error code is "UNAUTHORIZED".
+     * const result = await Result.$retry(someResultFn)
+     *    .$times(3)
+     *    .$handle(({ error, attempt, abort }) => {
+     *       console.info(`Attempt ${attempt} failed: ${error}`);
+     *       if (error === "UNAUTHORIZED") {
+     *          abort();
+     *       }
+     *    });
+     * ```
      */
-    $monitor(f: (state: ResultRetryMonitor<E>) => void): ResultRetry<T, E>;
+    $handle(f: (controller: ResultRetryController<E>) => void): ResultRetry<T, E>;
     /**
-     * @TODO
+     * Returns {@link ResultAsync} which resolves to this retried {@link Result}.
+     *
+     * @example
+     *
+     * ```ts
+     * const result: Result<string, SomeError> = await Result
+     *    .$retry(someResultFn)
+     *    .$times(3)
+     *    .$delay(100)
+     *    .$async()
+     *    .$andThen((message) => `Success: ${message}`)
+     *    .$mapErr((code) => new SomeError({ code }));
+     * ```
      */
     $async(this: ResultRetry<T, E>): ResultAsync<T, E>;
+    /**
+     * Returns a `Promise` which resolves to this retried {@link Result}.
+     *
+     * @example
+     *
+     * ```ts
+     * const promise: Promise<Result<string, Error>> = Result
+     *    .$retry(someResultFn)
+     *    .$times(3)
+     *    .$promise();
+     * ```
+     */
+    $promise(this: ResultRetry<T, E>): Promise<Result<T, E>>;
     private drain;
 }
-interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
+interface Retuple<T, E> extends RetupleArray<T | E | undefined>, ResultLike<T, E> {
     /**
      * Returns true when this result is `Ok`. Acts as a type guard.
      *
@@ -1377,9 +1176,9 @@ interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
      * assert.equal(asserted.$unwrapErr(), "test");
      * ```
      */
-    $andAssertOr<U = T, F = E>(this: Result<T, E>, def: Result<U, F>): Result<Truthy<T> | U, E | F>;
-    $andAssertOr<U = T, F = E, A extends T = T>(this: Result<T, E>, def: Result<U, F>, predicate: (val: T) => val is A): Result<U | A, E | F>;
-    $andAssertOr<U = T, F = E>(this: Result<T, E>, def: Result<U, F>, condition: (val: T) => unknown): Result<T | U, E | F>;
+    $andAssertOr<U = T, F = E>(this: Result<T, E>, def: ResultLike<U, F>): Result<Truthy<T> | U, E | F>;
+    $andAssertOr<U = T, F = E, A extends T = T>(this: Result<T, E>, def: ResultLike<U, F>, predicate: (val: T) => val is A): Result<U | A, E | F>;
+    $andAssertOr<U = T, F = E>(this: Result<T, E>, def: ResultLike<U, F>, condition: (val: T) => unknown): Result<T | U, E | F>;
     /**
      * Performs an assertion when this result is `Ok`:
      *
@@ -1460,9 +1259,9 @@ interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
      * assert.equal(asserted.$unwrapErr(), "test");
      * ```
      */
-    $andAssertOrElse<U = T, F = E>(this: Result<T, E>, def: (val: T) => Result<U, F>): Result<Truthy<T> | U, E | F>;
-    $andAssertOrElse<U = T, F = E, A extends T = T>(this: Result<T, E>, def: (val: T) => Result<U, F>, predicate: (val: T) => val is A): Result<U | A, E | F>;
-    $andAssertOrElse<U = T, F = E>(this: Result<T, E>, def: (val: T) => Result<U, F>, condition: (val: T) => unknown): Result<T | U, E | F>;
+    $andAssertOrElse<U = T, F = E>(this: Result<T, E>, def: (val: T) => ResultLike<U, F>): Result<Truthy<T> | U, E | F>;
+    $andAssertOrElse<U = T, F = E, A extends T = T>(this: Result<T, E>, def: (val: T) => ResultLike<U, F>, predicate: (val: T) => val is A): Result<U | A, E | F>;
+    $andAssertOrElse<U = T, F = E>(this: Result<T, E>, def: (val: T) => ResultLike<U, F>, condition: (val: T) => unknown): Result<T | U, E | F>;
     /**
      * Returns `Ok` containing the return value of the map function when this
      * result is `Ok`.
@@ -1613,7 +1412,7 @@ interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
      * );
      * ```
      */
-    $or<U = T, F = E>(this: Result<T, E>, or: Result<U, F>): Result<T | U, F>;
+    $or<U = T, F = E>(this: Result<T, E>, or: ResultLike<U, F>): Result<T | U, F>;
     /**
      * Returns the result returned by the or function, when this result is `Err`.
      *
@@ -1649,10 +1448,10 @@ interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
      * );
      * ```
      */
-    $orElse<U = T, F = E>(this: Result<T, E>, f: (err: E) => Result<U, F>): Result<T | U, F>;
+    $orElse<U = T, F = E>(this: Result<T, E>, f: (err: E) => ResultLike<U, F>): Result<T | U, F>;
     /**
-     * Returns a `Result` based on the outcome of the safe function when this
-     * result is `Err`.
+     * Returns a {@link Result} based on the outcome of the safe function when
+     * this result is `Err`.
      *
      * Otherwise, returns `Ok` containing the current ok value.
      *
@@ -1696,7 +1495,7 @@ interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
      * );
      * ```
      */
-    $and<U = T, F = E>(this: Result<T, E>, and: Result<U, F>): Result<U, E | F>;
+    $and<U = T, F = E>(this: Result<T, E>, and: ResultLike<U, F>): Result<U, E | F>;
     /**
      * Returns the and result, when this result is `Ok`.
      *
@@ -1732,7 +1531,7 @@ interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
      * );
      * ```
      */
-    $andThen<U = T, F = E>(this: Result<T, E>, f: (val: T) => Result<U, F>): Result<U, E | F>;
+    $andThen<U = T, F = E>(this: Result<T, E>, f: (val: T) => ResultLike<U, F>): Result<U, E | F>;
     /**
      * Calls the through function when this result is `Ok` and returns:
      *
@@ -1772,23 +1571,24 @@ interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
      * );
      * ```
      */
-    $andThrough<F = E>(this: Result<T, E>, f: (val: T) => Result<any, F>): Result<T, E | F>;
+    $andThrough<F = E>(this: Result<T, E>, f: (val: T) => ResultLike<any, F>): Result<T, E | F>;
     /**
      * Returns a result based on the outcome of the safe function when this
      * result is `Ok`.
      *
      * Otherwise, returns `Err` containing the current error value.
      *
-     * Uses the same strategy as {@link Result.$safe}, equivalent to calling
-     * `result.$and(Result.$safe(...))`.
+     * Uses the same strategy as {@link Result.$safe}, equivalent to calling:
+     *
+     * ```ts
+     * result.$andThen(() => Result.$safe(...))
+     * ```
      */
     $andSafe<U = T>(this: Result<T, E>, f: (val: T) => U): Result<U, E | Error>;
     $andSafe<U = T, F = E>(this: Result<T, E>, f: (val: T) => U, mapError: (err: unknown) => F): Result<U, E | F>;
     /**
-     * @TODO
-     */
-    /**
-     * Calls the peek function and returns `Result` equivalent to this result.
+     * Calls the peek function and returns {@link Result} equivalent to this
+     * result.
      *
      * @example
      *
@@ -1884,7 +1684,7 @@ interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
      */
     $tapErr(this: Result<T, E>, f: (err: E) => void): Result<T, E>;
     /**
-     * Returns the contained `Result` when this result is `Ok`.
+     * Returns the contained {@link Result} when this result is `Ok`.
      *
      * Otherwise returns `Err` containing the current error value.
      *
@@ -1915,7 +1715,7 @@ interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
      */
     $flatten<U, F>(this: Result<Result<U, F>, E>): Result<U, E | F>;
     /**
-     * Returns an equivalent `ResultAsync`.
+     * Returns an equivalent {@link ResultAsync}.
      *
      * @example
      *
@@ -1949,24 +1749,6 @@ interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
      * ```
      */
     $promise(this: Result<T, E>): Promise<Result<T, E>>;
-    /**
-     * Returns a two-element, standard array tuple equivalent to this result.
-     *
-     * @example
-     *
-     * ```ts
-     * const result = Ok("test");
-     * assert.deepEqual(result.$tuple(), [undefined, "test"]);
-     * ```
-     *
-     * @example
-     *
-     * ```ts
-     * const result = Err("test");
-     * assert.deepEqual(result.$tuple(), ["test", undefined]);
-     * ```
-     */
-    $tuple(this: Result<T, E>): [err: E | undefined, value: T | undefined];
     /**
      * Returns an `IterableIterator` over the contained ok value, when this
      * result is `Ok`.
@@ -2013,9 +1795,7 @@ interface Retuple<T, E> extends RetupleArray<T | E | undefined> {
 }
 type OkTuple<T> = [err: undefined, value: T];
 type ErrTuple<E> = [err: E, value: undefined];
-type ThisOk<T> = OkTuple<T> & Retuple<T, never>;
-type ThisErr<E> = ErrTuple<E> & Retuple<never, E>;
-type RetupleAwaitable<T, E> = Retuple<T, E> | PromiseLike<Retuple<T, E>>;
+type ResultLikeAwaitable<T, E> = ResultLike<T, E> | PromiseLike<ResultLike<T, E>>;
 type ObjectUnionOk<T> = {
     success: true;
     data: T;