Enum LeanTokenType 

pub enum LeanTokenType {
    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 LeanTokenType

fn clone(&self) -> LeanTokenType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanTokenType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LeanTokenType

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<LeanTokenType> for LeanElementType

fn from(token: LeanTokenType) -> Self

Converts to this type from the input type.

impl Hash for LeanTokenType

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 LeanTokenType

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

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 LeanTokenType

const END_OF_STREAM: Self = Self::Error

A constant representing the end of the input stream.

type Role = UniversalTokenRole

The associated role type for this token kind.

fn is_ignored(&self) -> bool

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

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_end_of_stream(&self) -> bool

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

impl Copy for LeanTokenType

impl Eq for LeanTokenType

impl StructuralPartialEq for LeanTokenType