simple-topes-0.1.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

RSTT.Syntax.Print

Description

Pretty-printer for RSTT.

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 #

parenth :: Doc -> Doc Source #

concatS :: [ShowS] -> ShowS Source #

concatD :: [Doc] -> Doc 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 Cube Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print CubeContext Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Decl Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Label Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Line Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Point Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print PointConDecl Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print PointDecl Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print PointPattern Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Program Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print RuleName Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Sequent Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Shape Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Tope Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print TopeContext Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print TopeRule Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Var Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print String Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Integer Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Char Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print Double Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print [Cube] Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print [Decl] Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print [Point] Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print [PointConDecl] Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print [PointDecl] Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print [Sequent] Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print [Tope] Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

Print [TopeRule] Source # 
Instance details

Defined in RSTT.Syntax.Print

Methods

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

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

Defined in RSTT.Syntax.Print

Methods

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

printString :: String -> Doc Source #

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

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