Module regular

A representation for highly regular overload sets common in Naga IR.

Many Naga builtin functions’ overload sets have a highly regular structure. For example, many arithmetic functions can be applied to any floating-point type, or any vector thereof. This module defines a handful of types for representing such simple overload sets that is simple and efficient.

Macros

regular 🔒

Construct a Regular OverloadSet.

Structs

Regular 🔒

Overload sets represented as sets of scalars and constructors.

Enums

ConclusionRule 🔒

Conclusion-computing rules.

Functions

make_rule 🔒

Construct a Regular member Rule for the given arity and type.