Struct DomainBound 

pub struct DomainBound<P: Phase = Raw> {
    pub kind: DomainBoundKind,
    pub kind_span: Span,
    pub value: Expr<P>,
    pub span: Span,
}

A domain constraint bound on a type expression: min: expr or max: expr.

Used in Type(min: 100 kg, max: 2000 kg) to declare valid value ranges.

Fields

kind: DomainBoundKind

The bound kind (min or max).

kind_span: Span

The span of the keyword (min or max).

value: Expr<P>

The bound value expression.

span: Span

Trait Implementations

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

fn clone(&self) -> DomainBound<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 DomainBound<P>

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

Formats the value using the given formatter.

impl FormatEquivalent for DomainBound

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

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

impl From<DomainBound> for DomainBound<Desugared>

fn from(d: DomainBound<Raw>) -> Self

Converts to this type from the input type.