Module sindra::inference
[−]
[src]
Traits for result type inference and type promotion.
Structs
BinaryOpTypes |
Container for inferred operand / result types for unary operations. |
UnaryOpTypes |
Container for inferred operand / result types for unary operations. |
Traits
InferPromotion |
Trait for determining whether or not a promotion to a new type is available and necessary. |
InferTypesBinary |
Trait for determining the result type of a binary operation. |
InferTypesUnary |
Trait for determining the result type of a unary operation. |