Struct TypeExpr 

pub struct TypeExpr<P: Phase = Raw> {
    pub kind: TypeExprKind<P>,
    pub constraints: Vec<DomainBound<P>>,
    pub span: Span,
}

E.g., Length, Dimensionless, Length^3 / Time^2

Optionally carries domain constraints: Mass(min: 100 kg, max: 2000 kg).

Fields

kind: TypeExprKind<P>

constraints: Vec<DomainBound<P>>

Optional domain constraints on the type.

span: Span

Implementations

impl<P: Phase> TypeExpr<P>

pub fn domain_bounds(&self) -> &[DomainBound<P>]

The domain bounds attached to this type expression.

Bounds on an indexed type (Velocity[Maneuver](min: 0.0 m/s)) are parsed onto the base type expression, so this looks through one Indexed wrapper when the outer expression carries none.

Trait Implementations

impl<P: Clone + Phase> Clone for TypeExpr<P>

fn clone(&self) -> TypeExpr<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug + Phase> Debug for TypeExpr<P>

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

Formats the value using the given formatter.

impl FormatEquivalent for TypeExpr

fn format_equivalent(&self, other: &Self) -> bool

Returns true if self and other are equivalent up to formatting.

impl From<TypeExpr> for TypeExpr<Desugared>

fn from(t: TypeExpr<Raw>) -> Self

Converts to this type from the input type.