rewrite.h File Reference

#include "thorin/world.h"

Include dependency graph for rewrite.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	thorin::Rewriter
	Recurseivly rewrites part of a program into the provided World. More...
class	thorin::VarRewriter

Namespaces
namespace	thorin

Functions
rewrite
Rewrites mut's ops by substituting mut's Var with arg.
DefVec	thorin::rewrite (Def *mut, Ref arg)
Ref	thorin::rewrite (size_t i, Def *mut, Ref arg)
	As above but only rewrites mut's i^th op.
Ref	thorin::rewrite (Ref def, Def *mut, Ref arg)
	As above but rewrites def.