normalizers.cpp File Reference

#include <rang.hpp>
#include <mim/tuple.h>
#include <mim/world.h>
#include "mim/plug/refly/refly.h"

Include dependency graph for normalizers.cpp:

Go to the source code of this file.

Namespaces
namespace	mim
namespace	mim::plug
namespace	mim::plug::refly
	The refly Plugin

Functions
%refly.dbg
template<dbg id>
const Def *	mim::plug::refly::normalize_dbg (const Def *, const Def *, const Def *arg)
%refly.reify
const Def *	mim::plug::refly::normalize_reify (const Def *, const Def *, const Def *arg)
%refly.reflect
const Def *	mim::plug::refly::normalize_reflect (const Def *, const Def *, const Def *arg)
%refly.refine
const Def *	mim::plug::refly::normalize_refine (const Def *, const Def *, const Def *arg)
%refly.type
const Def *	mim::plug::refly::normalize_type (const Def *, const Def *, const Def *arg)
%refly.gid
const Def *	mim::plug::refly::normalize_gid (const Def *, const Def *, const Def *arg)
%refly.equiv
template<equiv id>
const Def *	mim::plug::refly::normalize_equiv (const Def *, const Def *, const Def *arg)
%refly.check
const Def *	mim::plug::refly::normalize_check (const Def *type, const Def *, const Def *arg)