Enumerations | |
<tt>tuple.typecat</tt> | |
| enum class | typecat : flags_t |
<tt>tuple.append</tt> | |
| enum class | append : flags_t |
<tt>tuple.prepend</tt> | |
| enum class | prepend : flags_t |
<tt>tuple.head</tt> | |
| enum class | head : flags_t |
<tt>tuple.tail</tt> | |
| enum class | tail : flags_t |
Functions | |
| void | register_normalizers (Normalizers &normalizers) |
Variables | |
| static constexpr plugin_t | Plugin_Id = 0x55644d1800000000 |
<tt>tuple.cat</tt> | |
| enum class | cat : flags_t |
| const Def * | normalize_cat (const Def *, const Def *callee, const Def *arg) |
<tt>tuple.contains</tt> | |
| enum class | contains : flags_t |
| const Def * | normalize_contains (const Def *type, const Def *, const Def *arg) |
<tt>tuple.zip</tt> | |
| enum class | zip : flags_t |
| const Def * | normalize_zip (const Def *type, const Def *c, const Def *arg) |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
|
strong |
Definition at line 8 of file normalizers.cpp.
References mim::App::args(), mim::Tuple::cat(), mim::Lit::isa(), normalize_cat(), and mim::Def::projs().
Referenced by normalize_cat().
| const Def * mim::plug::tuple::normalize_contains | ( | const Def * | type, |
| const Def * | , | ||
| const Def * | arg ) |
Definition at line 16 of file normalizers.cpp.
References normalize_contains(), and mim::Def::projs().
Referenced by normalize_contains().
Definition at line 43 of file normalizers.cpp.
References mim::App::arg(), mim::Lit::isa(), normalize_zip(), and mim::Def::projs().
Referenced by normalize_zip().
| void mim::plug::tuple::register_normalizers | ( | Normalizers & | normalizers | ) |
References register_normalizers().
Referenced by MIM_PLUGIN_ENTRY(), and register_normalizers().