unthrown 5.12.0 → 5.12.1

package/dist/index.cjs

@@ -1206,12 +1206,15 @@ function DoAsync() {
 *
 * @remarks
 * `null` and `undefined` map to `Err(onAbsent())`; any other value (including
-* falsy ones like `0`, `""`, `false`) maps to `Ok`.
+* falsy ones like `0`, `""`, `false`) maps to `Ok`. A throw inside `onAbsent`
+* becomes a `Defect`. Its return must be synchronous ({@link NotThenable});
+* a thenable slipped past the types becomes a `Defect`, with an orphaned
+* Promise silenced and a lazy thenable left unstarted.
 *
 * @typeParam T - the (nullable) value type.
 * @typeParam E - the error produced when the value is absent.
 * @param value - the possibly-absent value.
-* @param onAbsent - lazily produces the error for the absent case.
+* @param onAbsent - synchronously and lazily produces the error for the absent case.
 *
 * @category Interop
 *
@@ -1226,7 +1229,13 @@ function DoAsync() {
 * ```
 */
 function fromNullable(value, onAbsent) {
-	return value === null || value === void 0 ? Err(onAbsent()) : Ok(value);
+	if (value !== null && value !== void 0) return Ok(value);
+	try {
+		const error = onAbsent();
+		return isThenable(error) ? thenableReturnDefect(error, "unthrown: fromNullable's onAbsent must be synchronous — it returned a thenable") : Err(error);
+	} catch (cause) {
+		return defectRes(cause);
+	}
 }
 /**
 * Wrap a throwing synchronous function so it returns a {@link Result} instead of

package/dist/index.d.cts

@@ -532,12 +532,15 @@ export declare function DoAsync(): AsyncResult<{}, never>;
  *
  * @remarks
  * `null` and `undefined` map to `Err(onAbsent())`; any other value (including
- * falsy ones like `0`, `""`, `false`) maps to `Ok`.
+ * falsy ones like `0`, `""`, `false`) maps to `Ok`. A throw inside `onAbsent`
+ * becomes a `Defect`. Its return must be synchronous ({@link NotThenable});
+ * a thenable slipped past the types becomes a `Defect`, with an orphaned
+ * Promise silenced and a lazy thenable left unstarted.
  *
  * @typeParam T - the (nullable) value type.
  * @typeParam E - the error produced when the value is absent.
  * @param value - the possibly-absent value.
- * @param onAbsent - lazily produces the error for the absent case.
+ * @param onAbsent - synchronously and lazily produces the error for the absent case.
  *
  * @category Interop
  *
@@ -551,7 +554,7 @@ export declare function DoAsync(): AsyncResult<{}, never>;
  * fromNullable(0, () => "absent").getOr(-1); // => 0 (falsy but present)
  * ```
  */
-export declare function fromNullable<T, E>(value: T | null | undefined, onAbsent: () => E): Result<NonNullable<T>, E>;
+export declare function fromNullable<T, E>(value: T | null | undefined, onAbsent: () => E & NotThenable<E>): Result<NonNullable<T>, E>;
 /**
  * Wrap a throwing synchronous function so it returns a {@link Result} instead of
  * throwing.

package/dist/index.d.mts

@@ -532,12 +532,15 @@ export declare function DoAsync(): AsyncResult<{}, never>;
  *
  * @remarks
  * `null` and `undefined` map to `Err(onAbsent())`; any other value (including
- * falsy ones like `0`, `""`, `false`) maps to `Ok`.
+ * falsy ones like `0`, `""`, `false`) maps to `Ok`. A throw inside `onAbsent`
+ * becomes a `Defect`. Its return must be synchronous ({@link NotThenable});
+ * a thenable slipped past the types becomes a `Defect`, with an orphaned
+ * Promise silenced and a lazy thenable left unstarted.
  *
  * @typeParam T - the (nullable) value type.
  * @typeParam E - the error produced when the value is absent.
  * @param value - the possibly-absent value.
- * @param onAbsent - lazily produces the error for the absent case.
+ * @param onAbsent - synchronously and lazily produces the error for the absent case.
  *
  * @category Interop
  *
@@ -551,7 +554,7 @@ export declare function DoAsync(): AsyncResult<{}, never>;
  * fromNullable(0, () => "absent").getOr(-1); // => 0 (falsy but present)
  * ```
  */
-export declare function fromNullable<T, E>(value: T | null | undefined, onAbsent: () => E): Result<NonNullable<T>, E>;
+export declare function fromNullable<T, E>(value: T | null | undefined, onAbsent: () => E & NotThenable<E>): Result<NonNullable<T>, E>;
 /**
  * Wrap a throwing synchronous function so it returns a {@link Result} instead of
  * throwing.

package/dist/index.mjs

@@ -1205,12 +1205,15 @@ function DoAsync() {
 *
 * @remarks
 * `null` and `undefined` map to `Err(onAbsent())`; any other value (including
-* falsy ones like `0`, `""`, `false`) maps to `Ok`.
+* falsy ones like `0`, `""`, `false`) maps to `Ok`. A throw inside `onAbsent`
+* becomes a `Defect`. Its return must be synchronous ({@link NotThenable});
+* a thenable slipped past the types becomes a `Defect`, with an orphaned
+* Promise silenced and a lazy thenable left unstarted.
 *
 * @typeParam T - the (nullable) value type.
 * @typeParam E - the error produced when the value is absent.
 * @param value - the possibly-absent value.
-* @param onAbsent - lazily produces the error for the absent case.
+* @param onAbsent - synchronously and lazily produces the error for the absent case.
 *
 * @category Interop
 *
@@ -1225,7 +1228,13 @@ function DoAsync() {
 * ```
 */
 function fromNullable(value, onAbsent) {
-	return value === null || value === void 0 ? Err(onAbsent()) : Ok(value);
+	if (value !== null && value !== void 0) return Ok(value);
+	try {
+		const error = onAbsent();
+		return isThenable(error) ? thenableReturnDefect(error, "unthrown: fromNullable's onAbsent must be synchronous — it returned a thenable") : Err(error);
+	} catch (cause) {
+		return defectRes(cause);
+	}
 }
 /**
 * Wrap a throwing synchronous function so it returns a {@link Result} instead of

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "unthrown",
-  "version": "5.12.0",
+  "version": "5.12.1",
   "description": "Explicit errors as values, with a separate defect (panic) channel",
   "keywords": [
     "defect",