| Safe Haskell | Safe-Inferred |
|---|
Language.Boogie.Tokens
Description
Tokens used in Boogie 2
- keywords :: [String]
- opName :: Eq a1 => a1 -> [(a1, a)] -> a
- unOpTokens :: [(UnOp, String)]
- binOpTokens :: [(BinOp, String)]
- qOpTokens :: [(QOp, String)]
- otherOps :: [String]
- identifierChars :: [Char]
- commentStart :: [Char]
- commentEnd :: [Char]
- commentLine :: [Char]
- nonIdChar :: Char
Documentation
unOpTokens :: [(UnOp, String)]Source
Names of unary operators
binOpTokens :: [(BinOp, String)]Source
Names of binary operators
identifierChars :: [Char]Source
Characters allowed in identifiers (in addition to letters and digits)
commentStart :: [Char]Source
Start of a multi-line comment
commentEnd :: [Char]Source
End of a multi-line comment
commentLine :: [Char]Source
Start of a single-line comment