From e319818b8cc27450237f4b6b96022458ae478ab2 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Fri, 6 Jan 2023 18:07:26 +0530
Subject: refactor: splits funcs into stdlib

---
 src/stdlib/io.ts | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 src/stdlib/io.ts

(limited to 'src/stdlib/io.ts')

diff --git a/src/stdlib/io.ts b/src/stdlib/io.ts
new file mode 100644
index 0000000..00b74b1
--- /dev/null
+++ b/src/stdlib/io.ts
@@ -0,0 +1,18 @@
+export interface EffectAtom<T = unknown> { output: T }
+export type Effect = EffectAtom[]
+
+export interface Kind1<Inp = unknown, Out = unknown> {
+  input: Inp
+  return: Out
+}
+
+export interface Program<Effs extends Effect, ExitCode extends number = 0> {
+  effects: Effs,
+  exitCode: ExitCode,
+}
+
+export interface Bind<Eff extends EffectAtom, Fn extends Kind1> extends EffectAtom {
+  input: Eff
+  chainTo: Fn
+}
+
-- 
cgit v1.3.1