View Source Audit (Audit v0.1.2)

An implementation of Guy's value chain methodology for debugging complex functional programs

Link to this section Summary

Link to this section Types

@type file_t() :: binary()
@type line_t() :: non_neg_integer()
@type trail_t(t) :: {t, file_t(), line_t()}

Link to this section Functions

@spec audit_fun(struct(), Macro.Env) :: struct()
Link to this macro

audit_real(record)

View Source (macro)
@spec file(trail_t(term())) :: file_t()
@spec line(trail_t(term())) :: line_t()
@spec payload(t, Macro.Env) :: trail_t(t) when t: var
@spec record(trail_t(t)) :: t when t: var
@spec unaudit_fun(struct()) :: struct()