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/Verilog/Gen.hs | |
parent | bb697f8bc7b593e5aabb43505f686e6503b7726f (diff) | |
download | verismith-d32f4cc45bc8c0670fb788b1fcd4c2f2b15fa094.tar.gz verismith-d32f4cc45bc8c0670fb788b1fcd4c2f2b15fa094.zip |
Format files
Diffstat (limited to 'src/VeriFuzz/Verilog/Gen.hs')
-rw-r--r-- | src/VeriFuzz/Verilog/Gen.hs | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/src/VeriFuzz/Verilog/Gen.hs b/src/VeriFuzz/Verilog/Gen.hs index e52a158..0a6ece5 100644 --- a/src/VeriFuzz/Verilog/Gen.hs +++ b/src/VeriFuzz/Verilog/Gen.hs @@ -22,17 +22,18 @@ module VeriFuzz.Verilog.Gen ) where -import Control.Lens hiding (Context) -import Control.Monad (replicateM) -import Control.Monad.Trans.Class (lift) -import Control.Monad.Trans.Reader hiding (local) +import Control.Lens hiding ( Context ) +import Control.Monad ( replicateM ) +import Control.Monad.Trans.Class ( lift ) +import Control.Monad.Trans.Reader + hiding ( local ) import Control.Monad.Trans.State.Strict -import Data.Foldable (fold) -import Data.Functor.Foldable (cata) -import qualified Data.Text as T -import Hedgehog (Gen) -import qualified Hedgehog.Gen as Hog -import qualified Hedgehog.Range as Hog +import Data.Foldable ( fold ) +import Data.Functor.Foldable ( cata ) +import qualified Data.Text as T +import Hedgehog ( Gen ) +import qualified Hedgehog.Gen as Hog +import qualified Hedgehog.Range as Hog import VeriFuzz.Config import VeriFuzz.Internal import VeriFuzz.Verilog.AST |