From f5311120a05081ee67de73057f1057e6f54b40e2 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Fri, 5 Aug 2016 13:21:32 +0200 Subject: formulate interpret as a Sink --- events/src/Events/Types.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'events/src/Events/Types.hs') diff --git a/events/src/Events/Types.hs b/events/src/Events/Types.hs index 6a8517b..ec4f62d 100644 --- a/events/src/Events/Types.hs +++ b/events/src/Events/Types.hs @@ -27,6 +27,7 @@ import Events.Types.NDT (NDT, foldNDT) import Control.Monad.State.Lazy import Control.Monad.Reader +import Control.Monad.Catch (MonadThrow) import Control.Applicative (Alternative(..)) @@ -80,6 +81,7 @@ newtype Eval m a = Eval { unEval :: StateT ObjCtx (NDT (ReaderT EvalCtx m)) a } , Alternative , Monad , MonadPlus + , MonadThrow ) instance MonadTrans Eval where -- cgit v1.2.3