diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-07 00:53:23 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-07 00:53:23 +0530 |
| commit | 2a0815eeb378b0140ef2885514715fb00db7a11e (patch) | |
| tree | 6e1c2e2e86269bae4a36f8ffac32d58ca5c6507c /src/stdlib | |
| parent | d5d685253568f8c6855dd873ac3623e0af642d54 (diff) | |
| download | ts-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.ts | 6 | ||||
| -rw-r--r-- | src/stdlib/index.ts | 4 | ||||
| -rw-r--r-- | src/stdlib/io.ts | 15 | ||||
| -rw-r--r-- | src/stdlib/stdio.ts | 12 | ||||
| -rw-r--r-- | src/stdlib/sys.ts | 8 |
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> { } - |
