Enum ShowExpression 

pub enum ShowExpression {
    Literal(Box<TypedLiteral>),
    Data {
        name: String,
    },
    Rule {
        name: String,
    },
    And {
        operands: Vec<ShowExpression>,
    },
    Not {
        operand: Box<ShowExpression>,
    },
    Arithmetic {
        first: Box<ShowExpression>,
        steps: Vec<ShowArithmeticStep>,
    },
    Comparison {
        op: ComparisonComputation,
        left: Box<ShowExpression>,
        right: Box<ShowExpression>,
    },
    UnitConversion {
        operand: Box<ShowExpression>,
        targets: Vec<ShowConversionTarget>,
    },
    Math {
        op: MathematicalComputation,
        operand: Box<ShowExpression>,
    },
    Veto {
        message: Option<String>,
    },
    Now,
    DateRelative {
        kind: DateRelativeKind,
        operand: Box<ShowExpression>,
    },
    DateCalendar {
        kind: DateCalendarKind,
        unit: CalendarPeriodUnit,
        operand: Box<ShowExpression>,
    },
    RangeLiteral {
        from: Box<ShowExpression>,
        to: Box<ShowExpression>,
    },
    PastFutureRange {
        kind: DateRelativeKind,
        operand: Box<ShowExpression>,
    },
    RangeContainment {
        value: Box<ShowExpression>,
        range: Box<ShowExpression>,
    },
    RangeBound {
        bound: RangeBound,
        operand: Box<ShowExpression>,
    },
    IsVeto {
        operand: Box<ShowExpression>,
    },
    SpecMember {
        base: String,
        member: String,
    },
    Member {
        base: Box<ShowExpression>,
        member: String,
    },
    RowField {
        field: String,
    },
    RowValue,
    RowFieldValue {
        field: String,
        value: Box<ShowExpression>,
    },
    ListCommand {
        list: Box<ShowExpression>,
        command: ShowListCommand,
        direction: Option<SortDirection>,
        args: Vec<ShowExpression>,
    },
}

Resolved expression tree for Show branches (tag = "type" on the API mirror).

Literals stay [TypedLiteral] (postcard-safe ℚ). [RuleResultValue] is built at the JSON/lemma::api boundary only.

Variants

Literal(Box<TypedLiteral>)

Data

Fields

name: String

Rule

Fields

name: String

And

a and b and c: one left fold, operands in source order.

Fields

operands: Vec<ShowExpression>

Not

Fields

operand: Box<ShowExpression>

Arithmetic

a + b - c: one left fold on one precedence level, operands in source order.

Fields

first: Box<ShowExpression>

steps: Vec<ShowArithmeticStep>

Comparison

Fields

op: ComparisonComputation

left: Box<ShowExpression>

right: Box<ShowExpression>

UnitConversion

x as a as b: one node over the innermost operand, targets in application order.

Fields

operand: Box<ShowExpression>

targets: Vec<ShowConversionTarget>

Math

Fields

op: MathematicalComputation

operand: Box<ShowExpression>

Veto

Fields

message: Option<String>

Now

DateRelative

Fields

kind: DateRelativeKind

operand: Box<ShowExpression>

DateCalendar

Fields

kind: DateCalendarKind

unit: CalendarPeriodUnit

operand: Box<ShowExpression>

RangeLiteral

Fields

from: Box<ShowExpression>

to: Box<ShowExpression>

PastFutureRange

Fields

kind: DateRelativeKind

operand: Box<ShowExpression>

RangeContainment

Fields

value: Box<ShowExpression>

range: Box<ShowExpression>

RangeBound

Fields

bound: RangeBound

operand: Box<ShowExpression>

IsVeto

Fields

operand: Box<ShowExpression>

SpecMember

rule.field on a spec-valued rule. member is field or alias.field.

Fields

base: String

member: String

Member

(expression).field on a spec value that is not a rule reference.

Fields

base: Box<ShowExpression>

member: String

RowField

Field of the current row inside an instance-list command argument.

Fields

field: String

RowValue

The current row’s value: the implicit left operand of a value-list condition.

RowFieldValue

field: value of a row appended by -> with.

Fields

field: String

value: Box<ShowExpression>

ListCommand

direction is set exactly when command is ShowListCommand::Sort.

Fields

list: Box<ShowExpression>

command: ShowListCommand

direction: Option<SortDirection>

args: Vec<ShowExpression>

Trait Implementations

impl Clone for ShowExpression

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShowExpression

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ShowExpression

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ShowExpression

impl From<&ShowExpression> for ShowExpression

fn from(expression: &DomainShowExpression) -> Self

Converts to this type from the input type.

impl PartialEq for ShowExpression

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ShowExpression

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ShowExpression