Safe Haskell | None |
---|---|
Language | Haskell98 |
- pprint :: PrettyPrintable t => t -> String
- data DefaultPP = DefaultPP
- class PPVersion a
- type PrettyPrintable t = PrintMaster t DefaultPP
- class PrintMaster t v where
- printMaster :: (?variant :: v) => t -> String
- class PrintSlave t v where
- printSlave :: (?variant :: v) => t -> String
- class PrintIndSlave t v where
- printIndSlave :: (?variant :: v) => Int -> t -> String
- class PrintIndMaster t v where
- printIndMaster :: (?variant :: v) => Int -> t -> String
- 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
- 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
- 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 Source
Core pretty-printing primitive
Define default pretty-print version constructor
PPVersion DefaultPP Source | |
PrintIndMaster t DefaultPP => PrintIndSlave t DefaultPP Source | |
PrintMaster t DefaultPP => PrintSlave t DefaultPP Source | Default slave behaviour |
The set of all types which can be used to switch between pretty printer versions
type PrettyPrintable t = PrintMaster t DefaultPP Source
class PrintMaster t v where Source
Master print behaviour
printMaster :: (?variant :: v) => t -> String Source
class PrintSlave t v where Source
Slave print behaviour
printSlave :: (?variant :: v) => t -> String Source
PPVersion v => PrintSlave String v Source | Behaviours that all slaves must have, i.e., for all versions v |
PrintMaster t DefaultPP => PrintSlave t DefaultPP Source | Default slave behaviour |
class PrintIndSlave t v where Source
Slave print-indenting behaviour
printIndSlave :: (?variant :: v) => Int -> t -> String Source
class PrintIndMaster t v where Source
Master print-indenting behaviour
printIndMaster :: (?variant :: v) => Int -> t -> String Source
(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 Source |
printMasterInterfaceSpecs :: (?variant :: v, PrintMaster t v) => [t] -> [Char] Source
show_namelist :: (?variant :: v, PrintSlave t v, PrintSlave t1 v) => [(t, [t1])] -> [Char] Source
show_data :: (?variant :: v, PrintSlave t v, PrintSlave t1 v) => (t, t1) -> [Char] Source
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] Source
showDU :: (?variant :: v, PrintMaster t v, PrintMaster t1 v) => (t, t1) -> [Char] Source
showElseIf :: (?variant :: v, PrintSlave t v, PrintSlave t1 v) => Int -> (t, t1) -> [Char] Source
showForall :: (?variant :: v, PrintSlave t1 v, PrintSlave t2 v, PrintSlave (Expr t) v) => [([Char], t1, t2, Expr t)] -> [Char] Source
isEmptyArg :: Arg t -> Bool Source
isEmptyArgName :: ArgName t -> [Bool] Source
asParagraphs :: (a -> [Char]) -> [a] -> [Char] Source
optTuple :: (?variant :: v, PPVersion v, PrintSlave (UnaryOp p) v, PrintMaster (Expr p) v) => [Expr p] -> String Source
optTuple xs = ""
showUnits :: (PPVersion v, ?variant :: v, PrintMaster (Fraction p) v) => [(MeasureUnit, Fraction p)] -> String Source
printMasterList :: (PPVersion v, ?variant :: v, PrintMaster a v) => [a] -> String Source
showBounds :: (PPVersion v, ?variant :: v, PrintMaster (Expr p) v) => (Expr p, Expr p) -> String Source
showRanges :: (PPVersion v, ?variant :: v, PrintMaster (Expr p) v) => [(Expr p, Expr p)] -> String Source
showPartRefList :: (PPVersion v, ?variant :: v, PrintSlave (VarName p) v, PrintSlave (UnaryOp p) v, PrintMaster (Expr p) v) => [(VarName p, [Expr p])] -> String Source