Enum dedukti_parse::lex::Token [−][src]
pub enum Token<'s> {
Show 16 variants
Def,
Thm,
LBrk,
RBrk,
LPar,
RPar,
Colon,
ColonEq,
Arrow,
FatArrow,
LongArrow,
Comma,
Dot,
Ident(&'s str),
Space,
Error,
}
Variants
Ident(&'s str)
Tuple Fields of Ident
0: &'s str
Trait Implementations
Associated type Extras
for the particular lexer. This can be set using
#[logos(extras = MyExtras)]
and accessed inside callbacks. Read more
Source type this token can be lexed from. This will default to str
,
unless one of the defined patterns explicitly uses non-unicode byte values
or byte slices, in which case that implementation will use [u8]
. Read more
The heart of Logos. Called by the Lexer
. The implementation for this function
is generated by the logos-derive
crate. Read more
Create a new instance of a Lexer
that will produce tokens implementing
this Logos
. Read more