From 2a0815eeb378b0140ef2885514715fb00db7a11e Mon Sep 17 00:00:00 2001 From: Akshay Nair Date: Sat, 7 Jan 2023 00:53:23 +0530 Subject: refactor: moves stdlib around + package stuff --- stdlib/io.ts | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 stdlib/io.ts (limited to 'stdlib/io.ts') diff --git a/stdlib/io.ts b/stdlib/io.ts new file mode 100644 index 0000000..c78204f --- /dev/null +++ b/stdlib/io.ts @@ -0,0 +1,15 @@ +export interface Effect { output: T } + +export interface Kind1 { + 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 { } + -- cgit v1.3.1