Enum Literal 

pub enum Literal {
    Empty,
    Bool(bool),
    Date(DateTime),
    Number(f64),
    Task(Option<bool>, Arc<str>),
    Text(Arc<str>),
}

Literal values supported by AIMX expressions.

Provides the core literal variants and helpers used by the expression engine for parsing, type checking, comparison, and conversion.

Variants

Empty

Empty or untyped literal.

Bool(bool)

Boolean value.

Date(DateTime)

Date/time value.

Number(f64)

64-bit floating point number.

Task(Option<bool>, Arc<str>)

Task with optional status and description. Status semantics: Some(true)=completed, Some(false)=failed, None=pending.

Text(Arc<str>)

UTF-8 string value.

Implementations

impl Literal

pub fn is_type(&self, typedef: &Typedef) -> bool

Check if this literal matches the specified type.

Arguments

• typedef - The type definition to check against

Returns

Returns true if this literal matches the specified type, false otherwise.

pub fn get_type(&self) -> Result<Typedef>

Get the type of this literal.

Returns

Returns a Result<Typedef> containing the type of this literal, or an error if this is an Empty literal.

pub fn as_type(self, literal: &Literal) -> Result<Literal>

Convert this literal to match the type of another literal.

This method performs type conversion according to the grammar’s type promotion rules, converting this literal to match the type of the provided reference literal.

Arguments

• literal - The reference literal whose type determines the conversion

Returns

Returns a Result<Literal> containing the converted literal or an error if conversion is not possible.

pub fn to_type(self, typedef: &Typedef) -> Result<Literal>

pub fn is_empty(&self) -> bool

Check if this literal is empty.

pub fn is_bool(&self) -> bool

Check if this literal represents a boolean value.

pub fn from_bool(b: bool) -> Self

Create a boolean literal from a boolean value.

pub fn as_bool(self) -> Literal

Convert this literal to a boolean representation.

Performs type conversion to boolean according to the grammar’s truthiness rules:

• Numbers: 0 is false, non-zero is true
• Text: Empty string is false, non-empty is true
• Dates: Always true (they exist)
• Tasks: Status determines value, no status is false

This function provides an implicit error free conversion from any literal to bool specifically for the conditional ternary operator making a type safe error free check possible.

e.g. user.birthday ? user.birthday : _

pub fn to_bool(&self) -> bool

Extract a boolean value from this literal.

This is a convenience method for when you specifically need a bool value.

pub fn is_date(&self) -> bool

Check if this literal represents a date value.

pub fn from_date(d: DateTime) -> Self

Create a date literal from a DateTime value.

pub fn as_date(self) -> Result<Literal>

Convert this literal to a date representation.

Attempts to convert the literal to a date according to the grammar’s conversion rules:

• Boolean: true becomes Unix epoch + 1 second, false becomes Unix epoch
• Number: Interpreted as Unix timestamp
• Text: Parsed as date if possible
• Task: Text component parsed as date if possible

pub fn is_number(&self) -> bool

Check if this literal represents a number value.

pub fn from_number(n: f64) -> Self

Create a number literal from an f64 value.

pub fn as_number(self) -> Result<Literal>

Convert this literal to a number representation.

Attempts to convert the literal to a number according to the grammar’s conversion rules:

• Boolean: false becomes 0, true becomes 1
• Date: Converted to Unix timestamp
• Text: Parsed as number if it represents a valid numeric literal
• Task: Status determines value (true=1, false=-1, none=0)

pub fn to_number(&self) -> Result<f64>

Extract a numeric value from this literal.

This is a convenience method for when you specifically need a f64 number.

pub fn is_task(&self) -> bool

Check if this literal represents a task value.

pub fn from_task(status: Option<bool>, task: Arc<str>) -> Self

Create a task literal from status and text.

pub fn as_task(self) -> Result<Literal>

Convert this literal to a task representation.

Converts the literal to a task according to the grammar’s conversion rules:

• Boolean: Status becomes the boolean value, text becomes “true”/“false”
• Date: No status, text becomes date string
• Number: Status based on sign (positive=true, negative=false, zero=none), text becomes number string
• Text: No status, text remains the same

pub fn is_text(&self) -> bool

Check if this literal represents a text value.

pub fn from_text(text: Arc<str>) -> Self

Create a text literal from a String.

pub fn as_text(self) -> Result<Literal>

Convert this literal to a text representation.

Converts the literal to text according to the grammar’s conversion rules:

• Boolean: “true” or “false”
• Date: Formatted as date string
• Number: Formatted as string
• Task: Text component of the task

pub fn type_as_string(&self) -> &'static str

Get a string representation of this literal’s type.

pub fn print(&self, writer: &mut Writer)

pub fn to_formula(&self) -> String

Return the formula-string representation (round-trippable by the parser).

Trait Implementations

impl Clone for Literal

fn clone(&self) -> Literal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Literal

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

Formats the value using the given formatter.

impl Display for Literal

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

Formats the value using the given formatter.

impl Ord for Literal

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for Literal

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl PartialOrd for Literal

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl WriterLike for Literal

fn write(&self, writer: &mut Writer)

Serialize this expression with the given Writer.

fn to_stringized(&self) -> String

Return a string representation (raw unsafe output).

fn to_sanitized(&self) -> String

Return a sanitized string representation (escaped for safe output).

fn to_expressionized(&self) -> String

Return a sanitized string representation (escaped for safe output).

impl Eq for Literal

impl StructuralPartialEq for Literal