pub enum Term {
Sequence(Box<SequenceBuilder>),
Function(Box<FunctionalTerm>),
Composition(FunctionComposition),
Identifier(IdentifierReference),
ReservedSelf,
Value(PredicateValue),
}
Expand description
Corresponds to the grammar rule term
.
Variants§
Sequence(Box<SequenceBuilder>)
Function(Box<FunctionalTerm>)
Composition(FunctionComposition)
Identifier(IdentifierReference)
ReservedSelf
Value(PredicateValue)
Implementations§
Source§impl Term
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§
Source§impl<'de> Deserialize<'de> for Term
impl<'de> Deserialize<'de> for Term
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl From<Box<FunctionalTerm>> for Term
impl From<Box<FunctionalTerm>> for Term
Source§fn from(v: Box<FunctionalTerm>) -> Self
fn from(v: Box<FunctionalTerm>) -> Self
Converts to this type from the input type.
Source§impl From<Box<SequenceBuilder>> for Term
impl From<Box<SequenceBuilder>> for Term
Source§fn from(v: Box<SequenceBuilder>) -> Self
fn from(v: Box<SequenceBuilder>) -> Self
Converts to this type from the input type.
Source§impl From<FunctionComposition> for Term
impl From<FunctionComposition> for Term
Source§fn from(v: FunctionComposition) -> Self
fn from(v: FunctionComposition) -> Self
Converts to this type from the input type.
Source§impl From<FunctionalTerm> for Term
impl From<FunctionalTerm> for Term
Source§fn from(v: FunctionalTerm) -> Self
fn from(v: FunctionalTerm) -> Self
Converts to this type from the input type.
Source§impl From<Identifier> for Term
impl From<Identifier> for Term
Source§fn from(v: Identifier) -> Self
fn from(v: Identifier) -> Self
Converts to this type from the input type.
Source§impl From<IdentifierReference> for Term
impl From<IdentifierReference> for Term
Source§fn from(v: IdentifierReference) -> Self
fn from(v: IdentifierReference) -> Self
Converts to this type from the input type.
Source§impl From<PredicateValue> for Term
impl From<PredicateValue> for Term
Source§fn from(v: PredicateValue) -> Self
fn from(v: PredicateValue) -> Self
Converts to this type from the input type.
Source§impl From<QualifiedIdentifier> for Term
impl From<QualifiedIdentifier> for Term
Source§fn from(v: QualifiedIdentifier) -> Self
fn from(v: QualifiedIdentifier) -> Self
Converts to this type from the input type.
Source§impl From<SequenceBuilder> for Term
impl From<SequenceBuilder> for Term
Source§fn from(v: SequenceBuilder) -> Self
fn from(v: SequenceBuilder) -> Self
Converts to this type from the input type.
Source§impl From<Term> for FunctionBody
impl From<Term> for FunctionBody
Source§fn from(value: Term) -> FunctionBody
fn from(value: Term) -> FunctionBody
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for Term
impl RefUnwindSafe for Term
impl Send for Term
impl Sync for Term
impl Unpin for Term
impl UnwindSafe for Term
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more