aboutsummaryrefslogtreecommitdiff
path: root/src/stdlib
diff options
context:
space:
mode:
authorAkshay Nair <phenax5@gmail.com>2023-01-07 00:53:23 +0530
committerAkshay Nair <phenax5@gmail.com>2023-01-07 00:53:23 +0530
commit2a0815eeb378b0140ef2885514715fb00db7a11e (patch)
tree6e1c2e2e86269bae4a36f8ffac32d58ca5c6507c /src/stdlib
parentd5d685253568f8c6855dd873ac3623e0af642d54 (diff)
downloadts-types-lang-2a0815eeb378b0140ef2885514715fb00db7a11e.tar.gz
ts-types-lang-2a0815eeb378b0140ef2885514715fb00db7a11e.zip
refactor: moves stdlib around + package stuff
Diffstat (limited to 'src/stdlib')
-rw-r--r--src/stdlib/fs.ts6
-rw-r--r--src/stdlib/index.ts4
-rw-r--r--src/stdlib/io.ts15
-rw-r--r--src/stdlib/stdio.ts12
-rw-r--r--src/stdlib/sys.ts8
5 files changed, 0 insertions, 45 deletions
diff --git a/src/stdlib/fs.ts b/src/stdlib/fs.ts
deleted file mode 100644
index 1374da5..0000000
--- a/src/stdlib/fs.ts
+++ /dev/null
@@ -1,6 +0,0 @@
-import { Effect } from './io'
-
-export interface WriteFile<_Path extends string, _Content extends string> extends Effect { }
-
-export interface ReadFile<_Path extends string> extends Effect<string> { }
-
diff --git a/src/stdlib/index.ts b/src/stdlib/index.ts
deleted file mode 100644
index 45197d9..0000000
--- a/src/stdlib/index.ts
+++ /dev/null
@@ -1,4 +0,0 @@
-export * from './io'
-export * from './fs'
-export * from './stdio'
-export * from './sys'
diff --git a/src/stdlib/io.ts b/src/stdlib/io.ts
deleted file mode 100644
index c78204f..0000000
--- a/src/stdlib/io.ts
+++ /dev/null
@@ -1,15 +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/src/stdlib/stdio.ts b/src/stdlib/stdio.ts
deleted file mode 100644
index 365aead..0000000
--- a/src/stdlib/stdio.ts
+++ /dev/null
@@ -1,12 +0,0 @@
-import { Effect } from './io'
-
-export interface PutString<_ extends string> extends Effect { }
-
-export interface Print<_ extends any> extends Effect { }
-
-export interface Debug<_ extends string, T> extends Effect<T> { }
-
-export interface ReadLine extends Effect<string> { }
-
-export type PutStringLn<S extends string> = PutString<`${S}\n`>
-
diff --git a/src/stdlib/sys.ts b/src/stdlib/sys.ts
deleted file mode 100644
index 03541be..0000000
--- a/src/stdlib/sys.ts
+++ /dev/null
@@ -1,8 +0,0 @@
-import { Effect } from './io'
-
-export interface GetEnv<_Name extends string> extends Effect<string> { }
-
-export interface GetArgs extends Effect<string[]> { }
-
-export interface JsExpr<_Expr extends string> extends Effect<any> { }
-