Module overloads

Source
Expand description

Overload resolution for builtin functions.

This module defines the OverloadSet trait, which provides methods the validator and typifier can use to check the types to builtin functions, determine their result types, and produce diagnostics that explain why a given application is not allowed and suggest fixes.

You can call MathFunction::overloads to obtain an impl OverloadSet representing the given MathFunctionโ€™s overloads.

Re-exportsยง

pub use rule::Conclusion;
pub use rule::MissingSpecialType;
pub use rule::Rule;

Modulesยง

any_overload_set ๐Ÿ”’
Dynamically dispatched OverloadSets.
constructor_set ๐Ÿ”’
A set of type constructors, represented as a bitset.
list ๐Ÿ”’
An OverloadSet represented as a vector of rules.
mathfunction ๐Ÿ”’
Overload sets for ir::MathFunction.
one_bits_iter ๐Ÿ”’
An iterator over bitmasks.
regular ๐Ÿ”’
A representation for highly regular overload sets common in Naga IR.
rule ๐Ÿ”’
Type rules.
scalar_set ๐Ÿ”’
A set of scalar types, represented as a bitset.
utils ๐Ÿ”’
Utility functions for constructing List overload sets.

Traitsยง

OverloadSet
A trait for types representing of a set of Naga IR type rules.