pub enum PrologElementType {
Show 58 variants
Whitespace,
Newline,
Comment,
Atom,
Integer,
Float,
String,
Variable,
Unify,
NotUnify,
Equal,
NotEqual,
ArithEqual,
ArithNotEqual,
Less,
Greater,
LessEqual,
GreaterEqual,
Is,
Plus,
Minus,
Multiply,
Divide,
IntDivide,
Modulo,
Power,
BitwiseAnd,
BitwiseOr,
BitwiseXor,
BitwiseNot,
LeftShift,
RightShift,
LeftParen,
RightParen,
LeftBracket,
RightBracket,
LeftBrace,
RightBrace,
Comma,
Dot,
Pipe,
Semicolon,
Cut,
Question,
Colon,
ColonMinus,
QuestionMinus,
Functor,
Clause,
Rule,
Fact,
Query,
Directive,
List,
Structure,
Root,
Error,
Eof,
}Expand description
Prolog element types.
Variants§
Whitespace
Whitespace.
Newline
Newline.
Comment
Comment.
Atom
Atom.
Integer
Integer.
Float
Float.
String
String.
Variable
Variable.
Unify
Unify =.
NotUnify
Not unify \=.
Equal
Equal ==.
NotEqual
Not equal \==.
ArithEqual
Arithmetic equal =:=.
ArithNotEqual
Arithmetic not equal =\=.
Less
Less than <.
Greater
Greater than >.
LessEqual
Less than or equal =<.
GreaterEqual
Greater than or equal >=.
Is
Is is.
Plus
Plus +.
Minus
Minus -.
Multiply
Multiply *.
Divide
Divide /.
IntDivide
Integer divide //.
Modulo
Modulo mod.
Power
Power **.
BitwiseAnd
Bitwise AND /\.
BitwiseOr
Bitwise OR \/.
BitwiseXor
Bitwise XOR xor.
BitwiseNot
Bitwise NOT \.
LeftShift
Left shift <<.
RightShift
Right shift >>.
LeftParen
Left parenthesis (.
RightParen
Right parenthesis ).
LeftBracket
Left bracket [.
RightBracket
Right bracket ].
LeftBrace
Left brace {.
RightBrace
Right brace }.
Comma
Comma ,.
Dot
Dot ..
Pipe
Pipe |.
Semicolon
Semicolon ;.
Cut
Cut !.
Question
Question mark ?.
Colon
Colon :.
ColonMinus
Colon minus :-.
QuestionMinus
Question minus ?-.
Functor
Functor.
Clause
Clause.
Rule
Rule.
Fact
Fact.
Query
Query.
Directive
Directive.
List
List.
Structure
Structure.
Root
Root.
Error
Error.
Eof
End of file.
Implementations§
Trait Implementations§
Source§impl Clone for PrologElementType
impl Clone for PrologElementType
Source§fn clone(&self) -> PrologElementType
fn clone(&self) -> PrologElementType
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for PrologElementType
impl Debug for PrologElementType
Source§impl<'de> Deserialize<'de> for PrologElementType
impl<'de> Deserialize<'de> for PrologElementType
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 ElementType for PrologElementType
impl ElementType for PrologElementType
Source§type Role = UniversalElementRole
type Role = UniversalElementRole
The associated role type for this element kind.
Source§fn is_role(&self, role: Self::Role) -> bool
fn is_role(&self, role: Self::Role) -> bool
Returns true if this element matches the specified language-specific role.
Source§fn is_universal(&self, role: UniversalElementRole) -> bool
fn is_universal(&self, role: UniversalElementRole) -> bool
Returns true if this element matches the specified universal role.
Source§impl From<PrologTokenType> for PrologElementType
impl From<PrologTokenType> for PrologElementType
Source§fn from(token: PrologTokenType) -> Self
fn from(token: PrologTokenType) -> Self
Converts to this type from the input type.
Source§impl Hash for PrologElementType
impl Hash for PrologElementType
Source§impl PartialEq for PrologElementType
impl PartialEq for PrologElementType
Source§impl Serialize for PrologElementType
impl Serialize for PrologElementType
impl Copy for PrologElementType
impl Eq for PrologElementType
impl StructuralPartialEq for PrologElementType
Auto Trait Implementations§
impl Freeze for PrologElementType
impl RefUnwindSafe for PrologElementType
impl Send for PrologElementType
impl Sync for PrologElementType
impl Unpin for PrologElementType
impl UnsafeUnpin for PrologElementType
impl UnwindSafe for PrologElementType
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