From 5f5ea35c634cd97710eb953f930cc4d468c948ce Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Wed, 4 Jan 2023 18:44:00 +0530
Subject: feat: pics send quick. runtime with effects donezo

---
 src/index.ts | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)

(limited to 'src/index.ts')

diff --git a/src/index.ts b/src/index.ts
index e69de29..accde98 100644
--- a/src/index.ts
+++ b/src/index.ts
@@ -0,0 +1,39 @@
+export interface EffectAtom<T = unknown> { output: T }
+export type Effect = EffectAtom[]
+
+export interface PrintString<_ extends string> extends EffectAtom { }
+export interface Print<_ extends any> extends EffectAtom { }
+// interface Debug<_ extends string, T> extends EffectAtom<T> { }
+
+export interface WriteFile<_Path extends string, _Content extends string> extends EffectAtom { }
+export interface ReadFile<_Path extends string> extends EffectAtom<string> { }
+
+export interface Program<Effs extends Effect, ExitCode extends number = 0> {
+  effects: Effs,
+  exitCode: ExitCode,
+}
+
+export interface Kind<Inp = unknown, Out = unknown> {
+  input: Inp
+  return: Out
+}
+
+export interface WriteFileC extends Kind<string> {
+  return: WriteFile<"./somefile.txt", this['input']>
+}
+
+export interface ChainIO<Eff extends EffectAtom, Fn extends Kind> extends EffectAtom {
+  input: Eff
+  chainTo: Fn
+}
+
+export type main = Program<[
+  [1, 2, 3] extends infer Res ? Print<Res> : never,
+  Print<"bye bye">,
+  ReadFile<"./.gitignore">,
+
+  ChainIO<
+    ReadFile<"./default.nix">,
+    WriteFileC
+  >,
+]>
-- 
cgit v1.3.1