Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Fortran.Pretty
Contents
- pprint :: PrettyPrintable t => t -> String
- data DefaultPP = DefaultPP
- class PPVersion a
- type PrettyPrintable t = PrintMaster t DefaultPP
- class PrintMaster t v where
- class PrintSlave t v where
- class PrintIndSlave t v where
- class PrintIndMaster t v where
- printMasterInterfaceSpecs :: (?variant :: v, PrintMaster t v) => [t] -> [Char]
- show_namelist :: (PrintSlave t1 v, PrintSlave t v, ?variant :: v) => [(t1, [t])] -> [Char]
- show_data :: (PrintSlave t1 v, PrintSlave t v, ?variant :: v) => (t1, t) -> [Char]
- showDV :: (PrintMaster t1 v, Show a, PrintSlave (ArgList t) v, PrintSlave (BinOp t) v, PrintSlave (Expr t) v, PrintSlave (UnaryOp t) v, PrintSlave (VarName t) v, PPVersion v, ?variant :: v) => (t1, Expr t, Maybe a) -> [Char]
- showDU :: (PrintMaster t1 v, PrintMaster t v, ?variant :: v) => (t1, t) -> [Char]
- showElseIf :: (PrintSlave t1 v, PrintSlave t v, ?variant :: v) => Int -> (t1, t) -> [Char]
- showForall :: (PrintSlave (Expr t) v, PrintSlave t2 v, PrintSlave t1 v, ?variant :: v) => [([Char], t2, t1, 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
- showNQ :: Show a => a -> String
- ind :: Int -> [Char]
- indent :: Int -> Int -> [Char]
- printList :: [[a1]] -> (a -> [a1]) -> [a] -> [a1]
- 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
- 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
Documentation
pprint :: PrettyPrintable t => t -> String #
Core pretty-printing primitive
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 |
The set of all types which can be used to switch between pretty printer versions
type PrettyPrintable t = PrintMaster t DefaultPP #
class PrintMaster t v where #
Master print behaviour
Minimal complete definition
Methods
printMaster :: (?variant :: v) => t -> String #
Instances
class PrintSlave t v where #
Slave print behaviour
Minimal complete definition
Methods
printSlave :: (?variant :: v) => t -> String #
Instances
PrintMaster t DefaultPP => PrintSlave t DefaultPP # | Default slave behaviour |
PPVersion v => PrintSlave String v # | Behaviours that all slaves must have, i.e., for all versions v |
class PrintIndSlave t v where #
Slave print-indenting behaviour
Minimal complete definition
Methods
printIndSlave :: (?variant :: v) => Int -> t -> String #
Instances
class PrintIndMaster t v where #
Master print-indenting behaviour
Minimal complete definition
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 :: (PrintSlave t1 v, PrintSlave t v, ?variant :: v) => [(t1, [t])] -> [Char] #
show_data :: (PrintSlave t1 v, PrintSlave t v, ?variant :: v) => (t1, t) -> [Char] #
showDV :: (PrintMaster t1 v, Show a, PrintSlave (ArgList t) v, PrintSlave (BinOp t) v, PrintSlave (Expr t) v, PrintSlave (UnaryOp t) v, PrintSlave (VarName t) v, PPVersion v, ?variant :: v) => (t1, Expr t, Maybe a) -> [Char] #
showDU :: (PrintMaster t1 v, PrintMaster t v, ?variant :: v) => (t1, t) -> [Char] #
showElseIf :: (PrintSlave t1 v, PrintSlave t v, ?variant :: v) => Int -> (t1, t) -> [Char] #
showForall :: (PrintSlave (Expr t) v, PrintSlave t2 v, PrintSlave t1 v, ?variant :: v) => [([Char], t2, t1, Expr t)] -> [Char] #
isEmptyArg :: Arg t -> Bool #
isEmptyArgName :: ArgName t -> [Bool] #
Minimal complete definition
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 #