From e01cb693bc5737792e2b37abfd98d2d8f81bac4d Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Thu, 10 Aug 2023 22:45:00 +0530
Subject: feat: adds simple evaluator

---
 src/utils/result.ts | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 src/utils/result.ts

(limited to 'src/utils/result.ts')

diff --git a/src/utils/result.ts b/src/utils/result.ts
new file mode 100644
index 0000000..c0120b8
--- /dev/null
+++ b/src/utils/result.ts
@@ -0,0 +1,14 @@
+import { Enum, constructors, match } from "./adt";
+
+export type Result<V, E> = Enum<{ Ok: V, Err: E }>
+export const Result = constructors<Result<any, any>>()
+
+export const mapResult = <A, B, E>(res: Result<A, E>, fn: (_: A) => B): Result<B, E> =>
+  chainResult(res, a => Result.Ok(fn(a)))
+
+export const chainResult = <A, B, E>(res: Result<A, E>, fn: (_: A) => Result<B, E>): Result<B, E> =>
+  match(res, {
+    Ok: a => fn(a),
+    Err: e => Result.Err(e),
+  });
+
-- 
cgit v1.3.1