Enum LeanSyntaxKind 

pub enum LeanSyntaxKind {
    Root,
    Eof,
    Axiom,
    Constant,
    Def,
    Example,
    Inductive,
    Lemma,
    Namespace,
    Open,
    Private,
    Protected,
    Section,
    Structure,
    Theorem,
    Universe,
    Variable,
    Variables,
    End,
    Import,
    Export,
    Prelude,
    Noncomputable,
    Partial,
    Unsafe,
    Mutual,
    Where,
    Have,
    Show,
    Suffices,
    Let,
    In,
    If,
    Then,
    Else,
    Match,
    With,
    Fun,
    Do,
    For,
    While,
    Break,
    Continue,
    Return,
    Try,
    Catch,
    Finally,
    Throw,
    Identifier,
    IntegerLiteral,
    FloatLiteral,
    StringLiteral,
    CharLiteral,
    Plus,
    Minus,
    Star,
    Slash,
    Percent,
    Caret,
    Hash,
    Ampersand,
    Pipe,
    Tilde,
    Bang,
    Question,
    At,
    Dollar,
    Arrow,
    FatArrow,
    Eq,
    Ne,
    Lt,
    Le,
    Gt,
    Ge,
    And,
    Or,
    Not,
    Append,
    Cons,
    LeftParen,
    RightParen,
    LeftBrace,
    RightBrace,
    LeftBracket,
    RightBracket,
    LeftAngle,
    RightAngle,
    Semicolon,
    Colon,
    Comma,
    Dot,
    DotDot,
    ColonEq,
    ColonColon,
    Whitespace,
    Newline,
    Comment,
    Error,
    SourceFile,
    Function,
    ParameterList,
    Parameter,
    BlockExpression,
    LetStatement,
    ExpressionStatement,
    IdentifierExpression,
    LiteralExpression,
    BooleanLiteral,
    ParenthesizedExpression,
    BinaryExpression,
    UnaryExpression,
    CallExpression,
    FieldExpression,
    IndexExpression,
    IfExpression,
    MatchExpression,
    LoopExpression,
    WhileExpression,
    ForExpression,
    BreakExpression,
    ContinueExpression,
    ReturnExpression,
    StructExpression,
    TupleExpression,
    ArrayExpression,
    RangeExpression,
    ClosureExpression,
    AsyncBlockExpression,
    UnsafeBlockExpression,
    TryExpression,
    AwaitExpression,
    MacroCall,
    Path,
    PathSegment,
    GenericArgs,
    TypePath,
    TupleType,
    ArrayType,
    SliceType,
    ReferenceType,
    PointerType,
    FunctionType,
    TraitObjectType,
    ImplTraitType,
    InferredType,
    NeverType,
    Pattern,
    IdentifierPattern,
    WildcardPattern,
    TuplePattern,
    StructPattern,
    TupleStructPattern,
    SlicePattern,
    ReferencePattern,
    LiteralPattern,
    RangePattern,
    OrPattern,
    RestPattern,
    StructDeclaration,
    EnumDeclaration,
    UnionDeclaration,
    TraitDeclaration,
    ImplDeclaration,
    ModuleDeclaration,
    UseDeclaration,
    ConstDeclaration,
    StaticDeclaration,
    TypeAliasDeclaration,
    ExternBlock,
    ExternFunction,
    Attribute,
    Visibility,
    GenericParams,
    GenericParam,
    TypeParam,
    ConstParam,
    LifetimeParam,
    WhereClause,
    WherePredicate,
    ReturnType,
    FieldList,
    Field,
    Variant,
    VariantList,
    AssociatedItem,
    TraitItem,
    ImplItem,
}

Variants

Root

Eof

Axiom

Constant

Def

Example

Inductive

Lemma

Namespace

Open

Private

Protected

Section

Structure

Theorem

Universe

Variable

Variables

End

Import

Export

Prelude

Noncomputable

Partial

Unsafe

Mutual

Where

Have

Show

Suffices

Let

In

If

Then

Else

Match

With

Fun

Do

For

While

Break

Continue

Return

Try

Catch

Finally

Throw

Identifier

IntegerLiteral

FloatLiteral

StringLiteral

CharLiteral

Plus

Minus

Star

Slash

Percent

Caret

Hash

Ampersand

Pipe

Tilde

Bang

Question

At

Dollar

Arrow

FatArrow

Eq

Ne

Lt

Le

Gt

Ge

And

Or

Not

Append

Cons

LeftParen

RightParen

LeftBrace

RightBrace

LeftBracket

RightBracket

LeftAngle

RightAngle

Semicolon

Colon

Comma

Dot

DotDot

ColonEq

ColonColon

Whitespace

Newline

Comment

Error

SourceFile

Function

ParameterList

Parameter

BlockExpression

LetStatement

ExpressionStatement

IdentifierExpression

LiteralExpression

BooleanLiteral

ParenthesizedExpression

BinaryExpression

UnaryExpression

CallExpression

FieldExpression

IndexExpression

IfExpression

MatchExpression

LoopExpression

WhileExpression

ForExpression

BreakExpression

ContinueExpression

ReturnExpression

StructExpression

TupleExpression

ArrayExpression

RangeExpression

ClosureExpression

AsyncBlockExpression

UnsafeBlockExpression

TryExpression

AwaitExpression

MacroCall

Path

PathSegment

GenericArgs

TypePath

TupleType

ArrayType

SliceType

ReferenceType

PointerType

FunctionType

TraitObjectType

ImplTraitType

InferredType

NeverType

Pattern

IdentifierPattern

WildcardPattern

TuplePattern

StructPattern

TupleStructPattern

SlicePattern

ReferencePattern

LiteralPattern

RangePattern

OrPattern

RestPattern

StructDeclaration

EnumDeclaration

UnionDeclaration

TraitDeclaration

ImplDeclaration

ModuleDeclaration

UseDeclaration

ConstDeclaration

StaticDeclaration

TypeAliasDeclaration

ExternBlock

ExternFunction

Attribute

Visibility

GenericParams

GenericParam

TypeParam

ConstParam

LifetimeParam

WhereClause

WherePredicate

ReturnType

FieldList

Field

Variant

VariantList

AssociatedItem

TraitItem

ImplItem

Trait Implementations

impl Clone for LeanSyntaxKind

fn clone(&self) -> LeanSyntaxKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanSyntaxKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LeanSyntaxKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl ElementType for LeanSyntaxKind

type Role = UniversalElementRole

The associated role type for this element kind.

fn role(&self) -> Self::Role

Returns the general syntactic role of this element.

fn is_role(&self, role: Self::Role) -> bool

Returns true if this element matches the specified language-specific role.

fn is_universal(&self, role: UniversalElementRole) -> bool

Returns true if this element matches the specified universal role.

fn is_root(&self) -> bool

Returns true if this element represents the root of the parsed tree.

fn is_error(&self) -> bool

Returns true if this element represents an error condition.

impl Hash for LeanSyntaxKind

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 LeanSyntaxKind

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TokenType for LeanSyntaxKind

const END_OF_STREAM: Self = Self::Eof

A constant representing the end of the input stream.

type Role = UniversalTokenRole

The associated role type for this token kind.

fn role(&self) -> Self::Role

Returns the general syntactic role of this token.

fn is_role(&self, role: Self::Role) -> bool

Returns true if this token matches the specified language-specific role.

fn is_universal(&self, role: UniversalTokenRole) -> bool

Returns true if this token matches the specified universal role.

fn is_comment(&self) -> bool

Returns true if this token represents a comment.

fn is_whitespace(&self) -> bool

Returns true if this token represents whitespace.

fn is_error(&self) -> bool

Returns true if this token represents an error condition.

fn is_ignored(&self) -> bool

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

fn is_end_of_stream(&self) -> bool

Returns true if this token represents the end of the input stream.

impl Copy for LeanSyntaxKind

impl Eq for LeanSyntaxKind

impl StructuralPartialEq for LeanSyntaxKind