feat: adds try/catch effects

1 files changed, 15 insertions, 1 deletions

diff --git a/examples/file.ts b/examples/file.ts
index d91b68a..fd5728b 100644
--- a/examples/file.ts
+++ b/examples/file.ts
@@ -1,9 +1,23 @@
 import { Bind, Kind1 } from '../stdlib/effect'
 import { PutStringLn } from '../stdlib/stdio'
 import { ReadFile } from '../stdlib/fs'
+import { Try } from '../stdlib/exception'
 
 interface PrintK extends Kind1<string> {
   return: PutStringLn<this['input']>
 }
 
-export type main = Bind<ReadFile<'./default.nix'>, PrintK>
+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
+  >,
+]