View Source TypeCheck.DefaultOverrides.Access (TypeCheck v0.12.0)
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.)
(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
@type 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)
@type any_container() :: any()
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
any_container() :: any()
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
container() :: keyword() | struct() | map()
@type get_and_update_fun(data, current_value) :: (:get_and_update, data, (term() -> term()) -> {current_value, new_data :: container()} | :pop)
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
get_and_update_fun(data, current_value) :: (:get_and_update, data, (term() -> term()) -> {current_value, new_data :: container()} | :pop)
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
get_fun(data) :: (:get, data, (term() -> term()) -> new_data :: container())
@type key() :: any()
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
key() :: any()
@type nil_container() :: nil
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
nil_container() :: nil
@type 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()
@type value() :: any()
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
value() :: any()