diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-30 12:03:35 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-30 12:03:35 +0100 |
| commit | 2de15f8f32d48b09a9a2c92c25b6b0b3bb4492e0 (patch) | |
| tree | e3aa69d19c40261a42a25ee8e5ec860d896919eb /src/Test/VeriFuzz/Verilog/Helpers.hs | |
| parent | b25eee73ce7cf8270ccf633443cee88040eaca67 (diff) | |
| download | verismith-2de15f8f32d48b09a9a2c92c25b6b0b3bb4492e0.tar.gz verismith-2de15f8f32d48b09a9a2c92c25b6b0b3bb4492e0.zip | |
[Fix #14] Add size to Port type
Diffstat (limited to 'src/Test/VeriFuzz/Verilog/Helpers.hs')
| -rw-r--r-- | src/Test/VeriFuzz/Verilog/Helpers.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/Test/VeriFuzz/Verilog/Helpers.hs b/src/Test/VeriFuzz/Verilog/Helpers.hs index d4a7c9c..4410532 100644 --- a/src/Test/VeriFuzz/Verilog/Helpers.hs +++ b/src/Test/VeriFuzz/Verilog/Helpers.hs @@ -1,5 +1,5 @@ {-| -Module : Test.VeriFuzz.VeriFuzz.Helpers +Module : Test.VeriFuzz.Verilog.Helpers Description : Defaults and common functions. Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -10,18 +10,18 @@ Portability : POSIX Defaults and common functions. -} -module Test.VeriFuzz.VeriFuzz.Helpers where +module Test.VeriFuzz.Verilog.Helpers where import Control.Lens import Data.Text (Text) import qualified Data.Text import Test.VeriFuzz.Verilog.AST -regDecl :: Text -> ModItem -regDecl = Decl . Port (Reg False) . Identifier +regDecl :: Identifier -> ModItem +regDecl = Decl . Port (Reg False) 1 -wireDecl :: Text -> ModItem -wireDecl = Decl . Port (PortNet Wire) . Identifier +wireDecl :: Identifier -> ModItem +wireDecl = Decl . Port (PortNet Wire) 1 modConn :: Text -> ModConn modConn = ModConn . PrimExpr . PrimId . Identifier |