View Source Audit (Audit v0.1.6)

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

Link to this section Summary

Link to this section Types

@type change_t() :: {struct(), trail_t()}
@type file_t() :: binary()
@type line_t() :: non_neg_integer()
@type trail_t() :: {struct(), 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()) :: file_t()
@spec line(trail_t()) :: line_t()
@spec nth(
  struct(),
  non_neg_integer()
) :: struct()
@spec payload(struct(), Macro.Env) :: trail_t()
@spec record(trail_t()) :: struct()
@spec to_string(struct()) :: binary()
@spec trail(struct()) :: trail_t() | nil
@spec unaudit_fun(struct()) :: map()