From 48389d716b32fbb78a3d61f44348c905aa3f0097 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 28 Feb 2018 10:50:02 -0500 Subject: [PATCH] Define a getter for the module evaluator table. --- src/Analysis/Abstract/Evaluator.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/Analysis/Abstract/Evaluator.hs b/src/Analysis/Abstract/Evaluator.hs index d81f8427c..5e00e2349 100644 --- a/src/Analysis/Abstract/Evaluator.hs +++ b/src/Analysis/Abstract/Evaluator.hs @@ -40,6 +40,10 @@ modifyModuleTable :: (Linker value -> Linker value) -> Evaluator effects value ( modifyModuleTable f = Evaluator (modify f) +askModuleEvaluatorTable :: Evaluator effects value (Linker (Evaluator effects value value)) +askModuleEvaluatorTable = Evaluator ask + + data Evaluator effects value a = Evaluator { runEvaluator :: Members '[ Fail