Overview  Index  Help 

CORE_PRETTY_PRINTER

All Known Implementing Modules:

CorePrettyPrinter


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

           
Value summary

val stringOfCommand : bool -> bool -> CoreAst.command -> string list
           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 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 stringOfValue : bool -> bool -> CoreAst.value -> string list
           converts value into string accordingly to the formula/tex demand.

 

       
Value detail

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-disply (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-disply (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-disply (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-disply (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-disply (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-disply (instead of imperative types) flag.
tex
the tex flag.
p
the program.
Returns:
the string representation of p.

 


Overview  Index  Help