Enum ModusTerm

pub enum ModusTerm {
    Constant(String),
    FormatString {
        position: SpannedPosition,
        fragments: Vec<FormatStringFragment>,
    },
    UserVariable(String),
    AnonymousVariable,
    Array(SpannedPosition, Vec<ModusTerm>),
}

Variants

Constant(String)

FormatString

A format string with ‘$’ left unhandled. This should be dealt with when converting to the IR.

Fields

position: SpannedPosition

The position of this entire term, beginning from the ‘f’ in the source

fragments: Vec<FormatStringFragment>

UserVariable(String)

AnonymousVariable

Array(SpannedPosition, Vec<ModusTerm>)

Implementations

impl ModusTerm

pub fn is_variable(&self) -> bool

pub fn is_format_string(&self) -> bool

Returns true if the modus term is FormatString.

Trait Implementations

impl Clone for ModusTerm

fn clone(&self) -> ModusTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModusTerm

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

Formats the value using the given formatter.

impl Display for ModusTerm

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

Formats the value using the given formatter.

impl From<ModusTerm> for IRTerm

fn from(modus_term: ModusTerm) -> Self

Converts to this type from the input type.

impl FromStr for ModusTerm

type Err = Vec<Diagnostic<()>>

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Hash for ModusTerm

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 ModusTerm

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

impl StructuralPartialEq for ModusTerm