@@ -11,7 +11,6 @@ import Control.Monad.Base
11import Control.Monad.Catch
11import Control.Monad.Catch
12import Control.Monad.Except
12import Control.Monad.Except
13import Control.Monad.State.Strict
13import Control.Monad.State.Strict
14−import Control.Monad.Trans.Lift.Local
15import Data.Aeson
14import Data.Aeson
16import Data.Foldable as F
15import Data.Foldable as F
17import Data.List as L
16import Data.List as L
@@ -32,9 +31,6 @@ newtype ValidationT e m a = ValidationT
32instance MonadTrans (ValidationT e) where
31instance MonadTrans (ValidationT e) where
33 lift = ValidationT . lift . lift
32 lift = ValidationT . lift . lift
35−instance LiftLocal (ValidationT e) where
36− liftLocal _ l f = ValidationT . mapExceptT (mapStateT $ l f) . unValidationT
38-- | Map with 'Monoid' instance which 'mappend' its values
34-- | Map with 'Monoid' instance which 'mappend' its values
39newtype MonoidMap k v = MonoidMap (Map k v)
35newtype MonoidMap k v = MonoidMap (Map k v)
40 deriving (Eq, Ord, Show, Arbitrary)
36 deriving (Eq, Ord, Show, Arbitrary)