-module(showtime@common@test_result).
-compile(no_auto_import).

-export_type([ignore_reason/0, test_return/0, exception/0, reason/0, reason_detail/0, gleam_error_detail/0, class/0, trace_list/0, trace/0, extra_info/0, arity_/0]).

-type ignore_reason() :: ignore.

-type test_return() :: {test_function_return, gleam@dynamic:dynamic()} |
    {ignored, ignore_reason()}.

-type exception() :: {erlang_exception, class(), reason(), trace_list()}.

-type reason() :: {assert_equal, list(reason_detail())} |
    {gleam_error, gleam_error_detail()}.

-type reason_detail() :: {module, binary()} |
    {reason_line, integer()} |
    {expression, binary()} |
    {expected, gleam@dynamic:dynamic()} |
    {value, gleam@dynamic:dynamic()}.

-type gleam_error_detail() :: {assert,
        binary(),
        binary(),
        integer(),
        binary(),
        gleam@dynamic:dynamic()}.

-type class() :: erlang_error | exit | throw.

-type trace_list() :: {trace_list, list(trace())}.

-type trace() :: {trace, binary(), arity_(), list(extra_info())} |
    {trace_module, binary(), binary(), arity_(), list(extra_info())}.

-type extra_info() :: {error_info,
        gleam@map:map_(gleam@dynamic:dynamic(), gleam@dynamic:dynamic())} |
    {file, binary()} |
    {line, integer()}.

-type arity_() :: {num, integer()} | {arg_list, list(gleam@dynamic:dynamic())}.