Enum Type

pub enum Type {
    Null,
    Int,
    Bool,
    Str,
    Float,
    ListInt,
    ListStr,
    BitVector(usize),
}

Represents a comprehensive set of distinct type variants including basic and list-based types.

Defines available kinds such as null, integer, boolean, string, float, and their corresponding list forms for integers and strings, with each variant accompanied by custom formatting annotations intended for debugging and display purposes.

Variants

Null

Int

Bool

Str

Float

ListInt

ListStr

BitVector(usize)

Implementations

impl Type

pub fn parse(pair: Pair<'_, Rule>) -> Result<Self, Error>

Parses a type from a given token pair.

This function starts by processing the provided Pair to extract a contained symbol. It then matches this symbol against several predefined strings representing basic types, converting it into the corresponding Type variant. These types include Int, String, Bool, and Float. If the string representation of the pair contains “List”, the function attempts to convert the basic type into a list type using to_list(), returning an error if this is unsupported. The function returns the parsed Type or an error if an unknown type is encountered.

impl Type

pub fn basic(self) -> Type

Returns the corresponding basic type by extracting the underlying non-list variant from a list type, or leaves the type unchanged if it is already basic.

Evaluates the input type and, if it represents a list of integers or a list of strings, returns the respective integer or string type; otherwise, it returns the original value.

pub fn to_list(self) -> Option<Type>

Converts a basic type into its corresponding list variant when applicable.

Returns an optional list type; if the input is a primitive integer or string type, it wraps the corresponding list type inside a Some, otherwise it returns None.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Hash for Type

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Type

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

impl Eq for Type

impl StructuralPartialEq for Type