diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-06-29 20:33:59 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-06-29 20:33:59 +0100 |
| commit | d32f4cc45bc8c0670fb788b1fcd4c2f2b15fa094 (patch) | |
| tree | 9aee938477a884daa20148b56fc1feef52d4f2c4 /src/VeriFuzz/Config.hs | |
| parent | bb697f8bc7b593e5aabb43505f686e6503b7726f (diff) | |
| download | verismith-d32f4cc45bc8c0670fb788b1fcd4c2f2b15fa094.tar.gz verismith-d32f4cc45bc8c0670fb788b1fcd4c2f2b15fa094.zip | |
Format files
Diffstat (limited to 'src/VeriFuzz/Config.hs')
| -rw-r--r-- | src/VeriFuzz/Config.hs | 26 |
1 files changed, 15 insertions, 11 deletions
diff --git a/src/VeriFuzz/Config.hs b/src/VeriFuzz/Config.hs index 19cdd68..0fc9435 100644 --- a/src/VeriFuzz/Config.hs +++ b/src/VeriFuzz/Config.hs @@ -77,18 +77,22 @@ module VeriFuzz.Config ) where -import Control.Applicative (Alternative) -import Control.Lens hiding ((.=)) -import Data.List.NonEmpty (NonEmpty (..)) -import Data.Maybe (fromMaybe) -import Data.Text (Text, pack) -import qualified Data.Text.IO as T -import Data.Version (showVersion) +import Control.Applicative ( Alternative ) +import Control.Lens hiding ( (.=) ) +import Data.List.NonEmpty ( NonEmpty(..) ) +import Data.Maybe ( fromMaybe ) +import Data.Text ( Text + , pack + ) +import qualified Data.Text.IO as T +import Data.Version ( showVersion ) import Development.GitRev -import Hedgehog.Internal.Seed (Seed) -import Paths_verifuzz (version) -import Shelly (toTextIgnore) -import Toml (TomlCodec, (.=)) +import Hedgehog.Internal.Seed ( Seed ) +import Paths_verifuzz ( version ) +import Shelly ( toTextIgnore ) +import Toml ( TomlCodec + , (.=) + ) import qualified Toml import VeriFuzz.Sim.Quartus import VeriFuzz.Sim.Vivado |