Language.Fortran.Pretty

Documentation

pprint :: PrettyPrintable t => t -> String

Core pretty-printing primitive

data DefaultPP

Define default pretty-print version constructor

Constructors

DefaultPP

Instances

PPVersion DefaultPP

PrintIndMaster t DefaultPP => PrintIndSlave t DefaultPP

PrintMaster t DefaultPP => PrintSlave t DefaultPP

Default slave behaviour

class PPVersion a

The set of all types which can be used to switch between pretty printer versions

Instances

PPVersion DefaultPP

type PrettyPrintable t = PrintMaster t DefaultPP

class PrintMaster t v where

Master print behaviour

Methods

printMaster :: (?variant :: v) => t -> String

Instances

PPVersion v => PrintMaster String v

Definition of the master pretty printer which, notably, is defined for all versions v.

(PPVersion v, PrintSlave (ProgUnit p) v) => PrintMaster [ProgUnit p] v

(PrintSlave (Expr p) v, PPVersion v) => PrintMaster (Spec p) v

PPVersion v => PrintMaster (UnaryOp p) v

PPVersion v => PrintMaster (BinOp p) v

(PrintSlave (ArgList p) v, PrintSlave (BinOp p) v, PrintSlave (Expr p) v, PrintSlave (UnaryOp p) v, PrintSlave (VarName p) v, PPVersion v) => PrintMaster (Expr p) v

(PrintIndMaster (Fortran p) v, PPVersion v) => PrintMaster (Fortran p) v

PrintSlave (Expr p) v => PrintMaster (DataForm p) v

(PrintSlave (Arg p) v, PrintSlave (Decl p) v, PrintSlave (Implicit p) v, PrintSlave (SubName p) v, PPVersion v) => PrintMaster (InterfaceSpec p) v

(PrintSlave (Arg p) v, PrintSlave (BinOp p) v, PrintSlave (Expr p) v, PPVersion v) => PrintMaster (GSpec p) v

PPVersion v => PrintMaster (Fraction p) v

PPVersion v => PrintMaster (MeasureUnitSpec p) v

(PrintSlave (ArgList p) v, PrintSlave (BinOp p) v, PrintSlave (Expr p) v, PrintSlave (UnaryOp p) v, PrintSlave (VarName p) v, PrintSlave (MeasureUnitSpec p) v, PPVersion v) => PrintMaster (Attr p) v

(PrintSlave (SubName p) v, PPVersion v) => PrintMaster (BaseType p) v

(PrintSlave (ArgList p) v, PrintSlave (BinOp p) v, PrintSlave (UnaryOp p) v, PrintSlave (BaseType p) v, PrintSlave (Expr p) v, PrintSlave (MeasureUnitSpec p) v, PrintSlave (VarName p) v, PPVersion v) => PrintMaster (Type p) v

(Indentor (Decl p), PrintSlave (Arg p) v, PrintSlave (ArgList p) v, PrintSlave (Attr p) v, PrintSlave (BinOp p) v, PrintSlave (Decl p) v, PrintSlave (DataForm p) v, PrintSlave (Expr p) v, PrintSlave (GSpec p) v, PrintSlave (Implicit p) v, PrintSlave (InterfaceSpec p) v, PrintSlave (MeasureUnitSpec p) v, PrintSlave (SubName p) v, PrintSlave (UnaryOp p) v, PrintSlave (VarName p) v, PrintSlave (Type p) v, PPVersion v) => PrintMaster (Decl p) v

(PrintSlave (Fortran p) v, PrintSlave (Decl p) v, PrintSlave (Implicit p) v, PPVersion v) => PrintMaster (Block p) v

PPVersion v => PrintMaster (Uses p) v

(PPVersion v, PrintMaster (Uses p) v) => PrintMaster (UseBlock p) v

PPVersion v => PrintMaster (Implicit p) v

(PrintSlave (Arg p) v, PrintSlave (BaseType p) v, PrintSlave (Block p) v, PrintSlave (Decl p) v, PrintSlave (Fortran p) v, PrintSlave (Implicit p) v, PrintSlave (SubName p) v, PrintSlave (VarName p) v, PrintSlave (ProgUnit p) v, PPVersion v) => PrintMaster (ProgUnit p) v

(PrintSlave (Expr p) v, PPVersion v) => PrintMaster (ArgList p) v

(PrintSlave (ArgName p) v, PPVersion v) => PrintMaster (Arg p) v

(PrintSlave (VarName p) v, PrintSlave (ArgName p) v, PPVersion v) => PrintMaster (ArgName p) v

PPVersion v => PrintMaster (VarName p) v

PPVersion v => PrintMaster (SubName p) v

class PrintSlave t v where

Slave print behaviour

Methods

printSlave :: (?variant :: v) => t -> String

Instances

PPVersion v => PrintSlave String v

Behaviours that all slaves must have, i.e., for all versions v

PrintMaster t DefaultPP => PrintSlave t DefaultPP

Default slave behaviour

class PrintIndSlave t v where

Slave print-indenting behaviour

Methods

printIndSlave :: (?variant :: v) => Int -> t -> String

Instances

PrintIndMaster t DefaultPP => PrintIndSlave t DefaultPP

class PrintIndMaster t v where

Master print-indenting behaviour

Methods

printIndMaster :: (?variant :: v) => Int -> t -> String

Instances

(Indentor (Fortran p), PrintSlave (VarName p) v, PrintSlave (Expr p) v, PrintSlave (UnaryOp p) v, PrintSlave (BinOp p) v, PrintSlave (ArgList p) v, PrintIndSlave (Fortran p) v, PrintSlave (DataForm p) v, PrintSlave (Fortran p) v, PrintSlave (Spec p) v, PPVersion v) => PrintIndMaster (Fortran p) v

printMasterInterfaceSpecs :: (?variant :: v, PrintMaster t v) => [t] -> [Char]

show_namelist :: (?variant :: v, PrintSlave t v, PrintSlave t1 v) => [(t, [t1])] -> [Char]

show_data :: (?variant :: v, PrintSlave t v, PrintSlave t1 v) => (t, t1) -> [Char]

showDV :: (Show a, ?variant :: v, PrintSlave (UnaryOp t) v, PrintSlave (BinOp t) v, PrintSlave (Expr t) v, PrintSlave (ArgList t) v, PrintSlave (VarName t) v, PrintMaster t1 v, PPVersion v) => (t1, Expr t, Maybe a) -> [Char]

showDU :: (?variant :: v, PrintMaster t v, PrintMaster t1 v) => (t, t1) -> [Char]

showElseIf :: (?variant :: v, PrintSlave t v, PrintSlave t1 v) => Int -> (t, t1) -> [Char]

showForall :: (?variant :: v, PrintSlave t1 v, PrintSlave t2 v, PrintSlave (Expr t) v) => [([Char], t1, t2, Expr t)] -> [Char]

showUse :: Uses p -> String

isEmptyArg :: Arg t -> Bool

isEmptyArgName :: ArgName t -> [Bool]

paren :: String -> String

checkPrec :: BinOp p -> BinOp p -> (a -> a) -> a -> a

opPrec :: BinOp p -> Int

class Indentor t where

Methods

indR :: t -> Int -> String

Instances

Indentor (p ())

showNQ :: Show a => a -> String

ind :: Int -> [Char]

indent :: Int -> Int -> [Char]

printList :: [[a]] -> (a1 -> [a]) -> [a1] -> [a]

asTuple :: (a -> [Char]) -> [a] -> [Char]

asSeq :: (a -> [Char]) -> [a] -> [Char]

asList :: (a -> [Char]) -> [a] -> [Char]

asSet :: (a -> [Char]) -> [a] -> [Char]

asLisp :: (a -> [Char]) -> [a] -> [Char]

asPlain :: (a -> [Char]) -> [a] -> [Char]

asPlain' :: (a -> [Char]) -> [a] -> [Char]

asCases :: Int -> (a -> [Char]) -> [a] -> [Char]

asDefs :: [Char] -> (a -> [Char]) -> [a] -> [Char]

asParagraphs :: (a -> [Char]) -> [a] -> [Char]

optTuple :: (?variant :: v, PPVersion v, PrintSlave (UnaryOp p) v, PrintMaster (Expr p) v) => [Expr p] -> String

optTuple xs = ""

showUnits :: (PPVersion v, ?variant :: v, PrintMaster (Fraction p) v) => [(MeasureUnit, Fraction p)] -> String

printMasterList :: (PPVersion v, ?variant :: v, PrintMaster a v) => [a] -> String

showBounds :: (PPVersion v, ?variant :: v, PrintMaster (Expr p) v) => (Expr p, Expr p) -> String

showRanges :: (PPVersion v, ?variant :: v, PrintMaster (Expr p) v) => [(Expr p, Expr p)] -> String

showPartRefList :: (PPVersion v, ?variant :: v, PrintSlave (VarName p) v, PrintSlave (UnaryOp p) v, PrintMaster (Expr p) v) => [(VarName p, [Expr p])] -> String