diff options
| -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 |