Enum Term

pub enum Term {
    Sequence(Box<SequenceBuilder>),
    Function(Box<FunctionalTerm>),
    Composition(FunctionComposition),
    Identifier(IdentifierReference),
    ReservedSelf,
    Value(PredicateValue),
}

Corresponds to the grammar rule term.

Variants

Sequence(Box<SequenceBuilder>)

Function(Box<FunctionalTerm>)

Composition(FunctionComposition)

Identifier(IdentifierReference)

ReservedSelf

Value(PredicateValue)

Implementations

impl Term

pub const fn is_sequence(&self) -> bool

pub const fn as_sequence(&self) -> Option<&SequenceBuilder>

pub const fn is_function(&self) -> bool

pub const fn as_function(&self) -> Option<&FunctionalTerm>

pub const fn is_call(&self) -> bool

pub const fn as_call(&self) -> Option<&FunctionComposition>

pub const fn is_identifier(&self) -> bool

pub const fn as_identifier(&self) -> Option<&IdentifierReference>

pub const fn is_value(&self) -> bool

pub const fn as_value(&self) -> Option<&PredicateValue>

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Term

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Term

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<Box<FunctionalTerm>> for Term

fn from(v: Box<FunctionalTerm>) -> Self

Converts to this type from the input type.

impl From<Box<SequenceBuilder>> for Term

fn from(v: Box<SequenceBuilder>) -> Self

Converts to this type from the input type.

impl From<FunctionComposition> for Term

fn from(v: FunctionComposition) -> Self

Converts to this type from the input type.

impl From<FunctionalTerm> for Term

fn from(v: FunctionalTerm) -> Self

Converts to this type from the input type.

impl From<Identifier> for Term

fn from(v: Identifier) -> Self

Converts to this type from the input type.

impl From<IdentifierReference> for Term

fn from(v: IdentifierReference) -> Self

Converts to this type from the input type.

impl From<PredicateValue> for Term

fn from(v: PredicateValue) -> Self

Converts to this type from the input type.

impl From<QualifiedIdentifier> for Term

fn from(v: QualifiedIdentifier) -> Self

Converts to this type from the input type.

impl From<SequenceBuilder> for Term

fn from(v: SequenceBuilder) -> Self

Converts to this type from the input type.

impl From<Term> for FunctionBody

fn from(value: Term) -> FunctionBody

Converts to this type from the input type.

impl Serialize for Term

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

where __S: Serializer,

Serialize this value into the given Serde serializer.