Enum Conclusion

pub enum Conclusion {
    Value(TypeInner),
    Predeclared(PredeclaredType),
}

The result type of a Rule.

A Conclusion value represents the return type of some operation in the builtin function database.

This is very similar to TypeInner, except that it represents predeclared types using PredeclaredType, so that overload resolution can delegate registering predeclared types to its users.

Variants

Value(TypeInner)

A type that can be entirely characterized by a TypeInner value.

Predeclared(PredeclaredType)

A type that should be registered in the module’s SpecialTypes::predeclared_types table.

This is used for operations like Frexp and Modf.

Implementations

impl Conclusion

pub fn for_frexp_modf( function: MathFunction, size: ConstructorSize, scalar: Scalar, ) -> Self

pub fn into_resolution( self, special_types: &SpecialTypes, ) -> Result<TypeResolution, MissingSpecialType>

Trait Implementations

impl Clone for Conclusion

fn clone(&self) -> Conclusion

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Conclusion

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl ForDebugWithTypes for &Conclusion

fn for_debug( self, types: &UniqueArena<Type>, ) -> DiagnosticDebug<(Self, &UniqueArena<Type>)>

Format this type using core::fmt::Debug.