| Safe Haskell | None |
|---|
Language.Fixpoint.Names
Contents
Description
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.
- dummyName :: [Char]
- preludeName :: [Char]
- boolConName :: [Char]
- funConName :: [Char]
- listConName :: [Char]
- tupConName :: [Char]
- propConName :: [Char]
- strConName :: [Char]
- vvName :: [Char]
- symSepName :: Char
- dropModuleNames :: [Char] -> [Char]
- takeModuleNames :: [Char] -> [Char]
Hardwired global names
preludeName :: [Char]Source
boolConName :: [Char]Source
funConName :: [Char]Source
listConName :: [Char]Source
tupConName :: [Char]Source
propConName :: [Char]Source
strConName :: [Char]Source
dropModuleNames :: [Char] -> [Char]Source
takeModuleNames :: [Char] -> [Char]Source