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.