rzk-0.7.5: An experimental proof assistant for synthetic ∞-categories
Safe HaskellNone
LanguageHaskell2010

Language.Rzk.Syntax.Print

Description

Pretty-printer for Language.

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 HoleIdentToken Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print VarIdentToken Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print String Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print Integer Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print Char Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print Double Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (Command' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (DeclUsedVars' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (HoleIdent' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (Language' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (LanguageDecl' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (Module' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (Param' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (ParamDecl' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (Pattern' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (Restriction' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (SectionName' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (SigmaParam' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (Term' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print (VarIdent' a) Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print [Command' a] Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print [Param' a] Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print [Pattern' a] Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print [Restriction' a] Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print [SigmaParam' a] Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print [Term' a] Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

Print [VarIdent' a] Source # 
Instance details

Defined in Language.Rzk.Syntax.Print

Methods

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

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

Defined in Language.Rzk.Syntax.Print

Methods

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

printString :: String -> Doc Source #

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

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