View Source TypeCheck.DefaultOverrides.Access (TypeCheck v0.13.5)

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.)

t()

(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

Link to this type

access_fun(data, current_value)

View Source
@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()
@type container() :: keyword() | struct() | map()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

container() :: keyword() | struct() | map()
Link to this type

get_and_update_fun(data, current_value)

View Source
@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)
@type get_fun(data) :: (:get, data, (term() -> term()) -> new_data :: container())

(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()