@type context() :: :match | :guard | nil

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

Full definition:

context() :: :match | :guard | nil

@type context_modules() :: [module()]

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

Full definition:

context_modules() :: [module()]

@type file() :: binary()

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

Full definition:

file() :: binary()

@type line() :: non_neg_integer()

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

Full definition:

line() :: non_neg_integer()

@type name_arity() :: {atom(), arity()}

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

Full definition:

name_arity() :: {atom(), arity()}

@type t() :: %Macro.Env{
  aliases: aliases(),
  context: context(),
  context_modules: context_modules(),
  contextual_vars: contextual_vars(),
  current_vars: current_vars(),
  file: file(),
  function: name_arity() | nil,
  functions: functions(),
  lexical_tracker: lexical_tracker(),
  line: line(),
  macro_aliases: macro_aliases(),
  macros: macros(),
  module: module(),
  prematch_vars: prematch_vars(),
  requires: requires(),
  tracers: tracers(),
  unused_vars: unused_vars(),
  vars: vars()
}

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

Full definition:

t() :: %Macro.Env{
  aliases: aliases(),
  context: context(),
  context_modules: context_modules(),
  contextual_vars: contextual_vars(),
  current_vars: current_vars(),
  file: file(),
  function: name_arity() | nil,
  functions: functions(),
  lexical_tracker: lexical_tracker(),
  line: line(),
  macro_aliases: macro_aliases(),
  macros: macros(),
  module: module(),
  prematch_vars: prematch_vars(),
  unused_vars: unused_vars(),
  requires: requires(),
  tracers: tracers(),
  vars: vars()
}

@type variable() :: {atom(), atom() | term()}

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

Full definition:

variable() :: {atom(), atom() | term()}