Camfort.Output

Documentation

class Show' s where

Minimal complete definition

show'

Methods

show' :: s -> String

Instances

Show a => Show' a

Methods

show' :: a -> String

Show' String

Methods

show' :: String -> String

(Show' a, Show' b) => Show' (a, b)

Methods

show' :: (a, b) -> String

class OutputFiles t where

Minimal complete definition

mkOutputText, outputFile

Methods

mkOutputText :: FileOrDir -> t -> SourceText

Given a directory and list of triples of filenames, with their source text (if it exists) and their AST, write these to the directory

outputFile :: t -> Filename

outputFiles :: FileOrDir -> FileOrDir -> [t] -> IO ()

Instances

OutputFiles (Filename, SourceText)

Methods

mkOutputText :: FileOrDir -> (Filename, SourceText) -> SourceText

outputFile :: (Filename, SourceText) -> Filename

outputFiles :: FileOrDir -> FileOrDir -> [(Filename, SourceText)] -> IO ()

OutputFiles (Filename, SourceText, ProgramFile Annotation)

Methods

mkOutputText :: FileOrDir -> (Filename, SourceText, ProgramFile Annotation) -> SourceText

outputFile :: (Filename, SourceText, ProgramFile Annotation) -> Filename

outputFiles :: FileOrDir -> FileOrDir -> [(Filename, SourceText, ProgramFile Annotation)] -> IO ()

OutputFiles (Filename, SourceText, Program Annotation)

Methods

mkOutputText :: FileOrDir -> (Filename, SourceText, Program Annotation) -> SourceText

outputFile :: (Filename, SourceText, Program Annotation) -> Filename

outputFiles :: FileOrDir -> FileOrDir -> [(Filename, SourceText, Program Annotation)] -> IO ()

data PR a

Constructors

PR (Program a)

Instances

Data a => Data (PR a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PR a -> c (PR a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (PR a)

toConstr :: PR a -> Constr

dataTypeOf :: PR a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (PR a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (PR a))

gmapT :: (forall b. Data b => b -> b) -> PR a -> PR a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PR a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PR a -> r

gmapQ :: (forall d. Data d => d -> u) -> PR a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PR a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PR a -> m (PR a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PR a -> m (PR a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PR a -> m (PR a)

PrettyPrint (PR Annotation)

Methods

prettyPrint :: PR Annotation -> SourceText

srcSpanToSrcLocs :: SrcSpan -> (SrcLoc, SrcLoc)

refactoringForPar :: Typeable a => a -> SourceText -> StateT SrcLoc Identity (SourceText, Bool)

changeDir :: Eq a => [a] -> [a] -> [a] -> [a]

changeDir is used to change the directory of a filename string. If the filename string has no directory then this is an identity

outputAnalysisFiles :: FileOrDir -> [Program Annotation] -> [Filename] -> IO ()

output pre-analysis ASTs into the directory with the given file names (the list of ASTs should match the list of filenames)

refactoringLF :: Typeable a => a -> SourceText -> StateT SrcLoc (State Int) (SourceText, Bool)

refactorFortran :: Monad m => SourceText -> Fortran Annotation -> StateT SrcLoc m (SourceText, Bool)

refactorDecl :: SourceText -> Decl Annotation -> StateT SrcLoc (State Int) (SourceText, Bool)

refactorArgName :: Monad m => SourceText -> ArgName Annotation -> StateT SrcLoc m (SourceText, Bool)

refactorUses :: SourceText -> Uses Annotation -> StateT SrcLoc (State Int) (SourceText, Bool)

countLines :: Num t => ByteString -> t

removeNewLines :: (Num t, Eq t) => ByteString -> t -> (ByteString, t)

unpackFst :: (ByteString, t) -> ([Char], t)

Orphan instances

PrettyPrint (ProgramFile Annotation)

Methods

prettyPrint :: ProgramFile Annotation -> SourceText