TypeCheck.DefaultOverrides.Access (TypeCheck v0.8.0) View Source
Link to this section Summary
Link to this section Types
Specs
access_fun(data, current_value) :: get_fun(data) | get_and_update_fun(data, current_value)
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
access_fun(data, current_value) :: get_fun(data) | get_and_update_fun(data, current_value)
Specs
any_container() :: any()
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
any_container() :: any()
Specs
Specs
Specs
Specs
key() :: any()
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
key() :: any()
Specs
nil_container() :: nil
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
nil_container() :: nil
Specs
t() :: container() | nil_container() | any_container()
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
t() :: container() | nil_container() | any_container()
Specs
value() :: any()
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
value() :: any()