diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-08 21:24:39 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-08 21:24:39 +0100 |
commit | 7653f8fd33162b8b166a12e125c988663ec2fe79 (patch) | |
tree | 46c0e848e9d4e2a1b6ae08f26f9854d11fea9de0 /src/VeriFuzz/Verilog/CodeGen.hs | |
parent | 4b5401ef3400413be0559dfa17718611822fc4c6 (diff) | |
download | verismith-7653f8fd33162b8b166a12e125c988663ec2fe79.tar.gz verismith-7653f8fd33162b8b166a12e125c988663ec2fe79.zip |
Create Arbitrary module
Diffstat (limited to 'src/VeriFuzz/Verilog/CodeGen.hs')
-rw-r--r-- | src/VeriFuzz/Verilog/CodeGen.hs | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/VeriFuzz/Verilog/CodeGen.hs b/src/VeriFuzz/Verilog/CodeGen.hs index a05309f..c42c880 100644 --- a/src/VeriFuzz/Verilog/CodeGen.hs +++ b/src/VeriFuzz/Verilog/CodeGen.hs @@ -21,14 +21,15 @@ module VeriFuzz.Verilog.CodeGen ) where -import Control.Lens (view, (^.)) -import Data.Foldable (fold) -import Data.Text (Text) -import qualified Data.Text as T -import qualified Data.Text.IO as T -import Numeric (showHex) +import Control.Lens (view, (^.)) +import Data.Foldable (fold) +import Data.Text (Text) +import qualified Data.Text as T +import qualified Data.Text.IO as T +import Numeric (showHex) import VeriFuzz.Internal import VeriFuzz.Sim.Internal +import VeriFuzz.Verilog.Arbitrary import VeriFuzz.Verilog.AST -- | 'Source' class which determines that source code is able to be generated |