Enum Typedef 

pub enum Typedef {
    Any,
    Array,
    Collection,
    Bool,
    BoolArray,
    Date,
    DateArray,
    Number,
    NumberArray,
    Task,
    TaskArray,
    Text,
    TextArray,
    Branch,
    Closure,
    Eval,
    Format,
    Instance,
    Node,
    Retry,
}

AIMX type identifiers for annotations, casts, signatures, and internal control. Variants include scalar, array, collection, and special engine-only types. Primary parser: parse_typedef.

Variants

Any

Any type

Array

Generic Array

Collection

Collection

Bool

Boolean type

BoolArray

Array of boolean values

Date

Date and time type

DateArray

Array of date values

Number

Number (64-bit float) type

NumberArray

Array of number values

Task

Task primitive type

TaskArray

Array of task values

Text

Text/string type

TextArray

Array of text values

Branch

Branch state transition type

Closure

Closure expression type

Eval

Evaluation result type

Format

Formatting instruction type

Instance

Context instance type

Node

Node reference type

Retry

Retry inference loop

Implementations

impl Typedef

pub fn convert(input: &str) -> Self

pub fn is_any(&self) -> bool

Returns true if this is Any or Array.

pub fn is_any_array(&self) -> bool

Returns true if this is Array.

pub fn is_collection(&self) -> bool

Returns true if this is Collection.

pub fn is_bool(&self) -> bool

Returns true if this is a boolean scalar or array type.

pub fn is_date(&self) -> bool

Returns true if this is a date scalar or array type.

pub fn is_number(&self) -> bool

Returns true if this is a numeric scalar or array type.

pub fn is_task(&self) -> bool

Returns true if this is a task scalar or array type.

pub fn is_text(&self) -> bool

Returns true if this is a text scalar or array type.

pub fn is_literal(&self) -> bool

Returns true if this is a literal scalar type (no arrays or specials).

pub fn as_literal(&self) -> Self

Return the corresponding base literal type (arrays mapped to scalar, specials unchanged).

pub fn is_array(&self) -> bool

Returns true if this is any array variant.

pub fn as_array(&self) -> Self

Return the corresponding array type for this definition (scalars mapped to array, specials unchanged).

pub fn is_branch(&self) -> bool

Returns true if this is Branch.

pub fn is_closure(&self) -> bool

Returns true if this is Closure.

pub fn is_eval(&self) -> bool

Returns true if this is Eval.

pub fn is_format(&self) -> bool

Returns true if this is Format.

pub fn is_instance(&self) -> bool

Returns true if this is Instance.

pub fn is_node(&self) -> bool

Returns true if this is Node.

pub fn is_retry(&self) -> bool

Returns true if this is Retry.

pub fn is_special(&self) -> bool

Returns true if this is a special control/inference type.

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

Get the string representation of this type definition.

Returns the canonical string representation used in AIM expressions. This is the same format that would appear in type casting operations.

Returns

• &'static str - The string representation of the type

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

pub fn to_formula(&self) -> String

Trait Implementations

impl Clone for Typedef

fn clone(&self) -> Typedef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Typedef

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

Formats the value using the given formatter.

impl Display for Typedef

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

Formats the value using the given formatter.

impl PartialEq for Typedef

fn eq(&self, other: &Typedef) -> 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 WriterLike for Typedef

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 StructuralPartialEq for Typedef