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 | |
parent | 485ad904c33e767331dfb4794032f71f97432c07 (diff) | |
download | verismith-2735618d3104ea0943ae4b2c9a72c752b02ace51.tar.gz verismith-2735618d3104ea0943ae4b2c9a72c752b02ace51.zip |
Applying stylish-haskell
-rw-r--r-- | src/VeriFuzz/Internal/Simulator.hs | 18 | ||||
-rw-r--r-- | src/VeriFuzz/Internal/Template.hs | 10 |
2 files changed, 13 insertions, 15 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. diff --git a/src/VeriFuzz/Internal/Template.hs b/src/VeriFuzz/Internal/Template.hs index b360bdd..70216bc 100644 --- a/src/VeriFuzz/Internal/Template.hs +++ b/src/VeriFuzz/Internal/Template.hs @@ -14,12 +14,12 @@ Template file for different configuration files. module VeriFuzz.Internal.Template where -import Control.Lens ( (^..) ) -import Data.Text ( Text ) -import qualified Data.Text as T -import Prelude hiding ( FilePath ) +import Control.Lens ((^..)) +import Data.Text (Text) +import qualified Data.Text as T +import Prelude hiding (FilePath) import Shelly -import Text.Shakespeare.Text ( st ) +import Text.Shakespeare.Text (st) import VeriFuzz.AST import VeriFuzz.Internal.Simulator |