lambda-pi-0.0.3: λΠ-calculus implemented in a few different ways.

Safe Haskell	None
Language	Haskell2010

Language.LambdaPi.Syntax.Print

Description

Pretty-printer for Language.

Synopsis

printTree :: Print a => a -> String
type Doc = [ShowS] -> [ShowS]
doc :: ShowS -> Doc
render :: Doc -> String
parenth :: Doc -> Doc
concatS :: [ShowS] -> ShowS
concatD :: [Doc] -> Doc
replicateS :: Int -> ShowS -> ShowS
class Print a where
- prt :: Int -> a -> Doc
printString :: String -> Doc
mkEsc :: Char -> Char -> ShowS
prPrec :: Int -> Int -> Doc -> Doc

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 VarIdent Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> VarIdent -> Doc Source #
Print String Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> String -> Doc Source #
Print Integer Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> Integer -> Doc Source #
Print Char Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> Char -> Doc Source #
Print Double Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> Double -> Doc Source #
Print (Command' a) Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> Command' a -> Doc Source #
Print (Pattern' a) Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> Pattern' a -> Doc Source #
Print (Program' a) Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> Program' a -> Doc Source #
Print (ScopedTerm' a) Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> ScopedTerm' a -> Doc Source #
Print (Term' a) Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> Term' a -> Doc Source #
Print [Command' a] Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> [Command' a] -> Doc Source #
Print a => Print [a] Source #
Instance details Defined in Language.LambdaPi.Syntax.Print Methods prt :: Int -> [a] -> Doc Source #

printString :: String -> Doc Source #

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

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