#include <hobbes/lang/preds/consvariant.H>#include <hobbes/lang/preds/class.H>#include <hobbes/lang/expr.H>#include <hobbes/lang/tylift.H>#include <hobbes/lang/typeinf.H>#include <hobbes/util/array.H>
Include dependency graph for consvariant.C:
Classes | |
| struct | hobbes::ConsVariant |
| struct | hobbes::VDUnqualify |
Namespaces | |
| hobbes | |
Macros | |
| #define | REF_VAR_LABEL "variantHeadLabel" |
| #define | REF_VAR_SPLIT "variantSplit" |
| #define | REF_VAR_INJH "variantInjectHead" |
| #define | REF_VAR_LIFTT "variantLiftTail" |
Functions | |
| Variant::Members | hobbes::normalizeCtorIDs (const Variant::Members &ms) |
| MonoTypePtr | hobbes::normalizeCtorIDs (const MonoTypePtr &t) |
| static bool | hobbes::dec (const ConstraintPtr &c, ConsVariant *cv) |
Macro Definition Documentation
◆ REF_VAR_INJH
| #define REF_VAR_INJH "variantInjectHead" |
◆ REF_VAR_LABEL
| #define REF_VAR_LABEL "variantHeadLabel" |
◆ REF_VAR_LIFTT
| #define REF_VAR_LIFTT "variantLiftTail" |
◆ REF_VAR_SPLIT
| #define REF_VAR_SPLIT "variantSplit" |
