diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-01 12:27:35 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-01 12:27:35 +0000 |
commit | 2735618d3104ea0943ae4b2c9a72c752b02ace51 (patch) | |
tree | 3f66a578f9cde858ed74658665fc10073f3cc32d /src/VeriFuzz/Internal/Simulator.hs | |
parent | 485ad904c33e767331dfb4794032f71f97432c07 (diff) | |
download | verismith-2735618d3104ea0943ae4b2c9a72c752b02ace51.tar.gz verismith-2735618d3104ea0943ae4b2c9a72c752b02ace51.zip |
Applying stylish-haskell
Diffstat (limited to 'src/VeriFuzz/Internal/Simulator.hs')
-rw-r--r-- | src/VeriFuzz/Internal/Simulator.hs | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/src/VeriFuzz/Internal/Simulator.hs b/src/VeriFuzz/Internal/Simulator.hs index b9ffbab..5712709 100644 --- a/src/VeriFuzz/Internal/Simulator.hs +++ b/src/VeriFuzz/Internal/Simulator.hs @@ -12,17 +12,15 @@ Class of the simulator and the synthesize tool. module VeriFuzz.Internal.Simulator where -import Control.Lens ( (^.) - , (^..) - ) -import Data.Bits ( shiftL ) -import Data.ByteString ( ByteString ) -import qualified Data.ByteString as B -import Data.Text ( Text ) -import qualified Data.Text as T -import Prelude hiding ( FilePath ) +import Control.Lens ((^.), (^..)) +import Data.Bits (shiftL) +import Data.ByteString (ByteString) +import qualified Data.ByteString as B +import Data.Text (Text) +import qualified Data.Text as T +import Prelude hiding (FilePath) import Shelly -import System.FilePath.Posix ( takeBaseName ) +import System.FilePath.Posix (takeBaseName) import VeriFuzz.AST -- | Tool class. |