X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Constants.hs;h=838f9c5cb3567e8f44dc05c0e600c747b4574ab7;hb=c0b63b2aae039cecafb06bbcf63e50ee0359709b;hp=cfb9d555faec4f4e2b58b197e2aef1dc0c5f2f55;hpb=033234e675f920e7577427a7328ede133ea40f94;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

diff --git a/Constants.hs b/Constants.hs
index cfb9d55..838f9c5 100644
--- a/Constants.hs
+++ b/Constants.hs
@@ -149,10 +149,30 @@ rotlId = "rotl"
 rotrId :: String
 rotrId = "rotr"
 
+-- | concatenate the vectors in a vector
+concatId :: String
+concatId = "concat"
+
 -- | reverse function identifier
 reverseId :: String
 reverseId = "reverse"
 
+-- | iterate function identifier
+iterateId :: String
+iterateId = "iterate"
+
+-- | iteraten function identifier
+iteratenId :: String
+iteratenId = "iteraten"
+
+-- | iterate function identifier
+generateId :: String
+generateId = "generate"
+
+-- | iteraten function identifier
+generatenId :: String
+generatenId = "generaten"
+
 -- | copy function identifier
 copyId :: String
 copyId = "copy"
@@ -204,6 +224,34 @@ hwandId = "hwand"
 lengthTId :: String
 lengthTId = "lengthT"
 
+-- Numeric Operations
+
+-- | plus operation identifier
+plusId :: String
+plusId = "+"
+
+-- | times operation identifier
+timesId :: String
+timesId = "*"
+
+-- | negate operation identifier
+negateId :: String
+negateId = "negate"
+
+-- | minus operation identifier
+minusId :: String
+minusId = "-"
+
+-- | convert sizedword to ranged
+fromSizedWordId :: String
+fromSizedWordId = "fromSizedWord"
+
+toIntegerId :: String
+toIntegerId = "to_integer"
+
+fromIntegerId :: String
+fromIntegerId = "fromInteger"
+
 ------------------
 -- VHDL type marks
 ------------------
@@ -231,3 +279,11 @@ naturalTM = AST.unsafeVHDLBasicId "natural"
 -- | integer TypeMark
 integerTM :: AST.TypeMark
 integerTM = AST.unsafeVHDLBasicId "integer"
+
+-- | signed TypeMark
+signedTM :: AST.TypeMark
+signedTM = AST.unsafeVHDLBasicId "signed"
+
+-- | unsigned TypeMark
+unsignedTM :: AST.TypeMark
+unsignedTM = AST.unsafeVHDLBasicId "unsigned"