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