X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Constants.hs;h=c392521becb7817da215ee3ad379d976f6b80842;hb=46f93616d6a7ef012c5f07698d56372881196015;hp=9a3c4dd24cbb79e48345bf40a6ffaa225ba0b4b9;hpb=774c352cc8eb496df66e80ca1602f865b5ced2b8;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/Constants.hs b/Constants.hs index 9a3c4dd..c392521 100644 --- a/Constants.hs +++ b/Constants.hs @@ -95,8 +95,8 @@ lengthId = "length" -- | isnull (function null in original Haskell source) function identifier -isnullId :: String -isnullId = "isnull" +nullId :: String +nullId = "null" -- | replace function identifier @@ -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,40 @@ 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" + +toSignedId :: String +toSignedId = "to_signed" + +toUnsignedId :: String +toUnsignedId = "to_unsigned" + ------------------ -- VHDL type marks ------------------ @@ -231,3 +285,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"