Overview  Index  Help 

CorePrettyPrinter


The First-Order LoopW Type Inference core syntax pretty-printer. The core pretty-printer converts core abstract syntax into string.

Opened structures

PrettyPrinterKeywords

BasePrettyPrinter

CoreAst

               
Value summary

val stringOfBlock_internal
           converts block into string accordingly to the formula/tex demand.

val stringOfCommand : bool -> bool -> CoreAst.command -> string list
           converts command into string accordingly to the formula/tex demand.

val stringOfCommand_internal
           converts command into string accordingly to the formula/tex demand.

val stringOfExpression : bool -> bool -> CoreAst.expression -> string list
           converts expression into string accordingly to the formula/tex demand.

val stringOfExpressionList
           converts expression list into string accordingly to the formula/tex demand.

val stringOfExpression_internal
           converts expression into string accordingly to the formula/tex demand.

val stringOfProgram : bool -> bool -> CoreAst.program -> string list
           converts program into string accordingly to the formula/tex demand.

val stringOfProgram_Untyped : bool -> bool -> CoreAst.program -> string list
           converts program into string accordingly to the formula/tex demand, without any type information.

val stringOfSequence : bool -> bool -> CoreAst.sequence -> string list
           converts sequence into string accordingly to the formula/tex demand.

val stringOfSequence_internal
           converts sequence into string accordingly to the formula/tex demand.

val stringOfValue : bool -> bool -> CoreAst.value -> string list
           converts value into string accordingly to the formula/tex demand.

val stringOfValue_internal
           converts value into string accordingly to the formula/tex demand.

 

       
Value detail

stringOfBlock_internal

fun stringOfBlock_internal tab form tex typ annot b

converts block into string accordingly to the formula/tex demand.

Parameters:
tab
the tabulation level.
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
typ
flag indicating whether types have to be displayed.
annot
flag indicating whether block annotation has to be displayed (for proc...).
b
the block.
Returns:
the string representation of the block.

stringOfCommand_internal

fun stringOfCommand_internal tab form tex typ c

converts command into string accordingly to the formula/tex demand.

Parameters:
tab
the tabulation level.
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
typ
flag indicating whether types have to be displayed.
c
the command.
Returns:
the string representation of the command.

stringOfSequence_internal

fun stringOfSequence_internal tab form tex typ s

converts sequence into string accordingly to the formula/tex demand.

Parameters:
tab
the tabulation level.
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
typ
flag indicating whether types have to be displayed.
s
the sequence.
Returns:
the string representation of the sequence.

stringOfExpression_internal

fun stringOfExpression_internal tab form tex typ e

converts expression into string accordingly to the formula/tex demand.

Parameters:
tab
the tabulation level.
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
typ
flag indicating whether types have to be displayed.
e
the expression.
Returns:
the string representation of the expression.

stringOfExpressionList

fun stringOfExpressionList tab form tex typ el

converts expression list into string accordingly to the formula/tex demand.

Parameters:
tab
the tabulation level.
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
typ
flag indicating whether types have to be displayed.
el
the expression list.
Returns:
the string representation of the expression list.

stringOfValue_internal

fun stringOfValue_internal tab form tex typ v

converts value into string accordingly to the formula/tex demand.

Parameters:
tab
the tabulation level.
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
typ
flag indicating whether types have to be displayed.
v
the value.
Returns:
the string representation of the value.

stringOfValue

fun stringOfValue form tex v : bool -> bool -> CoreAst.value -> string list

converts value into string accordingly to the formula/tex demand.

Parameters:
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
v
the value.
Returns:
the string representation of v.

stringOfExpression

fun stringOfExpression form tex e
    : bool -> bool -> CoreAst.expression -> string list

converts expression into string accordingly to the formula/tex demand.

Parameters:
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
e
the expression.
Returns:
the string representation of e.

stringOfCommand

fun stringOfCommand form tex c : bool -> bool -> CoreAst.command -> string list

converts command into string accordingly to the formula/tex demand.

Parameters:
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
c
the command.
Returns:
the string representation of c.

stringOfSequence

fun stringOfSequence form tex s
    : bool -> bool -> CoreAst.sequence -> string list

converts sequence into string accordingly to the formula/tex demand.

Parameters:
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
s
the sequence.
Returns:
the string representation of s.

stringOfProgram

fun stringOfProgram form tex p : bool -> bool -> CoreAst.program -> string list

converts program into string accordingly to the formula/tex demand.

Parameters:
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
p
the program.
Returns:
the string representation of p.

stringOfProgram_Untyped

fun stringOfProgram_Untyped form tex p
    : bool -> bool -> CoreAst.program -> string list

converts program into string accordingly to the formula/tex demand, without any type information.

Parameters:
form
the formula-display (instead of imperative types) flag.
tex
the tex flag.
p
the program.
Returns:
the string representation of p.

 


Overview  Index  Help