diff --git a/src/Control/Monad/Validation.hs b/src/Control/Monad/Validation.hs index 1e8c80d..6039ca1 100644 --- a/src/Control/Monad/Validation.hs +++ b/src/Control/Monad/Validation.hs @@ -11,7 +11,6 @@ import Control.Monad.Base import Control.Monad.Catch import Control.Monad.Except import Control.Monad.State.Strict -import Control.Monad.Trans.Lift.Local import Data.Aeson import Data.Foldable as F import Data.List as L @@ -32,9 +31,6 @@ newtype ValidationT e m a = ValidationT instance MonadTrans (ValidationT e) where lift = ValidationT . lift . lift -instance LiftLocal (ValidationT e) where - liftLocal _ l f = ValidationT . mapExceptT (mapStateT $ l f) . unValidationT - -- | Map with 'Monoid' instance which 'mappend' its values newtype MonoidMap k v = MonoidMap (Map k v) deriving (Eq, Ord, Show, Arbitrary) diff --git a/validationt.cabal b/validationt.cabal index 58e636c..94cd1e9 100644 --- a/validationt.cabal +++ b/validationt.cabal @@ -35,7 +35,6 @@ library , text , transformers , transformers-base - , transformers-lift , vector hs-source-dirs: src default-language: Haskell2010