curry.backends.generic.eval.trace module

Functions for tracing Curry evaluation.

class curry.backends.generic.eval.trace.Trace(rts)

Bases: object

This object calls the freestanding trace functions to print log output. It keeps track of the indent level and filters out clutter. As an example of the latter, when an expression being inspected was just created in the previous step, it is not repeated.

activate_queue(qid)

dedent(qid=None)

enter_rewrite(expr)

exit_rewrite(expr)

failed()

fork(qid=None)

indent(qid=None)

position(expr, path)

yield_(value)

curry.backends.generic.eval.trace.activate_queue(rts, qid)

curry.backends.generic.eval.trace.enter_rewrite(rts, indent, expr)

curry.backends.generic.eval.trace.exit_rewrite(rts, indent, expr)

curry.backends.generic.eval.trace.expr_id(expr)

curry.backends.generic.eval.trace.failed(rts, qid=None)

curry.backends.generic.eval.trace.fork(rts, qid=None)

curry.backends.generic.eval.trace.position(rts, indent, expr, path)

curry.backends.generic.eval.trace.show_queue(rts, qid=None)

curry.backends.generic.eval.trace.trace_steps(f)

Wraps the S procedure to trace the application of steps.

curry.backends.generic.eval.trace.trace_values(f)

Wraps the D procedure to trace value creation.

curry.backends.generic.eval.trace.yield_(rts, value)