| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Input
Contents
- class Default t where
- getOption :: forall t opt. (Data opt, Data t, Default opt) => [t] -> opt
- doAnalysisSummary :: (Monoid s, Show' s) => (Filename -> ProgramFile A -> (s, ProgramFile A)) -> FileOrDir -> [Filename] -> Maybe FileOrDir -> IO ()
- callAndSummarise :: (Monoid a1, Foldable t1) => (t3 -> t2 -> (a1, a)) -> t1 (t3, t, t2) -> (a1, [a])
- doAnalysisReport :: ([(Filename, ProgramFile A)] -> r) -> (r -> IO out) -> FileOrDir -> [Filename] -> IO out
- doAnalysisReportWithModFiles :: ([(Filename, ProgramFile A)] -> r) -> (r -> IO out) -> FileOrDir -> [Filename] -> ModFiles -> IO out
- doRefactor :: ([(Filename, ProgramFile A)] -> (String, [(Filename, ProgramFile A)])) -> FileOrDir -> [Filename] -> FileOrDir -> IO String
- doRefactorWithModFiles :: ([(Filename, ProgramFile A)] -> (String, [(Filename, ProgramFile A)])) -> FileOrDir -> [Filename] -> FileOrDir -> ModFiles -> IO String
- doRefactorAndCreate :: ([(Filename, ProgramFile A)] -> (String, [(Filename, ProgramFile A)], [(Filename, ProgramFile A)])) -> FileOrDir -> [Filename] -> FileOrDir -> IO String
- type FileProgram = (Filename, ProgramFile A)
- doRefactorAndCreateBinary :: ([FileProgram] -> (String, [FileProgram], [(Filename, ByteString)])) -> FileOrDir -> [Filename] -> FileOrDir -> IO String
- doCreateBinary :: ([FileProgram] -> (String, [(Filename, ByteString)])) -> FileOrDir -> [Filename] -> FileOrDir -> ModFiles -> IO String
- reassociateSourceText :: [(Filename, SourceText, a)] -> [(Filename, ProgramFile Annotation)] -> [(Filename, SourceText, ProgramFile Annotation)]
- readParseSrcDir :: FileOrDir -> [Filename] -> IO [(Filename, SourceText, ProgramFile A)]
- mapMaybeM :: Monad m => (a -> m (Maybe b)) -> [a] -> m [b]
- readParseSrcDirWithModFiles :: FileOrDir -> [Filename] -> ModFiles -> IO [(Filename, SourceText, ProgramFile A)]
- readParseSrcFile :: Filename -> IO (Maybe (Filename, SourceText, ProgramFile A))
- readParseSrcFileWithModFiles :: ModFiles -> Filename -> IO (Maybe (Filename, SourceText, ProgramFile A))
- rGetDirContents :: FileOrDir -> IO [String]
- rGetDirContents' :: FileOrDir -> IO [String]
- isFortran :: [Char] -> Bool
- fileExt :: [Char] -> [Char]
- flexReadFile :: String -> IO ByteString
Documentation
Builders for analysers and refactorings
doAnalysisSummary :: (Monoid s, Show' s) => (Filename -> ProgramFile A -> (s, ProgramFile A)) -> FileOrDir -> [Filename] -> Maybe FileOrDir -> IO () Source #
Performs an analysis provided by its first parameter which generates
information s, which is then combined together (via a monoid)
callAndSummarise :: (Monoid a1, Foldable t1) => (t3 -> t2 -> (a1, a)) -> t1 (t3, t, t2) -> (a1, [a]) Source #
doAnalysisReport :: ([(Filename, ProgramFile A)] -> r) -> (r -> IO out) -> FileOrDir -> [Filename] -> IO out Source #
Performs an analysis which reports to the user, but does not output any files
doAnalysisReportWithModFiles :: ([(Filename, ProgramFile A)] -> r) -> (r -> IO out) -> FileOrDir -> [Filename] -> ModFiles -> IO out Source #
doRefactor :: ([(Filename, ProgramFile A)] -> (String, [(Filename, ProgramFile A)])) -> FileOrDir -> [Filename] -> FileOrDir -> IO String Source #
Performs a refactoring provided by its first parameter, on the directory of the second, excluding files listed by third, output to the directory specified by the fourth parameter
doRefactorWithModFiles :: ([(Filename, ProgramFile A)] -> (String, [(Filename, ProgramFile A)])) -> FileOrDir -> [Filename] -> FileOrDir -> ModFiles -> IO String Source #
doRefactorAndCreate :: ([(Filename, ProgramFile A)] -> (String, [(Filename, ProgramFile A)], [(Filename, ProgramFile A)])) -> FileOrDir -> [Filename] -> FileOrDir -> IO String Source #
type FileProgram = (Filename, ProgramFile A) Source #
doRefactorAndCreateBinary :: ([FileProgram] -> (String, [FileProgram], [(Filename, ByteString)])) -> FileOrDir -> [Filename] -> FileOrDir -> IO String Source #
doCreateBinary :: ([FileProgram] -> (String, [(Filename, ByteString)])) -> FileOrDir -> [Filename] -> FileOrDir -> ModFiles -> IO String Source #
reassociateSourceText :: [(Filename, SourceText, a)] -> [(Filename, ProgramFile Annotation)] -> [(Filename, SourceText, ProgramFile Annotation)] Source #
Source directory and file handling
Source directory and file handling
readParseSrcDir :: FileOrDir -> [Filename] -> IO [(Filename, SourceText, ProgramFile A)] Source #
readParseSrcDirWithModFiles :: FileOrDir -> [Filename] -> ModFiles -> IO [(Filename, SourceText, ProgramFile A)] Source #
readParseSrcFile :: Filename -> IO (Maybe (Filename, SourceText, ProgramFile A)) Source #
Read a specific file, and parse it
readParseSrcFileWithModFiles :: ModFiles -> Filename -> IO (Maybe (Filename, SourceText, ProgramFile A)) Source #
flexReadFile :: String -> IO ByteString Source #
Read file using ByteString library and deal with any weird characters.