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/NDT.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'events/src/Events/Types/NDT.hs') diff --git a/events/src/Events/Types/NDT.hs b/events/src/Events/Types/NDT.hs index f6d3000..848ad39 100644 --- a/events/src/Events/Types/NDT.hs +++ b/events/src/Events/Types/NDT.hs @@ -24,6 +24,7 @@ import Control.Monad.Identity import Control.Monad.Trans import Control.Monad.Reader (MonadReader(..)) import Control.Monad.Trans.Maybe +import Control.Monad.Catch (MonadThrow(..)) import Debug.Trace @@ -72,6 +73,9 @@ instance MonadReader r m => MonadReader r (NDT m) where instance MonadIO m => MonadIO (NDT m) where liftIO = lift . liftIO +instance MonadThrow m => MonadThrow (NDT m) where + throwM = lift . throwM + empty :: Applicative m => NDT m a empty = NDTCons $ pure Nothing -- cgit v1.2.3