Matcha
Matcha v0.1.10

View Source Matcha.Rewrite (Matcha v0.1.10)

About rewrites.

Link to this section Summary

Types

ast()
t()
var_ast()
var_binding()
var_ref()

Functions

ast_to_pattern_source(rewrite, pattern)
ast_to_spec_source(rewrite, spec)
binding(rewrite, ref)
bound?(rewrite, ref)
is_call(call)
is_invocation(invocation)
is_literal(ast)
is_named_var(var)
is_non_literal(ast)
is_remote_call(call)
is_var(var)
outer_var?(rewrite, arg2)
pattern_to_spec(context, pattern)
perform_expansion(ast, env)
problem(problem)
problems(problems)
rewrite_bindings(spec, ast)
rewrite_body(rewrite, ast)
rewrite_calls(ast, rewrite)
rewrite_conditions(rewrite, conditions)
rewrite_match(rewrite, match)
source(rewrite)
spec_to_pattern(spec)
spec_to_pattern!(spec)

Link to this section Types

Link to this type

ast()

View Source 
@type ast() :: Macro.t()
Link to this type

t()

View Source 
@type t() :: %Matcha.Rewrite{
  bindings: %{
    vars: %{required(var_ref()) => var_binding()},
    count: non_neg_integer()
  },
  context: Matcha.Context.t() | nil,
  env: Macro.Env.t(),
  source: Macro.t()
}
Link to this type

var_ast()

View Source 
@type var_ast() :: {atom(), list(), atom() | nil}
Link to this type

var_binding()

View Source 
@type var_binding() :: atom() | var_ast()
Link to this type

var_ref()

View Source 
@type var_ref() :: atom()

Link to this section Functions

Link to this function

ast_to_pattern_source(rewrite, pattern)

View Source
Link to this function

ast_to_spec_source(rewrite, spec)

View Source
Link to this function

binding(rewrite, ref)

View Source 
@spec binding(t(), var_ref()) :: var_binding()
Link to this function

bound?(rewrite, ref)

View Source 
@spec bound?(t(), var_ref()) :: boolean()
Link to this macro

is_call(call)

View Source (macro)
Link to this macro

is_invocation(invocation)

View Source (macro)
Link to this macro

is_literal(ast)

View Source (macro)
Link to this macro

is_named_var(var)

View Source (macro)
Link to this macro

is_non_literal(ast)

View Source (macro)
Link to this macro

is_remote_call(call)

View Source (macro)
Link to this macro

is_var(var)

View Source (macro)
Link to this function

outer_var?(rewrite, arg2)

View Source 
@spec outer_var?(t(), var_ast()) :: boolean()
Link to this function

pattern_to_spec(context, pattern)

View Source 
@spec pattern_to_spec(Matcha.Context.t(), Matcha.Pattern.t()) ::
  {:ok, Matcha.Spec.t()} | {:error, Matcha.Error.problems()}
Link to this function

perform_expansion(ast, env)

View Source
Link to this function

problem(problem)

View Source 
@spec problem({type, description}) :: Matcha.Error.problem()
when type: :error | :warning, description: charlist() | binary()
Link to this function

problems(problems)

View Source 
@spec problems(problems) :: Matcha.Error.problems()
when problems: [{type, description}],
     type: :error | :warning,
     description: charlist() | binary()
Link to this function

rewrite_bindings(spec, ast)

View Source 
@spec rewrite_bindings(t(), Macro.t()) :: Macro.t()
Link to this function

rewrite_body(rewrite, ast)

View Source 
@spec rewrite_body(t(), Macro.t()) :: Macro.t()
Link to this function

rewrite_calls(ast, rewrite)

View Source 
@spec rewrite_calls(Macro.t(), t()) :: Macro.t()
Link to this function

rewrite_conditions(rewrite, conditions)

View Source 
@spec rewrite_conditions(t(), Macro.t()) :: Macro.t()
Link to this function

rewrite_match(rewrite, match)

View Source 
@spec rewrite_match(t(), Macro.t()) :: Macro.t()
Link to this function

source(rewrite)

View Source 
@spec source(t()) :: Matcha.Source.uncompiled()
Link to this function

spec_to_pattern(spec)

View Source 
@spec spec_to_pattern(Matcha.Spec.t()) ::
  {:ok, Matcha.Pattern.t()} | {:error, Matcha.Error.problems()}
Link to this function

spec_to_pattern!(spec)

View Source 
@spec spec_to_pattern!(Matcha.Spec.t()) :: Matcha.Pattern.t() | no_return()