TypeCheck.DefaultOverrides.Access (TypeCheck v0.10.4) 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()