Hets - the Heterogeneous Tool Set
Safe HaskellNone

TIP.PrintTIP

Description

Pretty-printer for TIP.

Synopsis

Documentation

printTree :: Print a => a -> String Source #

The top-level printing method.

type Doc = [ShowS] -> [ShowS] Source #

doc :: ShowS -> Doc Source #

render :: Doc -> String Source #

concatS :: [ShowS] -> ShowS Source #

replicateS :: Int -> ShowS -> ShowS Source #

class Print a where Source #

The printer class does the job.

Methods

prt :: Int -> a -> Doc Source #

Instances

Instances details
Print Char Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Char -> Doc Source #

Print Double Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Double -> Doc Source #

Print Integer Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Integer -> Doc Source #

Print String Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> String -> Doc Source #

Print Keyword Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Keyword -> Doc Source #

Print QuotedSymbol Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> QuotedSymbol -> Doc Source #

Print UnquotedSymbol Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> UnquotedSymbol -> Doc Source #

Print Symbol Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Symbol -> Doc Source #

Print Attr Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Attr -> Doc Source #

Print AttrSymbol Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> AttrSymbol -> Doc Source #

Print PolySymbol Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> PolySymbol -> Doc Source #

Print Head Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Head -> Doc Source #

Print Pattern Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Pattern -> Doc Source #

Print Case Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Case -> Doc Source #

Print Binder Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Binder -> Doc Source #

Print Lit Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Lit -> Doc Source #

Print Expr Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Expr -> Doc Source #

Print Type Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Type -> Doc Source #

Print LetDecl Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> LetDecl -> Doc Source #

Print Binding Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Binding -> Doc Source #

Print Constructor Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Constructor -> Doc Source #

Print Datatype Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Datatype -> Doc Source #

Print InnerDatatype Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> InnerDatatype -> Doc Source #

Print DatatypeName Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> DatatypeName -> Doc Source #

Print BracketedFunDec Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> BracketedFunDec -> Doc Source #

Print FunDec Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> FunDec -> Doc Source #

Print InnerFunDec Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> InnerFunDec -> Doc Source #

Print FunType Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> FunType -> Doc Source #

Print InnerFunType Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> InnerFunType -> Doc Source #

Print ConstType Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> ConstType -> Doc Source #

Print Par Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Par -> Doc Source #

Print Assertion Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Assertion -> Doc Source #

Print Decl Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Decl -> Doc Source #

Print Start Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> Start -> Doc Source #

Print a => Print [a] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [a] -> Doc Source #

Print [Symbol] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [Symbol] -> Doc Source #

Print [Attr] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [Attr] -> Doc Source #

Print [Case] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [Case] -> Doc Source #

Print [Expr] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [Expr] -> Doc Source #

Print [Type] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [Type] -> Doc Source #

Print [LetDecl] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [LetDecl] -> Doc Source #

Print [Binding] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [Binding] -> Doc Source #

Print [Constructor] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [Constructor] -> Doc Source #

Print [Datatype] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [Datatype] -> Doc Source #

Print [DatatypeName] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [DatatypeName] -> Doc Source #

Print [BracketedFunDec] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [BracketedFunDec] -> Doc Source #

Print [FunDec] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [FunDec] -> Doc Source #

Print [Decl] Source # 
Instance details

Defined in TIP.PrintTIP

Methods

prt :: Int -> [Decl] -> Doc Source #

printString :: String -> Doc Source #

mkEsc :: Char -> Char -> ShowS Source #

prPrec :: Int -> Int -> Doc -> Doc Source #