| Safe Haskell | None |
|---|
Language.Fixpoint.Files
Contents
Description
This module contains Haskell variables representing globally visible names for files, paths, extensions.
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
- withExt :: FilePath -> Ext -> FilePath
- isExtFile :: Ext -> FilePath -> Bool
- getFixpointPath :: IO FilePath
- getZ3LibPath :: IO FilePath
- getHsTargets :: FilePath -> IO [FilePath]
- getFileInDirs :: FilePath -> [FilePath] -> IO (Maybe FilePath)
- findFileInDirs :: FilePath -> [FilePath] -> IO FilePath
- copyFiles :: [FilePath] -> 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 | HTML file with templates? |
| Mkdn | Markdown file (temporarily generated from .Lhs + annots) |
| Json | JSON file containing result (annots + errors) |
| Saved | Previous version of source (for incremental checking) |
| Pred | |
| PAss | |
| Dat |
extFileName :: Ext -> FilePath -> FilePathSource
extModuleName :: String -> Ext -> FilePathSource
Hardwired paths
getFixpointPath :: IO FilePathSource
Hardwired Paths and Files -----------------------------
Various generic utility functions for finding and removing files
getHsTargets :: FilePath -> IO [FilePath]Source