View Source TypeResolver.Env (TypeResolver v0.1.5)

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

Summary

Types

@type t() :: %TypeResolver.Env{
  args: (map() | nil) | nil,
  target_module: module() | nil,
  user_types: map() | nil
}

Functions

Link to this function

get_user_type(env, type)

View Source
@spec get_user_type(t(), atom()) :: nil | any()
Link to this function

make(target, user_types)

View Source
@spec make(module(), map()) :: t()
@spec with_args(t(), map()) :: t()
Link to this function

with_target_module(env, module)

View Source
@spec with_target_module(t(), module()) :: t()
Link to this function

with_user_types(env, user_types)

View Source
@spec with_user_types(t(), map()) :: t()