View Source TypeCheck.DefaultOverrides.Exception (TypeCheck v0.13.5)

Link to this section Summary

Types

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

t()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Link to this section Types

@type arity_or_args() :: non_neg_integer() | list()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

arity_or_args() :: non_neg_integer() | list()
@type kind() :: :error | non_error_kind()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

kind() :: :error | non_error_kind()
@type location() :: keyword()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

location() :: keyword()
@type non_error_kind() :: :exit | :throw | {:EXIT, pid()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

non_error_kind() :: :exit | :throw | {:EXIT, pid()}
@type stacktrace() :: [stacktrace_entry()]

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

stacktrace() :: [stacktrace_entry()]
@type stacktrace_entry() ::
  {module(), atom(), arity_or_args(), location()}
  | {(... -> any()), arity_or_args(), location()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

stacktrace_entry() :: {module(), atom(), arity_or_args(), location()} | {(... -> any()), arity_or_args(), location()}
@type t() :: %{
  :__struct__ => module(),
  :__exception__ => true,
  optional(atom()) => any()
}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

t() :: %{:__struct__ => module(), :__exception__ => true, optional(atom()) => any()}