alice
library
manual.
signature INSPECTOR
structure Inspector : INSPECTOR
The Inspector is an graphical tool that allows to interactively display and inspect data structures and modules.
For example, the expression
inspect x
tells the Inspector to show the value x. The Inspector will popup a window and pretty-print the value. Different elements are assigned different colors to make output more readable. Most stateful entitities are updated automatically in the display when their state changes.
import structure Inspector from "x-alice:/lib/tools/Inspector"
In the interactive toplevel the Inspector is available without further import announcements. The function inspect is available unqualified.
signature INSPECTOR =
sig
val inspect : 'a -> unit
functor Inspect (signature S structure X : S) : any
val register : ('a -> string) -> unit
end
displays x in the Inspector window.
displays the module X, having signature S.
Adds function f as a layout function. The function must have a concrete type tyvarseq t -> string, where t has to be an abstract type. Further calls to inspect use this function to transform values of any type tyseq t into a tree the inspector can display. Raises Type if the type of f is not of the required form. This includes the case that t is not an abstract type, or that f is not fully polymorphic in the type arguments tyseq to t. Note that these rules also preclude f from being too polymorphic, i.e. being of type 'a -> string, because in that case no type name could be derived.