mim::plug::ord Namespace Reference

The ord Plugin More...

Classes
struct	Key_field
	The fields of ord.Key, by index. More...

Enumerations
<tt>ord.Key</tt>
enum class	Key : flags_t
<tt>ord.Set</tt>
enum class	Set : flags_t
<tt>ord.Map</tt>
enum class	Map : flags_t
<tt>ord.create_set</tt>
enum class	create_set : flags_t
<tt>ord.create_map</tt>
enum class	create_map : flags_t
<tt>ord.is_empty_set</tt>
enum class	is_empty_set : flags_t
<tt>ord.is_empty_map</tt>
enum class	is_empty_map : flags_t

Functions
void	register_normalizers (Normalizers &normalizers)

Variables
static constexpr plugin_t	Plugin_Id = 0x4131400000000000

<tt>ord.init</tt>
enum class	init : flags_t {   set = 0x4131400000000300 ,   map = 0x4131400000000301 }
template<init id>
const Def *	normalize_init (const Def *type, const Def *callee, const Def *arg)

<tt>ord.size</tt>
enum class	size : flags_t {   set = 0x4131400000000600 ,   map = 0x4131400000000601 }
template<size>
const Def *	normalize_size (const Def *, const Def *, const Def *arg)

<tt>ord.get</tt>
enum class	get : flags_t
const Def *	normalize_get (const Def *type, const Def *callee, const Def *arg)

<tt>ord.contains</tt>
enum class	contains : flags_t {   set = 0x4131400000000a00 ,   map = 0x4131400000000a01 }
template<contains id>
const Def *	normalize_contains (const Def *, const Def *callee, const Def *arg)

<tt>ord.insert</tt>
enum class	insert : flags_t {   set = 0x4131400000000b00 ,   map = 0x4131400000000b01 }
template<insert id>
const Def *	normalize_insert (const Def *type, const Def *callee, const Def *arg)

Detailed Description

The ord Plugin

Enumeration Type Documentation

contains

enum class mim::plug::ord::contains : flags_t

strong

Enumerator
set
map

Definition at line 98 of file autogen.h.

create_map

enum class mim::plug::ord::create_map : flags_t

strong

Definition at line 57 of file autogen.h.

create_set

enum class mim::plug::ord::create_set : flags_t

strong

Definition at line 50 of file autogen.h.

get

enum class mim::plug::ord::get : flags_t

strong

Definition at line 90 of file autogen.h.

init

enum class mim::plug::ord::init : flags_t

strong

Enumerator
set
map

Definition at line 38 of file autogen.h.

insert

enum class mim::plug::ord::insert : flags_t

strong

Enumerator
set
map

Definition at line 110 of file autogen.h.

is_empty_map

enum class mim::plug::ord::is_empty_map : flags_t

strong

Definition at line 83 of file autogen.h.

is_empty_set

enum class mim::plug::ord::is_empty_set : flags_t

strong

Definition at line 76 of file autogen.h.

Key

enum class mim::plug::ord::Key : flags_t

strong

Definition at line 14 of file autogen.h.

Map

enum class mim::plug::ord::Map : flags_t

strong

Definition at line 31 of file autogen.h.

Set

enum class mim::plug::ord::Set : flags_t

strong

Definition at line 24 of file autogen.h.

size

enum class mim::plug::ord::size : flags_t

strong

Enumerator
set
map

Definition at line 64 of file autogen.h.

Function Documentation

normalize_contains()

template<contains id>

const Def * mim::plug::ord::normalize_contains	(	const Def *	,
		const Def *	callee,
		const Def *	arg )

Definition at line 75 of file normalizers.cpp.

References mim::Axm::isa(), mim::Lit::isa(), map, normalize_contains(), mim::Def::projs(), set, and mim::Def::world().

Referenced by normalize_contains().

normalize_get()

const Def * mim::plug::ord::normalize_get	(	const Def *	type,
		const Def *	callee,
		const Def *	arg )

Definition at line 48 of file normalizers.cpp.

References mim::Axm::isa(), mim::Lit::isa(), map, mim::plug::option::Opt_ctor::None, normalize_get(), mim::Def::projs(), mim::plug::option::Opt_ctor::Some, and mim::Def::world().

Referenced by normalize_get().

normalize_init()

template<init id>

const Def * mim::plug::ord::normalize_init	(	const Def *	type,
		const Def *	callee,
		const Def *	arg )

Definition at line 27 of file normalizers.cpp.

References mim::App::arg(), mim::App::callee(), mim::Lit::isa(), map, normalize_init(), and mim::Def::projs().

Referenced by normalize_init().

normalize_insert()

template<insert id>

const Def * mim::plug::ord::normalize_insert	(	const Def *	type,
		const Def *	callee,
		const Def *	arg )

Definition at line 105 of file normalizers.cpp.

References mim::Axm::isa(), mim::Lit::isa(), map, normalize_insert(), and mim::Def::projs().

Referenced by normalize_insert().

normalize_size()

template<size>

const Def * mim::plug::ord::normalize_size	(	const Def *	,
		const Def *	,
		const Def *	arg )

Definition at line 43 of file normalizers.cpp.

References mim::Axm::isa(), and normalize_size().

Referenced by normalize_size().

register_normalizers()

void mim::plug::ord::register_normalizers

(

Normalizers &

normalizers

)

References register_normalizers().

Referenced by MIM_PLUGIN_ENTRY(), and register_normalizers().

Variable Documentation

Plugin_Id

plugin_t mim::plug::ord::Plugin_Id = 0x4131400000000000

staticconstexpr

Definition at line 10 of file autogen.h.