eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.EO.Phi.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 AlphaIndex Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print Attribute Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print Binding Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print BindingsMetaId Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print Bytes Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print BytesMetaId Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print Function Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print LabelId Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print LabelMetaId Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print MetaFunctionName Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print MetaId Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print Object Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print ObjectAction Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print ObjectHead Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print ObjectMetaId Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print PeeledObject Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print Program Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print RuleAttribute Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print TailMetaId Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print String Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print Integer Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print Char Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print Double Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print [Binding] Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

Print [ObjectAction] Source # 
Instance details

Defined in Language.EO.Phi.Syntax.Print

Methods

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

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

Defined in Language.EO.Phi.Syntax.Print

Methods

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

printString :: String -> Doc Source #

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

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