diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-06 17:57:26 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-06 17:57:26 +0530 |
| commit | 549440bf01ac5fa76d34d0b263f409a9802121e4 (patch) | |
| tree | 3e19a0da914c1caf3a38c7321cfd588894253ed4 /src/index.ts | |
| parent | 395b01feaadb896c1747696cd874bd70de727110 (diff) | |
| download | ts-types-lang-549440bf01ac5fa76d34d0b263f409a9802121e4.tar.gz ts-types-lang-549440bf01ac5fa76d34d0b263f409a9802121e4.zip | |
refactor: uses uuid instead of your shitty math.random bullshit
Diffstat (limited to '')
| -rw-r--r-- | src/index.ts | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/index.ts b/src/index.ts index b8a69ac..aad0c00 100644 --- a/src/index.ts +++ b/src/index.ts @@ -13,7 +13,7 @@ export interface GetArgs extends EffectAtom<string[]> { } export interface ReadLine extends EffectAtom<string> { } -export interface JsExpr<_Expr extends string> extends EffectAtom<any> {} +export interface JsExpr<_Expr extends string> extends EffectAtom<any> { } export interface Program<Effs extends Effect, ExitCode extends number = 0> { effects: Effs, @@ -34,10 +34,6 @@ interface PrintK<Label extends string = ""> extends Kind1<unknown> { return: Debug<Label, this['input']> } -// interface WithInputK extends Kind1<string> { -// return: ChainIO<ReadLine, PrintK<this['input']>> -// } - export type main = Program<[ ChainIO<GetArgs, PrintK>, [1, 2, 3] extends infer Res ? Print<Res> : never, @@ -46,6 +42,6 @@ export type main = Program<[ // ChainIO<ReadLine, WithInputK>, ChainIO<ReadFile<"./default.nix">, PrintK>, PutString<"Your name? ">, - ChainIO<ReadLine, PrintK<"Hello,">>, + // ChainIO<ReadLine, PrintK<"Hello,">>, ]> |
