mim::plug::refly Namespace Reference

The refly Plugin More...

Classes
class	RemoveDbgPerm
	Removes all refly.debug.perm markers for code gen. More...

Enumerations
%refly.Code
enum class	Code : flags_t
%refly.error
enum class	error : flags_t
%refly.warn
enum class	warn : flags_t
%refly.info
enum class	info : flags_t
%refly.verbose
enum class	verbose : flags_t
%refly.debug
enum class	debug : flags_t
%refly.remove_dbg_perm_pass
enum class	remove_dbg_perm_pass : flags_t

Functions
void	register_normalizers (Normalizers &normalizers)

Variables
static constexpr plugin_t	Plugin_Id = 0x4c61cd6800000000

%refly.reify
enum class	reify : flags_t
Ref	normalize_reify (Ref, Ref, Ref arg)

%refly.reflect
enum class	reflect : flags_t
Ref	normalize_reflect (Ref, Ref, Ref arg)

%refly.gid
enum class	gid : flags_t
Ref	normalize_gid (Ref, Ref, Ref arg)

%refly.dbg
enum class	dbg : flags_t {   tmp = 0x4c61cd6800000900 ,   perm = 0x4c61cd6800000901 }
template<dbg id>
Ref	normalize_dbg (Ref type, Ref callee, Ref arg)

%refly.refine
enum class	refine : flags_t
Ref	normalize_refine (Ref type, Ref callee, Ref arg)

Detailed Description

The refly Plugin

Enumeration Type Documentation

Code

enum class mim::plug::refly::Code : flags_t

strong

Definition at line 14 of file autogen.h.

dbg

enum class mim::plug::refly::dbg : flags_t

strong

Enumerator
tmp
perm

Definition at line 80 of file autogen.h.

debug

enum class mim::plug::refly::debug : flags_t

strong

Definition at line 73 of file autogen.h.

error

enum class mim::plug::refly::error : flags_t

strong

Definition at line 45 of file autogen.h.

gid

enum class mim::plug::refly::gid : flags_t

strong

Definition at line 37 of file autogen.h.

info

enum class mim::plug::refly::info : flags_t

strong

Definition at line 59 of file autogen.h.

refine

enum class mim::plug::refly::refine : flags_t

strong

Definition at line 92 of file autogen.h.

reflect

enum class mim::plug::refly::reflect : flags_t

strong

Definition at line 29 of file autogen.h.

reify

enum class mim::plug::refly::reify : flags_t

strong

Definition at line 21 of file autogen.h.

remove_dbg_perm_pass

enum class mim::plug::refly::remove_dbg_perm_pass : flags_t

strong

Definition at line 100 of file autogen.h.

verbose

enum class mim::plug::refly::verbose : flags_t

strong

Definition at line 66 of file autogen.h.

warn

enum class mim::plug::refly::warn : flags_t

strong

Definition at line 52 of file autogen.h.

Function Documentation

normalize_dbg()

template<dbg id>

Ref mim::plug::refly::normalize_dbg	(	Ref	type,
		Ref	callee,
		Ref	arg )

Definition at line 39 of file normalizers.cpp.

References perm, mim::Def::projs(), and mim::Def::world().

normalize_gid()

Ref mim::plug::refly::normalize_gid	(	Ref	,
		Ref	,
		Ref	arg )

Definition at line 61 of file normalizers.cpp.

References mim::Def::gid(), mim::World::lit_nat(), and mim::Def::world().

normalize_refine()

Ref mim::plug::refly::normalize_refine	(	Ref	type,
		Ref	callee,
		Ref	arg )

Definition at line 50 of file normalizers.cpp.

References mim::Lit::isa(), mim::Def::projs(), and mim::Def::world().

normalize_reflect()

Ref mim::plug::refly::normalize_reflect	(	Ref	,
		Ref	,
		Ref	arg )

Definition at line 48 of file normalizers.cpp.

normalize_reify()

Ref mim::plug::refly::normalize_reify	(	Ref	,
		Ref	,
		Ref	arg )

Definition at line 46 of file normalizers.cpp.

register_normalizers()

void mim::plug::refly::register_normalizers

(

Normalizers &

normalizers

)

Referenced by mim_get_plugin().

Variable Documentation

Plugin_Id

plugin_t mim::plug::refly::Plugin_Id = 0x4c61cd6800000000

staticconstexpr

Definition at line 10 of file autogen.h.