From efe0ab336144d2d965bf355db02762f5cf539c7f Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Sat, 14 Jan 2023 10:37:51 +0530
Subject: feat: adds func to try/catch

---
 examples/file.ts | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'examples')

diff --git a/examples/file.ts b/examples/file.ts
index 2cc2b7a..5af04da 100644
--- a/examples/file.ts
+++ b/examples/file.ts
@@ -7,11 +7,12 @@ interface PrintK extends Kind1<string> {
   return: PutStringLn<this['input']>
 }
 
-interface ConstK<Val> extends Kind1<unknown, Val> {
-  return: Val
-}
-
 export type main = [
-  Bind<ReadFile<'./default.nix'>, PrintK>,
-  Bind<Try<ReadFile<'./unicorn'>, ConstK<'hello world'>>, PrintK>
+  Bind<ReadFile<'./default.nix'>, <contents extends string>() =>
+    PutStringLn<contents>>,
+
+  Try<
+    Bind<ReadFile<'./unicorn'>, PrintK>,
+    <M extends string>() => PutStringLn<`ERROR: ${M}`>
+  >
 ]
-- 
cgit v1.3.1