View Source
TypeResolver.Env
(TypeResolver v0.1.7)
This module defines the environment that is used to
resolve types.
It consists of the following:
- a target module the currently resolved types resides in
- a lookup of user types of the current module
- maybe the args for current the type
Types
@type t() :: %TypeResolver.Env{
args: (map() | nil) | nil,
caller: map() | nil,
target_module: module() | nil,
user_types: map() | nil
}
Functions
@spec get_user_type(t(), atom()) :: nil | any()
@spec with_args(t(), map()) :: t()
@spec with_target_module(t(), module()) :: t()
@spec with_user_types(t(), map()) :: t()