From a56f093bf08780ab7ed7ef196f031c193a522922 Mon Sep 17 00:00:00 2001 From: Akshay Nair Date: Fri, 6 Jan 2023 20:07:28 +0530 Subject: feat: we got custom effects baebeeyyy --- src/stdlib/io.ts | 17 ++++------------- 1 file changed, 4 insertions(+), 13 deletions(-) (limited to 'src/stdlib/io.ts') diff --git a/src/stdlib/io.ts b/src/stdlib/io.ts index c1e4574..d8e3ed2 100644 --- a/src/stdlib/io.ts +++ b/src/stdlib/io.ts @@ -1,22 +1,13 @@ -export interface EffectAtom { output: T } -export type Effect = EffectAtom[] +export interface Effect { output: T } export interface Kind1 { input: Inp return: Out } -export interface Program { - effects: Effs, - exitCode: ExitCode, -} +export interface Bind<_Eff extends Effect, _Fn extends Kind1> extends Effect { } -export interface Bind extends EffectAtom { - input: Eff - chainTo: Fn -} +export interface Seq<_Effs extends Effect[]> extends Effect { } -export interface Seq extends EffectAtom { - effects: Effs -} +export interface DefineEffect<_Name extends string, _Func extends string> extends Effect { } -- cgit v1.3.1