aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Reduce.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-07-23 22:05:32 +0200
committerYann Herklotz <git@yannherklotz.com>2019-07-23 22:05:41 +0200
commit992e91427fccff43f8ab1944131b8f62f9328f0d (patch)
tree1108e017b2c172da02dde8d07d17f0eda7bc23f9 /src/VeriFuzz/Reduce.hs
parent24382ce10ed53724ad2d097a7ed2397806be3e67 (diff)
downloadverismith-992e91427fccff43f8ab1944131b8f62f9328f0d.tar.gz
verismith-992e91427fccff43f8ab1944131b8f62f9328f0d.zip
Add new maintainer email
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
-rw-r--r--src/VeriFuzz/Reduce.hs28
1 files changed, 12 insertions, 16 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs
index 6bae371..61b7bba 100644
--- a/src/VeriFuzz/Reduce.hs
+++ b/src/VeriFuzz/Reduce.hs
@@ -3,7 +3,7 @@ Module : VeriFuzz.Reduce
Description : Test case reducer implementation.
Copyright : (c) 2019, Yann Herklotz
License : GPL-3
-Maintainer : ymherklotz [at] gmail [dot] com
+Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
@@ -35,22 +35,18 @@ module VeriFuzz.Reduce
)
where
-import Control.Lens hiding ( (<.>) )
-import Control.Monad ( void )
-import Control.Monad.IO.Class ( MonadIO
- , liftIO
- )
-import Data.Foldable ( foldrM )
-import Data.List ( nub )
-import Data.List.NonEmpty ( NonEmpty(..) )
-import qualified Data.List.NonEmpty as NonEmpty
-import Data.Maybe ( mapMaybe )
-import Data.Text ( Text )
-import Shelly ( (<.>) )
+import Control.Lens hiding ((<.>))
+import Control.Monad (void)
+import Control.Monad.IO.Class (MonadIO, liftIO)
+import Data.Foldable (foldrM)
+import Data.List (nub)
+import Data.List.NonEmpty (NonEmpty (..))
+import qualified Data.List.NonEmpty as NonEmpty
+import Data.Maybe (mapMaybe)
+import Data.Text (Text)
+import Shelly ((<.>))
import qualified Shelly
-import Shelly.Lifted ( MonadSh
- , liftSh
- )
+import Shelly.Lifted (MonadSh, liftSh)
import VeriFuzz.Internal
import VeriFuzz.Result
import VeriFuzz.Sim