1 files changed, 34 insertions, 0 deletions
diff --git a/environment.h b/environment.h
new file mode 100644
index 0000000..5776122
--- /dev/null
+++ b/environment.h
@@ -0,0 +1,34 @@
+#pragma once
+
+#include <functional>
+#include <unordered_set>
+#include <unordered_map>
+#include "ast.h"
+#include "global.h"
+
+using namespace std;
+
+
+class Environment{
+public:
+	using Hook = function<AST(Environment&,const AST&)>;
+	using Hook2 = function<AST(Environment&,const AST&,const AST&)>;
+
+private:
+	unordered_map<string,AST> defs;
+	unordered_map<string,Hook> hooks;
+
+	void reduce(AST &ast,i64 depth=0);
+	bool betareduce(AST &ast,i64 depth);
+
+public:
+	void load(const Environment &other);
+
+	AST run(const AST &ast);
+
+	void define(const Name &name,const AST &ast);
+	void define(const Name &name,const Hook &hook);
+	void define2(const Name &name,const Hook2 &hook2);
+
+	AST get(const Name &name);
+};