mim::plug::refly Namespace Reference

The refly Plugin More...

Enumerations
<tt>refly.Code</tt>
enum class	Code : flags_t
<tt>refly.error</tt>
enum class	error : flags_t
<tt>refly.warn</tt>
enum class	warn : flags_t
<tt>refly.info</tt>
enum class	info : flags_t
<tt>refly.verbose</tt>
enum class	verbose : flags_t
<tt>refly.debug</tt>
enum class	debug : flags_t
<tt>refly.remove_dbg_repl</tt>
enum class	remove_dbg_repl : flags_t

Functions
void	register_normalizers (Normalizers &normalizers)

Variables
static constexpr plugin_t	Plugin_Id = 0x4c61cd6800000000

<tt>refly.reify</tt>
enum class	reify : flags_t
const Def *	normalize_reify (const Def *, const Def *, const Def *arg)

<tt>refly.reflect</tt>
enum class	reflect : flags_t
const Def *	normalize_reflect (const Def *, const Def *, const Def *arg)

<tt>refly.type</tt>
enum class	type : flags_t
const Def *	normalize_type (const Def *, const Def *, const Def *arg)

<tt>refly.gid</tt>
enum class	gid : flags_t
const Def *	normalize_gid (const Def *, const Def *, const Def *arg)

<tt>refly.dbg</tt>
enum class	dbg : flags_t {   tmp = 0x4c61cd6800000a00 ,   perm = 0x4c61cd6800000a01 }
template<dbg id>
const Def *	normalize_dbg (const Def *, const Def *, const Def *arg)

<tt>refly.struc</tt>
enum class	struc : flags_t {   ne = 0x4c61cd6800000b00 ,   e = 0x4c61cd6800000b01 }
template<struc id>
const Def *	normalize_struc (const Def *, const Def *, const Def *arg)

<tt>refly.alpha</tt>
enum class	alpha : flags_t {   ne = 0x4c61cd6800000c00 ,   e = 0x4c61cd6800000c01 }
template<alpha id>
const Def *	normalize_alpha (const Def *, const Def *, const Def *arg)

<tt>refly.check_bot</tt>
enum class	check_bot : flags_t
const Def *	normalize_check_bot (const Def *, const Def *c, const Def *arg)

<tt>refly.check</tt>
enum class	check : flags_t
const Def *	normalize_check (const Def *typetype, const Def *, const Def *arg)

Detailed Description

The refly Plugin

Enumeration Type Documentation

alpha

enum class mim::plug::refly::alpha : flags_t

strong

Enumerator
ne
e

Definition at line 112 of file autogen.h.

check

enum class mim::plug::refly::check : flags_t

strong

Definition at line 132 of file autogen.h.

check_bot

enum class mim::plug::refly::check_bot : flags_t

strong

Definition at line 124 of file autogen.h.

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 88 of file autogen.h.

debug

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

strong

Definition at line 81 of file autogen.h.

error

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

strong

Definition at line 53 of file autogen.h.

gid

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

strong

Definition at line 45 of file autogen.h.

info

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

strong

Definition at line 67 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_repl

enum class mim::plug::refly::remove_dbg_repl : flags_t

strong

Definition at line 140 of file autogen.h.

struc

enum class mim::plug::refly::struc : flags_t

strong

Enumerator
ne
e

Definition at line 100 of file autogen.h.

type

enum class mim::plug::refly::type : flags_t

strong

Definition at line 37 of file autogen.h.

verbose

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

strong

Definition at line 74 of file autogen.h.

warn

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

strong

Definition at line 60 of file autogen.h.

Function Documentation

normalize_alpha()

template<alpha id>

const Def * mim::plug::refly::normalize_alpha	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 69 of file normalizers.cpp.

References mim::Def::blame(), e, normalize_alpha(), mim::Def::projs(), and mim::Check::test_alpha().

Referenced by normalize_alpha().

normalize_check()

const Def * mim::plug::refly::normalize_check	(	const Def *	type,
		const Def *	,
		const Def *	arg )

Definition at line 81 of file normalizers.cpp.

References normalize_check(), mim::Def::projs(), and mim::tuple2str().

Referenced by normalize_check().

normalize_check_bot()

const Def * mim::plug::refly::normalize_check_bot	(	const Def *	,
		const Def *	c,
		const Def *	arg )

Definition at line 76 of file normalizers.cpp.

References normalize_check_bot().

Referenced by normalize_check_bot().

normalize_dbg()

template<dbg id>

const Def * mim::plug::refly::normalize_dbg	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 44 of file normalizers.cpp.

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

Referenced by normalize_dbg().

normalize_gid()

const Def * mim::plug::refly::normalize_gid	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 58 of file normalizers.cpp.

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

Referenced by normalize_gid().

normalize_reflect()

const Def * mim::plug::refly::normalize_reflect	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 52 of file normalizers.cpp.

References mim::Lit::isa(), and normalize_reflect().

Referenced by normalize_reflect().

normalize_reify()

const Def * mim::plug::refly::normalize_reify	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 50 of file normalizers.cpp.

References normalize_reify().

Referenced by normalize_reify().

normalize_struc()

template<struc id>

const Def * mim::plug::refly::normalize_struc	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 61 of file normalizers.cpp.

References mim::Def::blame(), e, normalize_struc(), and mim::Def::projs().

Referenced by normalize_struc().

normalize_type()

const Def * mim::plug::refly::normalize_type	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 57 of file normalizers.cpp.

References normalize_type(), and mim::Def::type().

Referenced by normalize_type().

register_normalizers()

void mim::plug::refly::register_normalizers

(

Normalizers &

normalizers

)

References register_normalizers().

Referenced by MIM_PLUGIN_ENTRY(), and register_normalizers().

Variable Documentation

Plugin_Id

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

staticconstexpr

Definition at line 10 of file autogen.h.