Enum EntryKind 

pub enum EntryKind {
    Definition,
    Reference,
    TypeAnnotation,
    Binder,
    Constructor,
    Pattern,
    Tactic,
    Keyword,
    Literal,
    Comment,
    DocComment,
    Operator,
}

The kind of source entry.

Variants

Definition

A definition site (def, theorem, axiom, etc.)

Reference

A reference to a previously defined name.

TypeAnnotation

A type annotation expression.

Binder

A binder (lambda, forall, let parameter).

Constructor

A constructor of an inductive type.

Pattern

A pattern in a match expression.

Tactic

A tactic invocation.

Keyword

A keyword token.

Literal

A literal value (number, string, char).

Comment

A comment (line or block).

DocComment

A documentation comment.

Operator

An operator symbol.

Trait Implementations

impl Clone for EntryKind

fn clone(&self) -> EntryKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EntryKind

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

Formats the value using the given formatter.

impl PartialEq for EntryKind

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

impl StructuralPartialEq for EntryKind