aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Internal/AST.hs
diff options
context:
space:
mode:
authorYann Herklotz Grave <git@yannherklotzgrave.com>2019-02-16 20:19:00 +0000
committerYann Herklotz Grave <git@yannherklotzgrave.com>2019-02-16 20:19:00 +0000
commit5025a43948a682bc40d5c91606ec97cd8d6c3897 (patch)
treeb31c5113ff0a7d93424ba21a6c288f704f24dc78 /src/VeriFuzz/Internal/AST.hs
parenta180c89947f8e0c191ba7e7dba4c6eb7edf538e6 (diff)
downloadverismith-5025a43948a682bc40d5c91606ec97cd8d6c3897.tar.gz
verismith-5025a43948a682bc40d5c91606ec97cd8d6c3897.zip
Change Port type, adding signed info
Diffstat (limited to 'src/VeriFuzz/Internal/AST.hs')
-rw-r--r--src/VeriFuzz/Internal/AST.hs17
1 files changed, 13 insertions, 4 deletions
diff --git a/src/VeriFuzz/Internal/AST.hs b/src/VeriFuzz/Internal/AST.hs
index b8f569b..95f3bfc 100644
--- a/src/VeriFuzz/Internal/AST.hs
+++ b/src/VeriFuzz/Internal/AST.hs
@@ -17,10 +17,10 @@ import Data.Text (Text)
import VeriFuzz.AST
regDecl :: Identifier -> ModItem
-regDecl = Decl Nothing . Port (Reg False) 1
+regDecl = Decl Nothing . Port Reg False 1
wireDecl :: Identifier -> ModItem
-wireDecl = Decl Nothing . Port Wire 1
+wireDecl = Decl Nothing . Port Wire False 1
-- | Create an empty module.
emptyMod :: ModDecl
@@ -63,10 +63,19 @@ addTestBench :: VerilogSrc -> VerilogSrc
addTestBench = addDescription $ Description testBench
defaultPort :: Identifier -> Port
-defaultPort = Port Wire 1
+defaultPort = Port Wire False 1
portToExpr :: Port -> Expr
-portToExpr (Port _ _ i) = Id i
+portToExpr (Port _ _ _ i) = Id i
modName :: ModDecl -> Text
modName = view $ modId . getIdentifier
+
+yPort :: Identifier -> Port
+yPort = Port Wire False 90
+
+wire :: Int -> Identifier -> Port
+wire = Port Wire False
+
+reg :: Int -> Identifier -> Port
+reg = Port Reg False