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

Get the point’s x coordinate expression.

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

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

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

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

impl Expr<Scalar>

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

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

impl Expr<Bundle>

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

Box the expression with the given span.

pub fn index_without_node(&self, field: &str) -> AnyExpr

Get a field’s value without taking the bundle’s node.

pub fn index_with_node(&mut self, field: &str) -> AnyExpr

Get a field’s value and take the bundle’s node.

Panics

If the given field does not exist.

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

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

Errors

Returns an error if the bundle 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: CloneWithNode + 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<Bundle>> for Bundle

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Bundle>> for Circle

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Bundle>> for Line

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Bundle>> for Point

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Bundle>> for PointCollection

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Bundle>> for Scalar

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Circle>> for Bundle

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

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<Line>> for Bundle

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 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 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 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<Line>> for Scalar

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<Point>> for Bundle

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 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 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 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<Point>> for Scalar

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 Bundle

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 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 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 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<PointCollection>> for Scalar

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<Scalar>> for Bundle

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Scalar>> for Circle

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Scalar>> for Line

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Scalar>> for Point

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Scalar>> for PointCollection

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Scalar>> for Scalar

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

Convert a value to Self.

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

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

impl ConvertFrom<Expr<Unknown>> for Bundle

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 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 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 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 ConvertFrom<Expr<Unknown>> for Scalar

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: CloneWithNode + 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<Bundle>> for AnyExpr

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

Converts to this type from the input type.

impl From<Expr<Circle>> for AnyExpr

fn from(value: Expr<Circle>) -> 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<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<Scalar>> for AnyExpr

fn from(value: Expr<Scalar>) -> 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<T: GetValueType + Displayed> GetValueType for Expr<T>

fn get_value_type(&self) -> Type