aboutsummaryrefslogtreecommitdiff
path: root/src/index.ts
diff options
context:
space:
mode:
authorAkshay Nair <phenax5@gmail.com>2023-01-06 17:57:26 +0530
committerAkshay Nair <phenax5@gmail.com>2023-01-06 17:57:26 +0530
commit549440bf01ac5fa76d34d0b263f409a9802121e4 (patch)
tree3e19a0da914c1caf3a38c7321cfd588894253ed4 /src/index.ts
parent395b01feaadb896c1747696cd874bd70de727110 (diff)
downloadts-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.ts8
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,">>,
]>