Camfort.Functionality

Contents

• Wrappers on all of the features
• Source directory and file handling
• Orphan instances

Synopsis

• data Flag
  • = Version
  • | Input String
  • | Output String
  • | Solver Solver
  • | Excludes String
  • | Literals AssumeLiterals
  • | StencilInferMode InferMode
  • | Debug
• type Options = [Flag]
• getExcludes :: Options -> String
• typeStructuring :: [Char] -> [Filename] -> FileOrDir -> t -> IO ()
• ast :: [Char] -> t1 -> [Char] -> t -> IO ()
• asts :: [Char] -> [Filename] -> t1 -> t -> IO ()
• countVarDecls :: [Char] -> [Filename] -> t1 -> t -> IO ()
• loops :: [Char] -> [Filename] -> t1 -> t -> IO ()
• lvaA :: [Char] -> [Filename] -> t1 -> t -> IO ()
• dead :: [Char] -> [Filename] -> FileOrDir -> t -> IO ()
• commonToArgs :: [Char] -> [Filename] -> FileOrDir -> t -> IO ()
• common :: [Char] -> [Filename] -> FileOrDir -> t -> IO ()
• equivalences :: [Char] -> [Filename] -> FileOrDir -> t -> IO ()
• unitsCheck :: Data t1 => [Char] -> [Filename] -> t -> [t1] -> IO ()
• unitsInfer :: Data t1 => [Char] -> [Filename] -> t -> [t1] -> IO ()
• unitsSynth :: Data t => [Char] -> [Filename] -> FileOrDir -> [t] -> IO ()
• unitsCriticals :: Data t1 => [Char] -> [Filename] -> t -> [t1] -> IO ()
• stencilsCheck :: [Char] -> [Filename] -> t1 -> t -> IO ()
• stencilsInfer :: Data t => [Char] -> [Filename] -> FileOrDir -> [t] -> IO ()
• stencilsSynth :: Data t => [Char] -> [Filename] -> FileOrDir -> [t] -> IO ()
• stencilsVarFlowCycles :: [Char] -> [Filename] -> t1 -> t -> IO ()
• doRefactorForpar :: ([(Filename, ProgramFile A)] -> (String, [(Filename, ProgramFile Annotation)])) -> FileOrDir -> [Filename] -> FileOrDir -> IO ()
• mkOutputFileForpar :: [(Filename, SourceText, a)] -> [(Filename, ProgramFile Annotation)] -> [(Filename, SourceText, ProgramFile Annotation)]
• doAnalysisReportForpar :: ([(Filename, ProgramFile A)] -> (String, t1)) -> FileOrDir -> [Filename] -> t -> IO ()
• readForparseSrcDir :: FileOrDir -> [Filename] -> IO [(Filename, SourceText, ProgramFile A)]
• readForparseSrcFile :: Filename -> IO (Filename, SourceText, ProgramFile A)
• doAnalysisSummaryForpar :: (Monoid s, Show' s) => (Filename -> ProgramFile A -> (s, ProgramFile A)) -> FileOrDir -> [Filename] -> Maybe FileOrDir -> IO ()
• callAndSummarise :: (Monoid a, Foldable t) => (t1 -> t3 -> (a, a1)) -> t (t1, t2, t3) -> (a, [a1])
• flexReadFile :: String -> IO ByteString

Documentation

Wrappers on all of the features

Source directory and file handling

Orphan instances