diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-19 00:42:34 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-19 00:42:34 +0100 |
commit | 4adb8899ca5ed7f9671ba9a5f9d2e533ba0e5194 (patch) | |
tree | c08061b056fff62f4b6ead130502acbd6fd4ceb5 | |
parent | 5253b49c295213c80b006bf6e1063d2f09abb66e (diff) | |
download | verismith-4adb8899ca5ed7f9671ba9a5f9d2e533ba0e5194.tar.gz verismith-4adb8899ca5ed7f9671ba9a5f9d2e533ba0e5194.zip |
Fix some suggestions in Result.hs
-rw-r--r-- | src/VeriFuzz/Result.hs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/VeriFuzz/Result.hs b/src/VeriFuzz/Result.hs index c618c77..4d1f5b8 100644 --- a/src/VeriFuzz/Result.hs +++ b/src/VeriFuzz/Result.hs @@ -27,7 +27,6 @@ module VeriFuzz.Result ) where -import Control.Monad (liftM) import Control.Monad.Base import Control.Monad.IO.Class import Control.Monad.Trans.Class @@ -104,13 +103,11 @@ instance MonadBase b m => MonadBase b (ResultT a m) where liftBase = liftBaseDefault instance MonadTrans (ResultT e) where - lift m = ResultT $ do - a <- m - return (Pass a) + lift m = ResultT $ Pass <$> m instance MonadTransControl (ResultT a) where type StT (ResultT a) b = Result a b - liftWith f = ResultT $ liftM return $ f $ runResultT + liftWith f = ResultT $ return <$> f runResultT restoreT = ResultT {-# INLINABLE liftWith #-} {-# INLINABLE restoreT #-} |