From 5aad91f273f39ba1a11143585835e757a57de234 Mon Sep 17 00:00:00 2001 From: Akshay Nair Date: Mon, 9 Jan 2023 20:13:33 +0530 Subject: refactor: moves stuff around --- stdlib/effect.ts | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 stdlib/effect.ts (limited to 'stdlib/effect.ts') diff --git a/stdlib/effect.ts b/stdlib/effect.ts new file mode 100644 index 0000000..5be1758 --- /dev/null +++ b/stdlib/effect.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 {} + -- cgit v1.3.1