Struct BinaryTypeCoercer 

pub struct BinaryTypeCoercer<'a> {
    lhs: &'a DataType,
    op: &'a Operator,
    rhs: &'a DataType,
    lhs_spans: Spans,
    op_spans: Spans,
    rhs_spans: Spans,
}

Provides type information about a binary expression, coercing different input types into a sensible output type.

Fields

lhs: &'a DataType

op: &'a Operator

rhs: &'a DataType

lhs_spans: Spans

op_spans: Spans

rhs_spans: Spans

Implementations

impl<'a> BinaryTypeCoercer<'a>

pub fn new(lhs: &'a DataType, op: &'a Operator, rhs: &'a DataType) -> Self

Creates a new BinaryTypeCoercer, for reasoning about the input and output types of a binary expression.

pub fn set_lhs_spans(&mut self, spans: Spans)

Sets the spans information for the left side of the binary expression, so better diagnostics can be provided in case of errors.

pub fn set_op_spans(&mut self, spans: Spans)

Sets the spans information for the operator of the binary expression, so better diagnostics can be provided in case of errors.

pub fn set_rhs_spans(&mut self, spans: Spans)

Sets the spans information for the right side of the binary expression, so better diagnostics can be provided in case of errors.

fn span(&self) -> Option<Span>

fn signature(&'a self) -> Result<Signature>

Returns a Signature for applying op to arguments of type lhs and rhs

fn get_result(&self, lhs: &DataType, rhs: &DataType) -> Result<DataType>

Returns the result type for arithmetic operations

fn signature_inner( &'a self, lhs: &DataType, rhs: &DataType, ) -> Result<Signature>

pub fn get_result_type(&'a self) -> Result<DataType>

Returns the resulting type of a binary expression evaluating the op with the left and right hand types

pub fn get_input_types(&'a self) -> Result<(DataType, DataType)>

Returns the coerced input types for a binary expression evaluating the op with the left and right hand types