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. |