TypeCheck.DefaultOverrides.Access (TypeCheck v0.8.2) View Source
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.)
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()