Search
An implementation of Guy's value chain methodology for debugging complex functional programs
@type file_t() :: binary()
@type line_t() :: non_neg_integer()
@type trail_t(t) :: {t, file_t(), line_t()}
@spec audit_fun(struct(), Macro.Env) :: struct()
@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()