X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Constants.hs;h=838f9c5cb3567e8f44dc05c0e600c747b4574ab7;hb=c0b63b2aae039cecafb06bbcf63e50ee0359709b;hp=c5382933485f574e98e69d7d25fca58976da3956;hpb=51213c2cae12b73b46eaf607a0ca1a6586644d73;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/Constants.hs b/Constants.hs index c538293..838f9c5 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,14 +149,38 @@ 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" +-- | copyn function identifier +copynId :: String +copynId = "copyn" + -- | map function identifier mapId :: String mapId = "map" @@ -197,6 +221,36 @@ hwnotId = "hwnot" hwandId :: String 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 @@ -225,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"