Reference

substitute_top_level(var, val, mod, expr)

Takes a syntax object expr and substitutes every occurence of module var for val, only if the resulting object is actually present in module mod. The mod module should correspond with a lookup of val in the caller's namespace.

@compose module Name
    [@mixin Parents, ...]
    ...
end

Creates a new composable module Name. Structs inside this module are merged with those of the same name in Parents.

@for_each(M -> M.method(), lst::Vector{Symbol})

Calls method() for each module in lst that actually implements that method. Here lst should be a vector of symbols that are all in the current module's namespace.

pass(x::CompositePass, expr)

Tries all passes in a composite pass in order, and returns with the first that succeeds (i.e. doesn't return no_match). You may create a CompositePass by adding passes with the + operator.

pass(x::Pass, expr)

Interface. An implementation of the pass function should take a Pass object and an expression (or symbol), and return no_match if the expression did not match the pattern.

You can use the given Pass object to store information about this pass, return syntax that should replace the current expression, or nothing if it should be removed.

walk(x::Pass, expr_list)

Calls MacroTools.prewalk with the given Pass. If no_match is returned, the expression stays untouched.

@spec module *name*
    *body*...
end

Create a spec. The @spec macro itself doesn't perform any operations other than creating a module and storing its own AST as const *name*.AST.

This macro is only here for teaching purposes.