Safe Haskell | None |
---|---|
Language | Haskell98 |
This module contains Haskell variables representing globally visible names. Rather than have strings floating around the system, all constant names should be defined here, and the (exported) variables should be used and manipulated elsewhere.
- data Symbol
- class Symbolic a where
- anfPrefix :: Symbol
- tempPrefix :: Symbol
- vv :: Maybe Integer -> Symbol
- intKvar :: Integer -> Symbol
- isPrefixOfSym :: Symbol -> Symbol -> Bool
- isSuffixOfSym :: Symbol -> Symbol -> Bool
- stripParensSym :: Symbol -> Symbol
- consSym :: Char -> Symbol -> Symbol
- unconsSym :: Symbol -> Maybe (Char, Symbol)
- dropSym :: Int -> Symbol -> Symbol
- singletonSym :: Char -> Symbol
- headSym :: Symbol -> Char
- takeWhileSym :: (Char -> Bool) -> Symbol -> Symbol
- lengthSym :: Symbol -> Int
- symChars :: [Char]
- isNonSymbol :: Symbol -> Bool
- nonSymbol :: Symbol
- isNontrivialVV :: Symbol -> Bool
- symbolText :: Symbol -> Text
- symbolString :: Symbol -> String
- encode :: String -> String
- vvCon :: Symbol
- dropModuleNames :: Symbol -> Symbol
- takeModuleNames :: Symbol -> Symbol
- dummySymbol :: Symbol
- intSymbol :: Show a => Symbol -> a -> Symbol
- tempSymbol :: Symbol -> Integer -> Symbol
- qualifySymbol :: Symbol -> Symbol -> Symbol
- suffixSymbol :: Symbol -> Text -> Symbol
- dummyName :: Symbol
- preludeName :: Symbol
- boolConName :: Symbol
- funConName :: Symbol
- listConName :: Symbol
- tupConName :: Symbol
- propConName :: Symbol
- hpropConName :: Symbol
- strConName :: Symbol
- vvName :: Symbol
- symSepName :: Char
- size32Name :: Symbol
- size64Name :: Symbol
- bitVecName :: Symbol
- bvAndName :: Symbol
- bvOrName :: Symbol
- prims :: [Symbol]
Symbols
Eq Symbol | |
Data Symbol | |
Ord Symbol | |
Show Symbol | |
IsString Symbol | |
Generic Symbol | |
Monoid Symbol | |
NFData Symbol | |
Hashable Symbol | |
Symbolic Symbol | |
Subable Symbol | |
Predicate Symbol | |
Expression Symbol | The symbol may be an encoding of a SymConst. |
Fixpoint Symbol | |
PPrint Symbol | |
SMTLIB2 Symbol | |
SMTLIB2 LocSymbol | |
Inputable Symbol | |
Typeable * Symbol | |
Inputable (FixResult Integer, FixSolution) | |
type Rep Symbol |
Values that can be viewed as Symbols
isPrefixOfSym :: Symbol -> Symbol -> Bool Source
isSuffixOfSym :: Symbol -> Symbol -> Bool Source
stripParensSym :: Symbol -> Symbol Source
singletonSym :: Char -> Symbol Source
isNonSymbol :: Symbol -> Bool Source
isNontrivialVV :: Symbol -> Bool Source
symbolText :: Symbol -> Text Source
symbolString :: Symbol -> String Source
dropModuleNames :: Symbol -> Symbol Source
takeModuleNames :: Symbol -> Symbol Source
Creating Symbols
tempSymbol :: Symbol -> Integer -> Symbol Source
qualifySymbol :: Symbol -> Symbol -> Symbol Source
suffixSymbol :: Symbol -> Text -> Symbol Source
Hardwired global names
symSepName :: Char Source