Pretty Printing
This is the generic reflection based pretty printer. It will try
to print objects of any sort using interface free type
information as far as available at runtime. Every instance of a
publicly visible free type will be printed in a canonical
constructor notation with eventual parameter instantiation, or as
SOME alpha
else. The builtin denotation
type is
handled specially. The printing method may be overridden with
more efficient specializations for frequently used types.
See PrettyPrintBuiltin.
List of Import References :
See Method
See Reflection
SIGNATURE PrettyPrint[alpha] SORT alpha /$ DYNAMIC [alpha] $/ IMPORT Method[value, denotation] ONLY method : SORT Reflection ONLY value : SORT FUN print : alpha -> denotation FUN print : method -> alpha -> denotation
next node: PrettyPrintStream,
prev node: StandardOrderBuiltin,
up to node: User Subsystem : Reflections