Enum VampireSyntaxKind 

pub enum VampireSyntaxKind {
    Text,
    Whitespace,
    Newline,
    Error,
    Eof,
    LeftParen,
    RightParen,
    LeftBracket,
    RightBracket,
    LeftBrace,
    RightBrace,
    Colon,
    Semicolon,
    Dot,
    Comma,
    Question,
    Bang,
    At,
    Hash,
    Dollar,
    Percent,
    Caret,
    Ampersand,
    Star,
    Plus,
    Minus,
    Eq,
    LessThan,
    GreaterThan,
    Slash,
    Backslash,
    Pipe,
    Tilde,
    EqEq,
    NotEq,
    LessEq,
    GreaterEq,
    AndAnd,
    OrOr,
    PlusPlus,
    MinusMinus,
    PlusEq,
    MinusEq,
    StarEq,
    SlashEq,
    PercentEq,
    LeftShift,
    RightShift,
    Arrow,
    FofKw,
    CnfKw,
    TffKw,
    ThfKw,
    TpiKw,
    IncludeKw,
    AxiomKw,
    HypothesisKw,
    DefinitionKw,
    AssumptionKw,
    LemmaKw,
    TheoremKw,
    ConjectureKw,
    NegatedConjectureKw,
    PlainKw,
    TypeKw,
    FiDomainKw,
    FiFunctorsKw,
    FiPredicatesKw,
    UnknownKw,
    ForallKw,
    ExistsKw,
    AndKw,
    OrKw,
    NotKw,
    ImpliesKw,
    IffKw,
    XorKw,
    NorKw,
    NandKw,
    BoolKw,
    IntKw,
    RealKw,
    RatKw,
    IndividualKw,
    OTypeKw,
    ITypeKw,
    TTypeKw,
    IntegerLiteral,
    RealLiteral,
    StringLiteral,
    BoolLiteral,
    Identifier,
    LineComment,
    BlockComment,
}

Variants

Text

Whitespace

Newline

Error

Eof

LeftParen

RightParen

LeftBracket

RightBracket

LeftBrace

RightBrace

Colon

Semicolon

Dot

Comma

Question

Bang

At

Hash

Dollar

Percent

Caret

Ampersand

Star

Plus

Minus

Eq

LessThan

GreaterThan

Slash

Backslash

Pipe

Tilde

EqEq

NotEq

LessEq

GreaterEq

AndAnd

OrOr

PlusPlus

MinusMinus

PlusEq

MinusEq

StarEq

SlashEq

PercentEq

LeftShift

RightShift

Arrow

FofKw

CnfKw

TffKw

ThfKw

TpiKw

IncludeKw

AxiomKw

HypothesisKw

DefinitionKw

AssumptionKw

LemmaKw

TheoremKw

ConjectureKw

NegatedConjectureKw

PlainKw

TypeKw

FiDomainKw

FiFunctorsKw

FiPredicatesKw

UnknownKw

ForallKw

ExistsKw

AndKw

OrKw

NotKw

ImpliesKw

IffKw

XorKw

NorKw

NandKw

BoolKw

IntKw

RealKw

RatKw

IndividualKw

OTypeKw

ITypeKw

TTypeKw

IntegerLiteral

RealLiteral

StringLiteral

BoolLiteral

Identifier

LineComment

BlockComment

Trait Implementations

impl Clone for VampireSyntaxKind

fn clone(&self) -> VampireSyntaxKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VampireSyntaxKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VampireSyntaxKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for VampireSyntaxKind

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 VampireSyntaxKind

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl SyntaxKind for VampireSyntaxKind

fn is_trivia(&self) -> bool

Returns true if this kind represents trivia (whitespace, comments, etc.).

fn is_comment(&self) -> bool

Returns true if this kind represents a comment.

fn is_whitespace(&self) -> bool

Returns true if this kind represents whitespace.

fn is_token_type(&self) -> bool

Returns true if this kind represents a token type.

fn is_element_type(&self) -> bool

Returns true if this kind represents an element type.

impl Copy for VampireSyntaxKind

impl Eq for VampireSyntaxKind

impl StructuralPartialEq for VampireSyntaxKind