Enum DHallSyntaxKind 

pub enum DHallSyntaxKind {
    Whitespace,
    Newline,
    Comment,
    Identifier,
    Number,
    String,
    If,
    Then,
    Else,
    Let,
    In,
    Using,
    As,
    Merge,
    Some,
    None,
    NaN,
    Infinity,
    Type,
    Kind,
    Sort,
    Bool,
    Natural,
    Integer,
    Double,
    Text,
    List,
    Optional,
    True,
    False,
    With,
    Forall,
    Assert,
    Arrow,
    FatArrow,
    EqualEqual,
    NotEqual,
    And,
    Or,
    Append,
    Combine,
    CombineTypes,
    Prefer,
    Lambda,
    LeftParen,
    RightParen,
    LeftBrace,
    RightBrace,
    LeftBracket,
    RightBracket,
    Comma,
    Semicolon,
    Dot,
    Colon,
    Equal,
    Less,
    Greater,
    Plus,
    Minus,
    Star,
    Slash,
    Pipe,
    At,
    Hash,
    Question,
    Error,
    Eof,
    Root,
    SourceFile,
}

Variants

Whitespace

Whitespace characters

Newline

Newline character

Comment

Comment text

Identifier

Identifier name

Number

Number literal

String

String literal

If

The ‘if’ keyword

Then

The ‘then’ keyword

Else

The ‘else’ keyword

Let

The ‘let’ keyword

In

The ‘in’ keyword

Using

The ‘using’ keyword

As

The ‘as’ keyword

Merge

The ‘merge’ keyword

Some

The ‘Some’ keyword

None

The ‘None’ keyword

NaN

The ‘NaN’ keyword

Infinity

The ‘Infinity’ keyword

Type

The ‘Type’ keyword

Kind

The ‘Kind’ keyword

Sort

The ‘Sort’ keyword

Bool

The ‘Bool’ keyword

Natural

The ‘Natural’ keyword

Integer

The ‘Integer’ keyword

Double

The ‘Double’ keyword

Text

The ‘Text’ keyword

List

The ‘List’ keyword

Optional

The ‘Optional’ keyword

True

The ‘True’ keyword

False

The ‘False’ keyword

With

The ‘with’ keyword

Forall

The ‘forall’ keyword

Assert

The ‘assert’ keyword

Arrow

Arrow operator (-> or →)

FatArrow

Fat arrow operator (=>)

EqualEqual

Equality operator (== or ≡)

NotEqual

Inequality operator (!=)

And

Logical AND (&& or ∧)

Or

Logical OR (|| or ∨)

Append

List concatenation (++)

Combine

Record combination (// or ⫽)

CombineTypes

Type combination (/\ or ⩓)

Prefer

Record preference (//)

Lambda

Lambda operator (\ or λ)

LeftParen

Left parenthesis (()

RightParen

Right parenthesis ())

LeftBrace

Left brace ({)

RightBrace

Right brace (})

LeftBracket

Left bracket ([)

RightBracket

Right bracket (])

Comma

Comma (,)

Semicolon

Semicolon (;)

Dot

Dot (.)

Colon

Colon (:)

Equal

Assignment operator (=)

Less

Less than operator (<)

Greater

Greater than operator (>)

Plus

Plus operator (+)

Minus

Minus operator (-)

Star

Multiplication operator (*)

Slash

Division operator (/)

Pipe

Pipe operator (|)

At

At symbol (@)

Hash

Hash symbol (#)

Question

Question mark (?)

Error

Error token

Eof

End of file marker

Root

SourceFile

Implementations

impl DHallSyntaxKind

pub fn is_keyword(&self) -> bool

Trait Implementations

impl Clone for DHallSyntaxKind

fn clone(&self) -> DHallSyntaxKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DHallSyntaxKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DHallSyntaxKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl ElementType for DHallSyntaxKind

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 DHallSyntaxKind

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 DHallSyntaxKind

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

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 DHallSyntaxKind

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 DHallSyntaxKind

impl Eq for DHallSyntaxKind

impl StructuralPartialEq for DHallSyntaxKind