diff options
author | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-08-05 13:21:32 +0200 |
---|---|---|
committer | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-08-05 13:21:32 +0200 |
commit | f5311120a05081ee67de73057f1057e6f54b40e2 (patch) | |
tree | 11688cb6c0f28e3aa7a946c188b4fdf8f7b76433 /events/src/Events/Types/NDT.hs | |
parent | 10be4c21eba0c4df2d2cf03f2d5adb547fb08e0a (diff) | |
download | events-f5311120a05081ee67de73057f1057e6f54b40e2.tar events-f5311120a05081ee67de73057f1057e6f54b40e2.tar.gz events-f5311120a05081ee67de73057f1057e6f54b40e2.tar.bz2 events-f5311120a05081ee67de73057f1057e6f54b40e2.tar.xz events-f5311120a05081ee67de73057f1057e6f54b40e2.zip |
formulate interpret as a Sink
Diffstat (limited to 'events/src/Events/Types/NDT.hs')
-rw-r--r-- | events/src/Events/Types/NDT.hs | 4 |
1 files changed, 4 insertions, 0 deletions
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 | |||
24 | import Control.Monad.Trans | 24 | import Control.Monad.Trans |
25 | import Control.Monad.Reader (MonadReader(..)) | 25 | import Control.Monad.Reader (MonadReader(..)) |
26 | import Control.Monad.Trans.Maybe | 26 | import Control.Monad.Trans.Maybe |
27 | import Control.Monad.Catch (MonadThrow(..)) | ||
27 | 28 | ||
28 | import Debug.Trace | 29 | import Debug.Trace |
29 | 30 | ||
@@ -72,6 +73,9 @@ instance MonadReader r m => MonadReader r (NDT m) where | |||
72 | instance MonadIO m => MonadIO (NDT m) where | 73 | instance MonadIO m => MonadIO (NDT m) where |
73 | liftIO = lift . liftIO | 74 | liftIO = lift . liftIO |
74 | 75 | ||
76 | instance MonadThrow m => MonadThrow (NDT m) where | ||
77 | throwM = lift . throwM | ||
78 | |||
75 | empty :: Applicative m => NDT m a | 79 | empty :: Applicative m => NDT m a |
76 | empty = NDTCons $ pure Nothing | 80 | empty = NDTCons $ pure Nothing |
77 | 81 | ||