ciiqr · February 12, 2023 02:38 · Feb 12, 2023 · Jan 25, 2023 · Jan 25, 2023
diff --git a/1-result-union.ts b/1-result-union.ts
@@ -0,0 +1,12 @@
+// preferred implementation
+export type Result<T, E extends Error> =
+    | { readonly ok: false; readonly error: E }
+    | { readonly ok: true; readonly value: T };
+
+export function Ok<T>(value: T) {
+    return { ok: true, value } as const;
+}
+
+export function Err<E extends Error>(error: E) {
+    return { ok: false, error } as const;
+}
diff --git a/explicit-return.ts b/explicit-return.ts
@@ -40,7 +40,7 @@ export class Err<E extends Error> implements Result<never, E> {
 const idk = maybeIdk();
 if (idk.isOk()) {
     if (idk.isOk()) {
-        //
+        // Unnecessary conditional, value is always truthy.
     }
     console.log(idk);
     console.log(idk.value);

diff --git a/implicit-return.ts b/implicit-return.ts
@@ -40,7 +40,7 @@ export class Err<E extends Error> implements Result<never, E> {
 const idk = maybeIdk();
 if (idk.isOk()) {
     if (idk.isOk()) {
-        //
+        // no warnings
     }
     console.log(idk);
     console.log(idk.value);

diff --git a/explicit-return.ts b/explicit-return.ts
@@ -0,0 +1,61 @@
+// explicit-return
+export interface Result<T, E extends Error> {
+    isOk: () => this is Ok<T>;
+    isErr: () => this is Err<E>;
+    unwrap: () => T;
+}
+
+export class Ok<T> implements Result<T, never> {
+    constructor(readonly value: T) {}
+
+    isOk() {
+        return true as const;
+    }
+
+    isErr() {
+        return false as const;
+    }
+
+    unwrap() {
+        return this.value;
+    }
+}
+
+export class Err<E extends Error> implements Result<never, E> {
+    constructor(public error: E) {}
+
+    isOk() {
+        return false as const;
+    }
+
+    isErr() {
+        return true as const;
+    }
+
+    unwrap(): never {
+        throw new Error("unwrap....");
+    }
+}
+
+const idk = maybeIdk();
+if (idk.isOk()) {
+    if (idk.isOk()) {
+        //
+    }
+    console.log(idk);
+    console.log(idk.value);
+}
+
+const idk2 = maybeIdk(true);
+if (idk2.isErr()) {
+    console.error(idk2);
+    console.error(idk2.error);
+}
+
+export function maybeIdk(beep?: boolean): Result<string, Error> {
+    if (beep) {
+        return new Err(new Error("beep"));
+    }
+
+    return new Ok("boop");
+}
diff --git a/implicit-return.ts b/implicit-return.ts
@@ -0,0 +1,61 @@
+// implicit-return
+export interface Result<T, E extends Error> {
+    isOk: () => this is Ok<T>;
+    isErr: () => this is Err<E>;
+    unwrap: () => T;
+}
+
+export class Ok<T> implements Result<T, never> {
+    constructor(readonly value: T) {}
+
+    isOk(): this is Ok<T> {
+        return true;
+    }
+
+    isErr(): this is never {
+        return false;
+    }
+
+    unwrap() {
+        return this.value;
+    }
+}
+
+export class Err<E extends Error> implements Result<never, E> {
+    constructor(public error: E) {}
+
+    isOk(): this is never {
+        return false;
+    }
+
+    isErr(): this is Err<E> {
+        return true;
+    }
+
+    unwrap(): never {
+        throw new Error("unwrap....");
+    }
+}
+
+const idk = maybeIdk();
+if (idk.isOk()) {
+    if (idk.isOk()) {
+        //
+    }
+    console.log(idk);
+    console.log(idk.value);
+}
+
+const idk2 = maybeIdk(true);
+if (idk2.isErr()) {
+    console.error(idk2);
+    console.error(idk2.error);
+}
+
+export function maybeIdk(beep?: boolean) {
+    if (beep) {
+        return new Err(new Error("beep"));
+    }
+
+    return new Ok("boop");
+}
diff --git a/readme.md b/readme.md
@@ -0,0 +1 @@
+TODO: impl more functions, ie. same as: https://github.com/OliverBrotchie/optionals/blob/main/src/result.ts
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		TODO: impl more functions, ie. same as: https://github.com/OliverBrotchie/optionals/blob/main/src/result.ts