Enum DatexExpression

Source
pub enum DatexExpression {
Show 21 variants Invalid, Null, Boolean(bool), Text(String), Decimal(Decimal), Integer(Integer), Endpoint(Endpoint), Array(Vec<DatexExpression>), Object(Vec<(DatexExpression, DatexExpression)>), Tuple(Vec<TupleEntry>), Statements(Vec<Statement>), Variable(Option<VariableId>, String), VariableDeclaration(Option<VariableId>, VariableType, VariableMutType, String, Box<DatexExpression>), VariableAssignment(Option<VariableId>, String, Box<DatexExpression>), Slot(Slot), SlotAssignment(Slot, Box<DatexExpression>), BinaryOperation(BinaryOperator, Box<DatexExpression>, Box<DatexExpression>), UnaryOperation(UnaryOperator, Box<DatexExpression>), ApplyChain(Box<DatexExpression>, Vec<Apply>), Placeholder, RemoteExecution(Box<DatexExpression>, Box<DatexExpression>),
}

Variants§

§

Invalid

Invalid expression, e.g. syntax error

§

Null

null

§

Boolean(bool)

Boolean (true or false)

§

Text(String)

Text, e.g “Hello, world!”

§

Decimal(Decimal)

Decimal, e.g 123.456789123456

§

Integer(Integer)

Integer, e.g 123456789123456789

§

Endpoint(Endpoint)

Endpoint, e.g. @test_a or @test_b

§

Array(Vec<DatexExpression>)

Array, e.g [1, 2, 3, "text"]

§

Object(Vec<(DatexExpression, DatexExpression)>)

Object, e.g {“key”: “value”, key2: 2}

§

Tuple(Vec<TupleEntry>)

Tuple, e.g (1: 2, 3: 4, “xy”) or without brackets: 1,2,a:3

§

Statements(Vec<Statement>)

One or more statements, e.g (1; 2; 3)

§

Variable(Option<VariableId>, String)

Identifier, e.g. a variable name. VariableId is always set to 0 by the ast parser.

§

VariableDeclaration(Option<VariableId>, VariableType, VariableMutType, String, Box<DatexExpression>)

Variable declaration, e.g. const x = 1, const mut x = 1, or var y = 2. VariableId is always set to 0 by the ast parser.

§

VariableAssignment(Option<VariableId>, String, Box<DatexExpression>)

Variable assignment, e.g. x = 1. VariableId is always set to 0 by the ast parser.

§

Slot(Slot)

Slot, e.g. #1, #endpoint

§

SlotAssignment(Slot, Box<DatexExpression>)

Slot assignment

§

BinaryOperation(BinaryOperator, Box<DatexExpression>, Box<DatexExpression>)

§

UnaryOperation(UnaryOperator, Box<DatexExpression>)

§

ApplyChain(Box<DatexExpression>, Vec<Apply>)

§

Placeholder

§

RemoteExecution(Box<DatexExpression>, Box<DatexExpression>)

Trait Implementations§

Source§

impl Clone for DatexExpression

Source§

fn clone(&self) -> DatexExpression

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for DatexExpression

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for DatexExpression

Source§

fn eq(&self, other: &DatexExpression) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl TryFrom<DatexExpression> for ValueContainer

Source§

type Error = ()

The type returned in the event of a conversion error.
Source§

fn try_from(expr: DatexExpression) -> Result<Self, Self::Error>

Performs the conversion.
Source§

impl StructuralPartialEq for DatexExpression

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Any for T
where T: Any,

Source§

impl<'a, T, E> AsTaggedExplicit<'a, E> for T
where T: 'a,

Source§

fn explicit(self, class: Class, tag: u32) -> TaggedParser<'a, Explicit, Self, E>

Source§

impl<'a, T, E> AsTaggedImplicit<'a, E> for T
where T: 'a,

Source§

fn implicit( self, class: Class, constructed: bool, tag: u32, ) -> TaggedParser<'a, Implicit, Self, E>

Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> FromRef<T> for T
where T: Clone,

Source§

fn from_ref(input: &T) -> T

Converts to this type from a reference to the input type.
Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<'src, T> IntoMaybe<'src, T> for T
where T: 'src,

Source§

type Proj<U: 'src> = U

Source§

fn map_maybe<R>( self, _f: impl FnOnce(&'src T) -> &'src R, g: impl FnOnce(T) -> R, ) -> <T as IntoMaybe<'src, T>>::Proj<R>
where R: 'src,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<'p, T> Seq<'p, T> for T
where T: Clone,

Source§

type Item<'a> = &'a T where T: 'a

The item yielded by the iterator.
Source§

type Iter<'a> = Once<&'a T> where T: 'a

An iterator over the items within this container, by reference.
Source§

fn seq_iter(&self) -> <T as Seq<'p, T>>::Iter<'_>

Iterate over the elements of the container.
Source§

fn contains(&self, val: &T) -> bool
where T: PartialEq,

Check whether an item is contained within this sequence.
Source§

fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>
where 'p: 'b,

Convert an item of the sequence into a MaybeRef.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> ErasedDestructor for T
where T: 'static,

Source§

impl<A, B, T> HttpServerConnExec<A, B> for T
where B: Body,

Source§

impl<T> OrderedSeq<'_, T> for T
where T: Clone,