From 31c433fe0227f4977d4bce80585457323a94fd4d Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 22 Mar 2018 19:24:19 -0400 Subject: [PATCH] Define an EvaluateModule exception/request type. --- src/Control/Abstract/Evaluator.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Control/Abstract/Evaluator.hs b/src/Control/Abstract/Evaluator.hs index bbcc60a6d..74ebbcb07 100644 --- a/src/Control/Abstract/Evaluator.hs +++ b/src/Control/Abstract/Evaluator.hs @@ -158,3 +158,6 @@ class Monad m => MonadControl term m where class Monad m => MonadThrow exc v m where throwException :: exc -> m v + +newtype EvaluateModule term = EvaluateModule (Module term) + deriving (Eq, Foldable, Functor, Ord, Show, Traversable)