| Safe Haskell | Safe-Infered |
|---|
Language.Haskell.Liquid.FileNames
Contents
Description
This module contains Haskell variables representing globally visible names for files, paths, extensions and various other constants. 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 Ext
- extFileName :: Ext -> FilePath -> FilePath
- extModuleName :: String -> Ext -> FilePath
- isExtFile :: Ext -> FilePath -> Bool
- dummyName :: [Char]
- preludeName :: String
- boolConName :: [Char]
- listConName :: [Char]
- tupConName :: [Char]
- propConName :: [Char]
- vvName :: [Char]
- symSepName :: Char
- getIncludePath, getFixpointPath, getCSSPath :: IO FilePath
- getHsTargets :: FilePath -> IO [FilePath]
- getFileInDirs :: FilePath -> [FilePath] -> IO (Maybe FilePath)
- findFileInDirs :: FilePath -> [FilePath] -> IO FilePath
- copyFiles :: [FilePath] -> FilePath -> IO ()
- deleteBinFiles :: FilePath -> IO ()
Hardwired file extension names
Constructors
| Cgi | Constraint Generation Information |
| Fq | Input to constraint solving (fixpoint) |
| Out | Output from constraint solving (fixpoint) |
| Html | HTML file with inferred type annotations |
| Annot | Text file with inferred types |
| Hs | Target source |
| LHs | Literate Haskell target source file |
| Spec | Spec file (e.g. include/Prelude.spec) |
| Hquals | Qualifiers file (e.g. include/Prelude.hquals) |
| Result | Final result: SAFE/UNSAFE |
| Cst | I've totally forgotten! |
| Mkdn | Markdown file (temporarily generated from .Lhs + annots) |
| Pred | |
| PAss | |
| Dat |
extFileName :: Ext -> FilePath -> FilePathSource
extModuleName :: String -> Ext -> FilePathSource
Hardwired global names
boolConName :: [Char]Source
listConName :: [Char]Source
tupConName :: [Char]Source
propConName :: [Char]Source
Hardwired paths
Various generic utility functions for finding and removing files
getHsTargets :: FilePath -> IO [FilePath]Source
deleteBinFiles :: FilePath -> IO ()Source