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

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

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

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

get_and_update_fun(data, current_value)

View Source

Specs

get_and_update_fun(data, current_value) ::
  (:get_and_update, data, (term() -> term()) ->
     {current_value, new_data :: container()} | :pop)

Specs

get_fun(data) :: (:get, data, (term() -> term()) -> new_data :: container())

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

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