Generics.BiGUL.Interpreter

The standard interpreters, which perform all dynamic checks to ensure well-behavedness and produce trace information when execution fails. Currently, tracing is designed for debugging, and only the traces leading to failure can be expected to contain a complete log of the steps executed. In other words, traces leading to success usually contain only partial tracing information. Also, when a program loops, there is no guarantee that the trace is computed productively. Finally, note that branch numbering starts from 0.

Documentation

put :: BiGUL s v -> s -> v -> Maybe s

The putback semantics of a BiGUL program.

putTrace :: BiGUL s v -> s -> v -> BiGULTrace

The execution trace of a put computation.

get :: BiGUL s v -> s -> Maybe v

The get semantics of a BiGUL program.

getTrace :: BiGUL s v -> s -> BiGULTrace

The execution trace of a get computation.