@@ -1,4 +1,3 @@
2{-# LANGUAGE DeriveFunctor #-}
1{-# LANGUAGE DeriveFunctor #-}
3{-# LANGUAGE FlexibleInstances #-}
2{-# LANGUAGE FlexibleInstances #-}
4{-# LANGUAGE FunctionalDependencies #-}
3{-# LANGUAGE FunctionalDependencies #-}
@@ -16,13 +15,11 @@ import Prelude ()
16import Prelude.Compat
15import Prelude.Compat
18import Control.Monad
17import Control.Monad
19−import Control.Monad.Trans
20import Control.Monad.Cont (ContT)
18import Control.Monad.Cont (ContT)
21−#if __GLASGOW_HASKELL__ >= 710
22−import Control.Monad.Except (ExceptT)
24import Control.Monad.List (ListT)
19import Control.Monad.List (ListT)
25import Control.Monad.Reader (ReaderT)
20import Control.Monad.Reader (ReaderT)
21+import Control.Monad.Trans
22+import Control.Monad.Trans.Except (ExceptT)
26import Control.Monad.Trans.Identity (IdentityT)
23import Control.Monad.Trans.Identity (IdentityT)
27import Control.Monad.Trans.Maybe (MaybeT)
24import Control.Monad.Trans.Maybe (MaybeT)
28import Control.Monad.Trans.Writer.Lazy as Lazy
25import Control.Monad.Trans.Writer.Lazy as Lazy
@@ -154,11 +151,9 @@ instance MonadDeclare d m => MonadDeclare d (ContT r m) where
154 declare = lift . declare
151 declare = lift . declare
155 look = lift look
152 look = lift look
157−#if __GLASGOW_HASKELL__ >= 710
158instance MonadDeclare d m => MonadDeclare d (ExceptT e m) where
154instance MonadDeclare d m => MonadDeclare d (ExceptT e m) where
159 declare = lift . declare
155 declare = lift . declare
160 look = lift look
156 look = lift look
163instance MonadDeclare d m => MonadDeclare d (IdentityT m) where
158instance MonadDeclare d m => MonadDeclare d (IdentityT m) where
164 declare = lift . declare
159 declare = lift . declare