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:
- As unique identifiers.
- 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.)
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{}