Enum AnyExpr

pub enum AnyExpr {
    Point(Expr<Point>),
    Line(Expr<Line>),
    Number(Expr<Number>),
    Circle(Expr<Circle>),
    PointCollection(Expr<PointCollection>),
    Derived(Expr<Derived>),
    Unknown(Expr<Unknown>),
}

A type-erased unrolled expression.

Variants

Point(Expr<Point>)

Line(Expr<Line>)

Number(Expr<Number>)

Circle(Expr<Circle>)

PointCollection(Expr<PointCollection>)

Derived(Expr<Derived>)

Unknown(Expr<Unknown>)

Implementations

impl AnyExpr

pub fn get_span_mut(&mut self) -> &mut Span

Clones the expression and sets its own span. This will be treated as a separate expression now.

pub fn get_span(&self) -> Span

Get the expression’s span.

pub fn replace_node(&mut self, with: Option<AnyExprNode>) -> Option<AnyExprNode>

Replace the display node with the given node. Also returns the old node.

pub fn get_node(&self) -> Option<&dyn Node>

Get the node without taking it (reference).

pub fn to_scalar(self) -> Option<Expr<Number>>

pub fn as_point(&self) -> Option<&Expr<Point>>

pub fn get_type(&self) -> Type

Get the expression’s value type.

pub fn convert_to(self, to: Type, context: &CompileContext) -> Self

Convert this expression to the given type.

Errors

Returns an error if the conversion is invalid.

pub fn can_convert_to(&self, to: Type) -> bool

Check if this expression is convertible to the given type.

pub fn can_convert_to_scalar( &self, unit: Option<ComplexUnit>, ) -> Option<Option<ComplexUnit>>

Check if the expression is convertible to the given type. Note that unit of None is ANY scalar, not UNKNOWN-UNIT scalar here. Returns None if conversion isn’t possible and Some with a unit this value would be converted to. If unit is None and the value is also an unknown-unit scalar, Some(None) is returned.

pub fn can_convert_to_collection(&self, len: usize) -> Option<usize>

Check if the expression is convertible to a point collection of the given length.

pub fn can_convert_to_derived(&self, name: &str) -> bool

Check if the expression is convertible to a derived type with the given name.

pub fn boxed(self, span: Span) -> Self

Box an expression with the given span.

pub fn get_variable_span(&self) -> Span

Get the underlying variable’s defining span.

Panics

Panics if not a variable.

pub fn make_variable(self, name: String) -> Self

Turn this expression into a variable with the given name.

pub fn as_derived(&self) -> Option<&Expr<Derived>>

pub fn try_into_derived(self) -> Result<Expr<Derived>, Self>

pub fn as_number(&self) -> Option<&Expr<Number>>

Trait Implementations

impl CloneWithNode for AnyExpr

fn clone_with_node(&mut self) -> Self

Clone self and take its node.

fn clone_without_node(&self) -> Self

Clone self without taking its node.

impl ConvertFrom<AnyExpr> for Circle

fn convert_from(value: AnyExpr, context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(value: &AnyExpr) -> bool

Check if conversion from a value to Self can be made.

impl ConvertFrom<AnyExpr> for Derived

fn convert_from(value: AnyExpr, context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(value: &AnyExpr) -> bool

Check if conversion from a value to Self can be made.

impl ConvertFrom<AnyExpr> for Line

fn convert_from(value: AnyExpr, context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(value: &AnyExpr) -> bool

Check if conversion from a value to Self can be made.

impl ConvertFrom<AnyExpr> for Number

fn convert_from(value: AnyExpr, context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(value: &AnyExpr) -> bool

Check if conversion from a value to Self can be made.

impl ConvertFrom<AnyExpr> for Point

fn convert_from(value: AnyExpr, context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(value: &AnyExpr) -> bool

Check if conversion from a value to Self can be made.

impl ConvertFrom<AnyExpr> for PointCollection

fn convert_from(value: AnyExpr, context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(value: &AnyExpr) -> bool

Check if conversion from a value to Self can be made.

impl Debug for AnyExpr

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

Formats the value using the given formatter.

impl Display for AnyExpr

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

Formats the value using the given formatter.

impl Dummy for AnyExpr

fn dummy() -> Self

Create a dummy value pretending to be a valid one.

fn is_dummy(&self) -> bool

Check if this is a dummy value.

impl From<Expr<Circle>> for AnyExpr

fn from(value: Expr<Circle>) -> Self

Converts to this type from the input type.

impl From<Expr<Derived>> for AnyExpr

fn from(value: Expr<Derived>) -> Self

Converts to this type from the input type.

impl From<Expr<Line>> for AnyExpr

fn from(value: Expr<Line>) -> Self

Converts to this type from the input type.

impl From<Expr<Number>> for AnyExpr

fn from(value: Expr<Number>) -> Self

Converts to this type from the input type.

impl From<Expr<Point>> for AnyExpr

fn from(value: Expr<Point>) -> Self

Converts to this type from the input type.

impl From<Expr<PointCollection>> for AnyExpr

fn from(value: Expr<PointCollection>) -> Self

Converts to this type from the input type.

impl From<Expr<Unknown>> for AnyExpr

fn from(value: Expr<Unknown>) -> Self

Converts to this type from the input type.

impl<const DST_NUM: i64, const DST_DENOM: i64, const ANG_NUM: i64, const ANG_DENOM: i64> From<NumberUnit<DST_NUM, DST_DENOM, ANG_NUM, ANG_DENOM>> for AnyExpr

fn from(value: NumberUnit<DST_NUM, DST_DENOM, ANG_NUM, ANG_DENOM>) -> Self

Converts to this type from the input type.

impl<const N: usize> From<Pc<N>> for AnyExpr

fn from(value: Pc<N>) -> Self

Converts to this type from the input type.

impl From<SegmentExpr> for AnyExpr

fn from(value: SegmentExpr) -> Self

Converts to this type from the input type.

impl From<TransformTypeExpr> for AnyExpr

fn from(value: TransformTypeExpr) -> Self

Converts to this type from the input type.