Struct Expr

pub struct Expr<T: Displayed> {
    pub data: Rc<T>,
    pub span: Span,
    pub node: Option<HierarchyNode<T::Node>>,
}

An unrolled expression with a span and a display node.

Fields

data: Rc<T>

The expression kind.

span: Span

The expression’s span.

node: Option<HierarchyNode<T::Node>>

The expression’s display node, if any.

Implementations

impl Expr<Point>

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

Box this expression with a given span.

pub fn x( self, span: Span, display: Properties, context: &CompileContext, ) -> Expr<Number>

Get the point’s x coordinate expression.

pub fn y( self, span: Span, display: Properties, context: &CompileContext, ) -> Expr<Number>

Get the point’s y coordinate expression.

impl Expr<Point>

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

impl Expr<Circle>

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

impl Expr<Circle>

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

Box this expression with a given span.

pub fn center( self, span: Span, display: Properties, context: &CompileContext, ) -> Expr<Point>

Get the circle’s center expression.

pub fn radius( self, span: Span, display: Properties, context: &CompileContext, ) -> Expr<Number>

Get the circle’s radius expression.

impl Expr<Line>

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

Box the expression with a span.

impl Expr<Line>

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

impl Expr<Number>

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

impl Expr<Number>

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

Box the expression with a span.

pub fn convert_unit( self, unit: Option<ComplexUnit>, context: &CompileContext, ) -> Self

Try to convert this scalar to the given unit.

Errors

Returns a conversion error if it is invalid.

Only valid conversions are None to another unit or self to self

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

Checks whether a unit conversion can be performed

pub fn specify_unit(self, context: &CompileContext) -> Self

Make the unit concrete. If the unit is a None, will make it a unitless scalar. Otherwise will do nothing.

Panics

If bugged

impl Expr<PointCollection>

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

impl Expr<PointCollection>

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

Box the expression with the given span.

pub fn check_len(self, length: usize, context: &CompileContext) -> Self

Check if the collection’s length matches the given length. If length is zero, any length is found matching.

Errors

Returns an error if lengths don’t match up.

pub fn index_without_node(&self, index: usize) -> Expr<Point>

Get the point at a given index without taking the collection’s node.

pub fn index_with_node(&mut self, index: usize) -> Expr<Point>

Get the point at a given index and take the collection’s node.

impl Expr<Derived>

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

impl Expr<Derived>

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

Box the expression with the given span.

pub fn check_name(self, name: &'static str, context: &CompileContext) -> Self

Check if the type’s name matches the given name.

Errors

Returns an error if the type names don’t match

impl Expr<Unknown>

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

impl Expr<Unknown>

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

Box the expression with the given span.

impl<T: GetData + Displayed> Expr<T>

pub fn get_data(&self) -> &T

Get the underlying data without any indirections.

impl<T: Displayed> Expr<T>

pub fn new_spanless(data: T) -> Self

Creates a new expression without a declared span. WARNING: the expression has no node.

pub fn take_node(&mut self) -> Option<HierarchyNode<T::Node>>

Take the expression’s display node.

Trait Implementations

impl<T: Displayed> CloneWithNode for Expr<T>

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<Expr<Circle>> for Circle

fn convert_from(value: Expr<Circle>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Circle>) -> bool

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

impl ConvertFrom<Expr<Circle>> for Derived

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Circle>) -> bool

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

impl ConvertFrom<Expr<Circle>> for Line

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Circle>) -> bool

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

impl ConvertFrom<Expr<Circle>> for Number

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Circle>) -> bool

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

impl ConvertFrom<Expr<Circle>> for Point

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Circle>) -> bool

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

impl ConvertFrom<Expr<Circle>> for PointCollection

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Circle>) -> bool

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

impl ConvertFrom<Expr<Derived>> for Circle

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Derived>) -> bool

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

impl ConvertFrom<Expr<Derived>> for Derived

fn convert_from(value: Expr<Derived>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Derived>) -> bool

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

impl ConvertFrom<Expr<Derived>> for Line

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Derived>) -> bool

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

impl ConvertFrom<Expr<Derived>> for Number

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Derived>) -> bool

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

impl ConvertFrom<Expr<Derived>> for Point

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Derived>) -> bool

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

impl ConvertFrom<Expr<Derived>> for PointCollection

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Derived>) -> bool

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

impl ConvertFrom<Expr<Line>> for Circle

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Line>) -> bool

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

impl ConvertFrom<Expr<Line>> for Derived

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Line>) -> bool

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

impl ConvertFrom<Expr<Line>> for Line

fn convert_from(value: Expr<Line>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Line>) -> bool

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

impl ConvertFrom<Expr<Line>> for Number

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Line>) -> bool

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

impl ConvertFrom<Expr<Line>> for Point

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Line>) -> bool

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

impl ConvertFrom<Expr<Line>> for PointCollection

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Line>) -> bool

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

impl ConvertFrom<Expr<Number>> for Circle

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Number>) -> bool

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

impl ConvertFrom<Expr<Number>> for Derived

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Number>) -> bool

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

impl ConvertFrom<Expr<Number>> for Line

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Number>) -> bool

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

impl ConvertFrom<Expr<Number>> for Number

fn convert_from(value: Expr<Number>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Number>) -> bool

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

impl ConvertFrom<Expr<Number>> for Point

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Number>) -> bool

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

impl ConvertFrom<Expr<Number>> for PointCollection

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Number>) -> bool

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

impl ConvertFrom<Expr<Point>> for Circle

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Point>) -> bool

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

impl ConvertFrom<Expr<Point>> for Derived

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Point>) -> bool

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

impl ConvertFrom<Expr<Point>> for Line

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Point>) -> bool

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

impl ConvertFrom<Expr<Point>> for Number

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<Point>) -> bool

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

impl ConvertFrom<Expr<Point>> for Point

fn convert_from(value: Expr<Point>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Point>) -> bool

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

impl ConvertFrom<Expr<Point>> for PointCollection

fn convert_from(value: Expr<Point>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Point>) -> bool

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

impl ConvertFrom<Expr<PointCollection>> for Circle

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<PointCollection>) -> bool

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

impl ConvertFrom<Expr<PointCollection>> for Derived

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<PointCollection>) -> bool

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

impl ConvertFrom<Expr<PointCollection>> for Line

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

Convert a value to Self.

fn can_convert_from(value: &Expr<PointCollection>) -> bool

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

impl ConvertFrom<Expr<PointCollection>> for Number

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

Convert a value to Self.

fn can_convert_from(value: &Expr<PointCollection>) -> bool

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

impl ConvertFrom<Expr<PointCollection>> for Point

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

Convert a value to Self.

fn can_convert_from(value: &Expr<PointCollection>) -> bool

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

impl ConvertFrom<Expr<PointCollection>> for PointCollection

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

Convert a value to Self.

fn can_convert_from(_value: &Expr<PointCollection>) -> bool

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

impl ConvertFrom<Expr<Unknown>> for Circle

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Unknown>) -> bool

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

impl ConvertFrom<Expr<Unknown>> for Derived

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Unknown>) -> bool

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

impl ConvertFrom<Expr<Unknown>> for Line

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Unknown>) -> bool

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

impl ConvertFrom<Expr<Unknown>> for Number

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Unknown>) -> bool

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

impl ConvertFrom<Expr<Unknown>> for Point

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Unknown>) -> bool

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

impl ConvertFrom<Expr<Unknown>> for PointCollection

fn convert_from(value: Expr<Unknown>, _context: &CompileContext) -> Expr<Self>

Convert a value to Self.

fn can_convert_from(_value: &Expr<Unknown>) -> bool

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

impl<T: Debug + Displayed> Debug for Expr<T>

where T::Node: Debug,

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

Formats the value using the given formatter.

impl<T: Display + Displayed> Display for Expr<T>

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

Formats the value using the given formatter.

impl<T: Displayed + Dummy> Dummy for Expr<T>

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<Derived>> for SegmentExpr

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

Converts to this type from the input type.

impl From<Expr<Derived>> for TransformTypeExpr

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<const DST_NUM: i64, const DST_DENOM: i64, const ANG_NUM: i64, const ANG_DENOM: i64> From<Expr<Number>> for NumberUnit<DST_NUM, DST_DENOM, ANG_NUM, ANG_DENOM>

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<const N: usize> From<Expr<PointCollection>> for Pc<N>

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 GeoType for Expr<Circle>

type Target = Circle

The target Geo-AID type this type can be converted to.

fn get_type() -> Type

impl GeoType for Expr<Line>

type Target = Line

The target Geo-AID type this type can be converted to.

fn get_type() -> Type

impl GeoType for Expr<Point>

type Target = Point

The target Geo-AID type this type can be converted to.

fn get_type() -> Type

impl<T: GetValueType + Displayed> GetValueType for Expr<T>

fn get_value_type(&self) -> Type