camfort-0.700: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell98

Output

Synopsis

Documentation

data HTMLPP Source

Constructors

HTMLPP 

Instances

PPVersion HTMLPP Source 
PrintSlave Bool HTMLPP Source

Pretty printer for HTML, specialised to the analysis of CamFort, which mostly uses the default master behaviour, but with a few special cases

PrintSlave SrcLoc HTMLPP Source 
PrintSlave Annotation HTMLPP Source 
PrintSlave (DataForm p) HTMLPP => PrintSlave (SubName p) HTMLPP Source 
PrintSlave (VarName p) HTMLPP Source 
PrintSlave (ArgName p) HTMLPP Source 
PrintSlave (Arg p) HTMLPP Source 
PrintSlave (ArgList p) HTMLPP Source 
(PrintIndSlave (Fortran p) HTMLPP, PrintSlave p HTMLPP, Indentor (Decl p), Indentor (Fortran p)) => PrintSlave (ProgUnit p) HTMLPP Source 
PrintSlave (Implicit p) HTMLPP Source 
PrintSlave (Uses p) HTMLPP Source 
(PrintSlave (DataForm p) HTMLPP, PrintIndSlave (Fortran p) HTMLPP, PrintSlave p HTMLPP, Indentor (Fortran p), Indentor (Decl p)) => PrintSlave (Block p) HTMLPP Source 
(Indentor (Decl p), PrintSlave (DataForm p) HTMLPP) => PrintSlave (Decl p) HTMLPP Source 
PrintSlave (Type p) HTMLPP Source 
PrintSlave (BaseType p) HTMLPP Source 
PrintSlave (Attr p) HTMLPP Source 
PrintSlave (MeasureUnitSpec p) HTMLPP Source 
PrintSlave (Fraction p) HTMLPP Source 
PrintSlave (GSpec p) HTMLPP Source 
Indentor (Decl p) => PrintSlave (InterfaceSpec p) HTMLPP Source 
PrintSlave (DataForm p) HTMLPP Source 
(PrintIndSlave (Fortran p) HTMLPP, PrintSlave p HTMLPP, Indentor (Fortran p)) => PrintSlave (Fortran p) HTMLPP Source 
PrintSlave (DataForm p) HTMLPP => PrintSlave (Expr p) HTMLPP Source 
PrintSlave (BinOp p) HTMLPP Source 
PrintSlave (UnaryOp p) HTMLPP Source 
PrintSlave (Spec p) HTMLPP Source 
PrintIndSlave (Fortran Annotation) HTMLPP Source 
PrintIndSlave (Fortran A1) HTMLPP Source 

keyword :: [Text] Source

outputHTML :: forall p. (Data p, Typeable p, PrintSlave p HTMLPP, PrintIndSlave (Fortran p) HTMLPP, Indentor (Decl p), Indentor (Fortran p)) => ProgUnit p -> String Source

showUse' :: Uses p -> String Source

countToColor :: Int -> [Char] Source

colors :: [[Char]] Source

prettyp :: [Char] -> [Char] Source

prettyp' :: [Char] -> Int -> [Bool] -> [Char] Source

nearbyClose :: (Eq a, Num a) => [Char] -> a -> Bool Source

annotationMark :: RComonad t1 => t -> t1 Annotation -> [Char] -> [Char] Source

row :: Foldable t => t [Char] -> [Char] Source

breakUp :: [Char] -> [Char] Source

outputAnn :: (?variant :: v, PPVersion v, PrintSlave (VarName ()) v, PrintSlave (ArgList ()) v, PrintSlave (Expr ()) v, PrintSlave (BinOp ()) v, PrintSlave (UnaryOp ()) v) => Annotation -> Bool -> Int -> [Char] -> [Char] Source

type A1 = Bool Source

lineCol :: SrcLoc -> (Int, Int) Source

takeBounds :: (SrcLoc, SrcLoc) -> [[Char]] -> ([Char], [[Char]]) Source

takeBounds' :: (Eq a, Num a, Num a1, Ord a1) => ((a1, a), (a1, a)) -> [Char] -> [[Char]] -> ([Char], [[Char]]) Source

reprint :: SourceText -> Filename -> Program Annotation -> String Source

reprintC :: Monad m => SrcLoc -> [String] -> Zipper a -> StateT Int m (String, SrcLoc) Source

enterDown :: Monad m => SrcLoc -> [String] -> Zipper a -> StateT Int m (String, SrcLoc) Source

enterRight :: Monad m => SrcLoc -> [String] -> Zipper a -> StateT Int m (String, SrcLoc) Source

refactoring :: (Typeable a, Monad m) => [String] -> SrcLoc -> a -> StateT Int m (String, SrcLoc, Bool) Source

refactorFortran :: Monad m => [String] -> SrcLoc -> Fortran Annotation -> StateT Int m (String, SrcLoc, Bool) Source

refactorDecl :: Monad m => [String] -> SrcLoc -> Decl Annotation -> StateT Int m (String, SrcLoc, Bool) Source

refactorArgName :: Monad m => [String] -> SrcLoc -> ArgName Annotation -> m (String, SrcLoc, Bool) Source

refactorUses :: Monad m => [String] -> SrcLoc -> Uses Annotation -> StateT Int m (String, SrcLoc, Bool) Source

countLines :: Num a => [Char] -> a Source

removeNewLines :: (Eq t, Num t) => [Char] -> t -> ([Char], t) Source