From 97817711d3eebaacc354a77aa83bc9544cc87d42 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Sat, 14 Jan 2023 11:26:56 +0530
Subject: feat: adds bindto with scopes

---
 src/types.ts | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/types.ts')

diff --git a/src/types.ts b/src/types.ts
index c0258db..411c8ed 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -29,5 +29,11 @@ export interface Ctx {
   runCustomEffect: (name: string, args: Type[]) => Promise<string[]>
   hasCustomEffect: (name: string) => boolean
 
-  evaluateType: (ctx: Ctx, effTyp: Type) => Promise<string[]>
+  evaluateType: (ctx: Ctx, effTyp: Type) => Promise<string[]>,
+
+  withScope: (fn: () => Promise<string[]>) => (() => Promise<string[]>),
+  newScope: () => void,
+  clearScope: () => void,
+  addToScope: (name: string, resKey: string) => void,
+  getKeyInScope: (name: string) => string | undefined,
 }
-- 
cgit v1.3.1