From 5aad91f273f39ba1a11143585835e757a57de234 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Mon, 9 Jan 2023 20:13:33 +0530
Subject: refactor: moves stuff around

---
 stdlib/effect.ts | 15 +++++++++++++++
 stdlib/fs.ts     |  2 +-
 stdlib/index.ts  |  4 ----
 stdlib/io.ts     | 17 -----------------
 stdlib/stdio.ts  |  2 +-
 stdlib/sys.ts    |  5 ++++-
 stdlib/util.ts   |  2 +-
 7 files changed, 22 insertions(+), 25 deletions(-)
 create mode 100644 stdlib/effect.ts
 delete mode 100644 stdlib/index.ts
 delete mode 100644 stdlib/io.ts

(limited to 'stdlib')

diff --git a/stdlib/effect.ts b/stdlib/effect.ts
new file mode 100644
index 0000000..5be1758
--- /dev/null
+++ b/stdlib/effect.ts
@@ -0,0 +1,15 @@
+export interface Effect<T = unknown> {
+  output: T
+}
+
+export interface Kind1<Inp = unknown, Out = unknown> {
+  input: Inp
+  return: Out
+}
+
+export interface Bind<_Eff extends Effect, _Fn extends Kind1> extends Effect {}
+
+export interface Seq<_Effs extends Effect[]> extends Effect {}
+
+export interface Do<_Effs extends Effect[]> extends Effect {}
+
diff --git a/stdlib/fs.ts b/stdlib/fs.ts
index f7014ff..fb269c2 100644
--- a/stdlib/fs.ts
+++ b/stdlib/fs.ts
@@ -1,4 +1,4 @@
-import { Effect } from './io'
+import { Effect } from './effect'
 
 export interface WriteFile<_Path extends string, _Content extends string>
   extends Effect {}
diff --git a/stdlib/index.ts b/stdlib/index.ts
deleted file mode 100644
index 45197d9..0000000
--- a/stdlib/index.ts
+++ /dev/null
@@ -1,4 +0,0 @@
-export * from './io'
-export * from './fs'
-export * from './stdio'
-export * from './sys'
diff --git a/stdlib/io.ts b/stdlib/io.ts
deleted file mode 100644
index c37cd32..0000000
--- a/stdlib/io.ts
+++ /dev/null
@@ -1,17 +0,0 @@
-export interface Effect<T = unknown> {
-  output: T
-}
-
-export interface Kind1<Inp = unknown, Out = unknown> {
-  input: Inp
-  return: Out
-}
-
-export interface Bind<_Eff extends Effect, _Fn extends Kind1> extends Effect {}
-
-export interface Seq<_Effs extends Effect[]> extends Effect {}
-
-export interface Do<_Effs extends Effect[]> extends Effect {}
-
-export interface DefineEffect<_Name extends string, _Func extends string>
-  extends Effect {}
diff --git a/stdlib/stdio.ts b/stdlib/stdio.ts
index 77aa031..e7d72f3 100644
--- a/stdlib/stdio.ts
+++ b/stdlib/stdio.ts
@@ -1,4 +1,4 @@
-import { Effect } from './io'
+import { Effect } from './effect'
 
 export interface PutString<_ extends string> extends Effect {}
 
diff --git a/stdlib/sys.ts b/stdlib/sys.ts
index afa5dbd..e170c6c 100644
--- a/stdlib/sys.ts
+++ b/stdlib/sys.ts
@@ -1,7 +1,10 @@
-import { Effect } from './io'
+import { Effect } from './effect'
 
 export interface GetEnv<_Name extends string> extends Effect<string> {}
 
 export interface GetArgs extends Effect<string[]> {}
 
 export interface JsExpr<_Expr extends string> extends Effect<any> {}
+
+export interface DefineEffect<_Name extends string, _Func extends string>
+  extends Effect {}
diff --git a/stdlib/util.ts b/stdlib/util.ts
index 832b0cb..ded9983 100644
--- a/stdlib/util.ts
+++ b/stdlib/util.ts
@@ -1,4 +1,4 @@
-import { Kind1 } from './io'
+import { Kind1 } from './effect'
 
 export type Let<f extends (...args: any) => any> = ReturnType<f>
 
-- 
cgit v1.3.1