Safe Haskell	None
Language	Haskell2010

Camfort.PrettyPrint

Contents

Orphan instances

Synopsis

Documentation

class PrettyPrint p where Source #

Minimal complete definition

prettyPrint

Methods

prettyPrint :: p -> SourceText Source #

Instances

PrintMaster (Program Annotation) DefaultPP => PrettyPrint (Program Annotation) Source #
Methods prettyPrint :: Program Annotation -> SourceText Source #
PrettyPrint (PR Annotation) Source #
Methods prettyPrint :: PR Annotation -> SourceText Source #

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
Methods printSlave :: Bool -> String #
PrintSlave SrcLoc HTMLPP Source #
Methods printSlave :: SrcLoc -> String #
PrintSlave Annotation HTMLPP Source #
Methods printSlave :: Annotation -> String #
PrintSlave (DataForm p) HTMLPP => PrintSlave (SubName p) HTMLPP Source #
Methods printSlave :: SubName p -> String #
PrintSlave (VarName p) HTMLPP Source #
Methods printSlave :: VarName p -> String #
PrintSlave (ArgName p) HTMLPP Source #
Methods printSlave :: ArgName p -> String #
PrintSlave (Arg p) HTMLPP Source #
Methods printSlave :: Arg p -> String #
PrintSlave (ArgList p) HTMLPP Source #
Methods printSlave :: ArgList p -> String #
(PrintSlave (Decl p) HTMLPP, PrintIndSlave (Fortran p) HTMLPP, PrintSlave p HTMLPP, Indentor (Decl p), Indentor (Fortran p)) => PrintSlave (ProgUnit p) HTMLPP Source #
Methods printSlave :: ProgUnit p -> String #
PrintSlave (Decl p) HTMLPP => PrintSlave (Implicit p) HTMLPP Source #
Methods printSlave :: Implicit p -> String #
PrintSlave (Uses p) HTMLPP Source #
Methods printSlave :: Uses p -> String #
(PrintSlave (Decl p) HTMLPP, PrintSlave (DataForm p) HTMLPP, PrintIndSlave (Fortran p) HTMLPP, PrintSlave p HTMLPP, Indentor (Fortran p), Indentor (Decl p)) => PrintSlave (Block p) HTMLPP Source #
Methods printSlave :: Block p -> String #
(Indentor (Decl p), PrintSlave (DataForm p) HTMLPP) => PrintSlave (Decl p) HTMLPP Source #
Methods printSlave :: Decl p -> String #
PrintSlave (Decl Annotation) HTMLPP Source #
Methods printSlave :: Decl Annotation -> String #
PrintSlave (Type p) HTMLPP Source #
Methods printSlave :: Type p -> String #
PrintSlave (BaseType p) HTMLPP Source #
Methods printSlave :: BaseType p -> String #
PrintSlave (Attr p) HTMLPP Source #
Methods printSlave :: Attr p -> String #
PrintSlave (MeasureUnitSpec p) HTMLPP Source #
Methods printSlave :: MeasureUnitSpec p -> String #
PrintSlave (Fraction p) HTMLPP Source #
Methods printSlave :: Fraction p -> String #
PrintSlave (GSpec p) HTMLPP Source #
Methods printSlave :: GSpec p -> String #
(PrintSlave (Decl p) HTMLPP, Indentor (Decl p)) => PrintSlave (InterfaceSpec p) HTMLPP Source #
Methods printSlave :: InterfaceSpec p -> String #
PrintSlave (DataForm p) HTMLPP Source #
Methods printSlave :: DataForm p -> String #
(PrintIndSlave (Fortran p) HTMLPP, PrintSlave p HTMLPP, Indentor (Fortran p)) => PrintSlave (Fortran p) HTMLPP Source #
Methods printSlave :: Fortran p -> String #
PrintSlave (DataForm p) HTMLPP => PrintSlave (Expr p) HTMLPP Source #
Methods printSlave :: Expr p -> String #
PrintSlave (BinOp p) HTMLPP Source #
Methods printSlave :: BinOp p -> String #
PrintSlave (UnaryOp p) HTMLPP Source #
Methods printSlave :: UnaryOp p -> String #
PrintSlave (Spec p) HTMLPP Source #
Methods printSlave :: Spec p -> String #
PrintIndSlave (Fortran Annotation) HTMLPP Source #
Methods printIndSlave :: Int -> Fortran Annotation -> String #
PrintIndSlave (Fortran A1) HTMLPP Source #
Methods printIndSlave :: Int -> Fortran A1 -> String #

outputHTMLA :: ProgUnit Annotation -> String Source #

Convert source code to a pretty-printed HTML format

outputHTML :: forall p. (Data p, Typeable p, PrintSlave p HTMLPP, PrintSlave (Decl 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 :: (Num a, Eq a) => [Char] -> a -> Bool Source #

annotationMark :: Tagged d => t -> d Annotation -> [Char] -> [Char] Source #

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

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

outputAnn :: Annotation -> Bool -> Int -> [Char] -> [Char] Source #

type A1 = Bool Source #

keyword :: [Text] Source #

Orphan instances

Tagged p => Indentor (p Annotation) Source #
Methods indR :: p Annotation -> Int -> String #
Indentor (Fortran Bool) Source #
Methods indR :: Fortran Bool -> Int -> String #