View Source TypeCheck.Builtin.Reference (TypeCheck v0.13.7)

Type to check whether the given input is a reference.

Elixir/Erlang uses references for two use-cases:

  1. As unique identifiers.
  2. To refer to resources created and returned by NIFs (to be passed to other NIFs of the same NIF module).

The property testing generator will generate arbitrary references using Kernel.make_ref(). To property-test the second kind of data, you should create your own kind of generator that calls the appropriate NIF.

Summary

Types

(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.)

Types

@type problem_tuple() :: {t(), :no_match, %{}, any()}

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

Full definition:

problem_tuple :: {t(), :no_match, %{}, any()}
@type t() :: %TypeCheck.Builtin.Reference{}

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

Full definition:

t :: %TypeCheck.Builtin.Reference{}