pub enum NormalToken<'input> {
Show 167 variants
Error,
Identifier(&'input str),
DecNumLiteral(Rational),
HexNumLiteral(Rational),
OctNumLiteral(Rational),
BinNumLiteral(Rational),
RawEnumTag(&'input str),
StrEnumTagBegin,
Dyn,
Number,
Bool,
String,
Array,
If,
Then,
Else,
Forall,
In,
Let,
Rec,
Match,
Null,
True,
False,
Or,
As,
Include,
QuestionMark,
Comma,
Semicolon,
Colon,
Dollar,
Equals,
NotEquals,
Ampersand,
Dot,
DoubleQuote,
Plus,
Minus,
Times,
Div,
Percent,
DoublePlus,
DoubleEq,
At,
DoubleAnd,
DoublePipe,
Bang,
Ellipsis,
Fun,
Import,
Pipe,
RightPipe,
SimpleArrow,
DoubleArrow,
Underscore,
MultiStringStart(usize),
SymbolicStringStart(SymbolicStringStart<'input>),
Typeof,
Cast,
ContractApply,
ContractCheck,
ContractArrayLazyApp,
ContractRecordLazyApp,
ContractCustom,
Blame,
LabelFlipPol,
LabelPol,
LabelGoDom,
LabelGoCodom,
LabelGoField,
LabelGoArray,
LabelGoDict,
LabelInsertTypeVar,
LabelLookupTypeVar,
Seal,
Unseal,
EnumEmbed,
RecordMap,
RecordInsert,
RecordInsertWithOpts,
RecordRemove,
RecordRemoveWithOpts,
RecordEmptyWithTail,
RecordSealTail,
RecordUnsealTail,
Seq,
DeepSeq,
OpForce,
ArrayLength,
RecordFields,
RecordFieldsWithOpts,
RecordValues,
NumberArcCos,
NumberArcSin,
NumberArcTan,
NumberArcTan2,
NumberCos,
NumberSin,
NumberTan,
NumberLog,
Pow,
Trace,
RecordHasField,
RecordHasFieldWithOpts,
ArrayMap,
ArrayAt,
ArrayGen,
OpRecForce,
OpRecDefault,
RecordFieldIsDefined,
RecordFieldIsDefinedWithOpts,
RecordSplitPair,
RecordDisjointMerge,
RecordMergeContract,
RecordFreeze,
Default,
Doc,
Optional,
Priority,
Force,
NotExported,
OpHash,
Serialize,
Deserialize,
StringSplit,
StringTrim,
StringChars,
StringUppercase,
StringLowercase,
StringContains,
StringCompare,
StringReplace,
StringReplaceRegex,
StringIsMatch,
StringFind,
StringFindAll,
StringLength,
StringSubstr,
StringBase64Encode,
StringBase64Decode,
ToString,
NumberFromString,
EnumFromString,
EnumGetArg,
EnumMakeVariant,
EnumIsVariant,
EnumGetTag,
LabelWithMessage,
LabelWithNotes,
LabelAppendNote,
LabelPushDiag,
ArraySlice,
EvalNix,
LBrace,
RBrace,
LBracket,
RBracket,
LParen,
RParen,
LAngleBracket,
LessOrEq,
RAngleBracket,
GreaterOrEq,
EnumOpen,
EnumClose,
LineComment,
}Expand description
The tokens in normal mode.
Variants§
Error
Identifier(&'input str)
DecNumLiteral(Rational)
HexNumLiteral(Rational)
OctNumLiteral(Rational)
BinNumLiteral(Rational)
RawEnumTag(&'input str)
StrEnumTagBegin
Dyn
Number
Bool
String
Array
If
Then
Else
Forall
In
Let
Rec
Match
Null
True
False
Or
Or isn’t a reserved keyword. It is a contextual keyword (a keyword that can be used as an identifier because it’s not ambiguous) within patterns.
As
As isn’t a reserved keyword. It is a contextual keyword (a keyword that can be used as an
identifier because it’s not ambiguous) within the import xxx as yyy construct.
Include
Include isn’t a reserved keyword either. It is a contextual keyword (a keyword that can be used as an identifier because it’s not ambiguous) within a record literal.
QuestionMark
Comma
Semicolon
Colon
Dollar
Equals
NotEquals
Ampersand
Dot
DoubleQuote
Plus
Minus
Times
Div
Percent
DoublePlus
DoubleEq
At
DoubleAnd
DoublePipe
Bang
Ellipsis
Fun
Import
Pipe
RightPipe
SimpleArrow
DoubleArrow
Underscore
MultiStringStart(usize)
SymbolicStringStart(SymbolicStringStart<'input>)
Typeof
Cast
ContractApply
ContractCheck
ContractArrayLazyApp
ContractRecordLazyApp
ContractCustom
Blame
LabelFlipPol
LabelPol
LabelGoDom
LabelGoCodom
LabelGoField
LabelGoArray
LabelGoDict
LabelInsertTypeVar
LabelLookupTypeVar
Seal
Unseal
EnumEmbed
RecordMap
RecordInsert
RecordInsertWithOpts
RecordRemove
RecordRemoveWithOpts
RecordEmptyWithTail
RecordSealTail
RecordUnsealTail
Seq
DeepSeq
OpForce
ArrayLength
RecordFields
RecordFieldsWithOpts
RecordValues
NumberArcCos
NumberArcSin
NumberArcTan
NumberArcTan2
NumberCos
NumberSin
NumberTan
NumberLog
Pow
Trace
RecordHasField
RecordHasFieldWithOpts
ArrayMap
ArrayAt
ArrayGen
OpRecForce
OpRecDefault
RecordFieldIsDefined
RecordFieldIsDefinedWithOpts
RecordSplitPair
RecordDisjointMerge
RecordMergeContract
RecordFreeze
Default
Doc
Optional
Priority
Force
NotExported
OpHash
Serialize
Deserialize
StringSplit
StringTrim
StringChars
StringUppercase
StringLowercase
StringContains
StringCompare
StringReplace
StringReplaceRegex
StringIsMatch
StringFind
StringFindAll
StringLength
StringSubstr
StringBase64Encode
StringBase64Decode
ToString
NumberFromString
EnumFromString
EnumGetArg
EnumMakeVariant
EnumIsVariant
EnumGetTag
LabelWithMessage
LabelWithNotes
LabelAppendNote
LabelPushDiag
ArraySlice
EvalNix
LBrace
RBrace
LBracket
RBracket
LParen
RParen
LAngleBracket
LessOrEq
RAngleBracket
GreaterOrEq
EnumOpen
EnumClose
LineComment
Trait Implementations§
Source§impl<'input> Clone for NormalToken<'input>
impl<'input> Clone for NormalToken<'input>
Source§fn clone(&self) -> NormalToken<'input>
fn clone(&self) -> NormalToken<'input>
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl<'input> Debug for NormalToken<'input>
impl<'input> Debug for NormalToken<'input>
Source§impl<'s> Logos<'s> for NormalToken<'s>
impl<'s> Logos<'s> for NormalToken<'s>
Source§type Error = ()
type Error = ()
#[logos(error = MyError)]. Defaults to () if not set.Source§type Extras = ()
type Extras = ()
Extras for the particular lexer. This can be set using
#[logos(extras = MyExtras)] and accessed inside callbacks.Source§type Source = str
type Source = str
str,
unless one of the defined patterns explicitly uses non-unicode byte values
or byte slices, in which case that implementation will use [u8].Source§fn lex(
lex: &mut Lexer<'s, NormalToken<'s>>,
) -> Option<Result<NormalToken<'s>, <NormalToken<'s> as Logos<'s>>::Error>>
fn lex( lex: &mut Lexer<'s, NormalToken<'s>>, ) -> Option<Result<NormalToken<'s>, <NormalToken<'s> as Logos<'s>>::Error>>
Lexer. The implementation for this function
is generated by the logos-derive crate.Source§impl<'input> PartialEq for NormalToken<'input>
impl<'input> PartialEq for NormalToken<'input>
impl<'input> StructuralPartialEq for NormalToken<'input>
Auto Trait Implementations§
impl<'input> Freeze for NormalToken<'input>
impl<'input> RefUnwindSafe for NormalToken<'input>
impl<'input> Send for NormalToken<'input>
impl<'input> Sync for NormalToken<'input>
impl<'input> Unpin for NormalToken<'input>
impl<'input> UnsafeUnpin for NormalToken<'input>
impl<'input> UnwindSafe for NormalToken<'input>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T, U> OverflowingInto<U> for Twhere
U: OverflowingFrom<T>,
impl<T, U> OverflowingInto<U> for Twhere
U: OverflowingFrom<T>,
fn overflowing_into(self) -> (U, bool)
Source§impl<D> OwoColorize for D
impl<D> OwoColorize for D
Source§fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>where
C: Color,
fn fg<C>(&self) -> FgColorDisplay<'_, C, Self>where
C: Color,
Source§fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>where
C: Color,
fn bg<C>(&self) -> BgColorDisplay<'_, C, Self>where
C: Color,
Source§fn black(&self) -> FgColorDisplay<'_, Black, Self>
fn black(&self) -> FgColorDisplay<'_, Black, Self>
Source§fn on_black(&self) -> BgColorDisplay<'_, Black, Self>
fn on_black(&self) -> BgColorDisplay<'_, Black, Self>
Source§fn red(&self) -> FgColorDisplay<'_, Red, Self>
fn red(&self) -> FgColorDisplay<'_, Red, Self>
Source§fn on_red(&self) -> BgColorDisplay<'_, Red, Self>
fn on_red(&self) -> BgColorDisplay<'_, Red, Self>
Source§fn green(&self) -> FgColorDisplay<'_, Green, Self>
fn green(&self) -> FgColorDisplay<'_, Green, Self>
Source§fn on_green(&self) -> BgColorDisplay<'_, Green, Self>
fn on_green(&self) -> BgColorDisplay<'_, Green, Self>
Source§fn yellow(&self) -> FgColorDisplay<'_, Yellow, Self>
fn yellow(&self) -> FgColorDisplay<'_, Yellow, Self>
Source§fn on_yellow(&self) -> BgColorDisplay<'_, Yellow, Self>
fn on_yellow(&self) -> BgColorDisplay<'_, Yellow, Self>
Source§fn blue(&self) -> FgColorDisplay<'_, Blue, Self>
fn blue(&self) -> FgColorDisplay<'_, Blue, Self>
Source§fn on_blue(&self) -> BgColorDisplay<'_, Blue, Self>
fn on_blue(&self) -> BgColorDisplay<'_, Blue, Self>
Source§fn magenta(&self) -> FgColorDisplay<'_, Magenta, Self>
fn magenta(&self) -> FgColorDisplay<'_, Magenta, Self>
Source§fn on_magenta(&self) -> BgColorDisplay<'_, Magenta, Self>
fn on_magenta(&self) -> BgColorDisplay<'_, Magenta, Self>
Source§fn purple(&self) -> FgColorDisplay<'_, Magenta, Self>
fn purple(&self) -> FgColorDisplay<'_, Magenta, Self>
Source§fn on_purple(&self) -> BgColorDisplay<'_, Magenta, Self>
fn on_purple(&self) -> BgColorDisplay<'_, Magenta, Self>
Source§fn cyan(&self) -> FgColorDisplay<'_, Cyan, Self>
fn cyan(&self) -> FgColorDisplay<'_, Cyan, Self>
Source§fn on_cyan(&self) -> BgColorDisplay<'_, Cyan, Self>
fn on_cyan(&self) -> BgColorDisplay<'_, Cyan, Self>
Source§fn white(&self) -> FgColorDisplay<'_, White, Self>
fn white(&self) -> FgColorDisplay<'_, White, Self>
Source§fn on_white(&self) -> BgColorDisplay<'_, White, Self>
fn on_white(&self) -> BgColorDisplay<'_, White, Self>
Source§fn default_color(&self) -> FgColorDisplay<'_, Default, Self>
fn default_color(&self) -> FgColorDisplay<'_, Default, Self>
Source§fn on_default_color(&self) -> BgColorDisplay<'_, Default, Self>
fn on_default_color(&self) -> BgColorDisplay<'_, Default, Self>
Source§fn bright_black(&self) -> FgColorDisplay<'_, BrightBlack, Self>
fn bright_black(&self) -> FgColorDisplay<'_, BrightBlack, Self>
Source§fn on_bright_black(&self) -> BgColorDisplay<'_, BrightBlack, Self>
fn on_bright_black(&self) -> BgColorDisplay<'_, BrightBlack, Self>
Source§fn bright_red(&self) -> FgColorDisplay<'_, BrightRed, Self>
fn bright_red(&self) -> FgColorDisplay<'_, BrightRed, Self>
Source§fn on_bright_red(&self) -> BgColorDisplay<'_, BrightRed, Self>
fn on_bright_red(&self) -> BgColorDisplay<'_, BrightRed, Self>
Source§fn bright_green(&self) -> FgColorDisplay<'_, BrightGreen, Self>
fn bright_green(&self) -> FgColorDisplay<'_, BrightGreen, Self>
Source§fn on_bright_green(&self) -> BgColorDisplay<'_, BrightGreen, Self>
fn on_bright_green(&self) -> BgColorDisplay<'_, BrightGreen, Self>
Source§fn bright_yellow(&self) -> FgColorDisplay<'_, BrightYellow, Self>
fn bright_yellow(&self) -> FgColorDisplay<'_, BrightYellow, Self>
Source§fn on_bright_yellow(&self) -> BgColorDisplay<'_, BrightYellow, Self>
fn on_bright_yellow(&self) -> BgColorDisplay<'_, BrightYellow, Self>
Source§fn bright_blue(&self) -> FgColorDisplay<'_, BrightBlue, Self>
fn bright_blue(&self) -> FgColorDisplay<'_, BrightBlue, Self>
Source§fn on_bright_blue(&self) -> BgColorDisplay<'_, BrightBlue, Self>
fn on_bright_blue(&self) -> BgColorDisplay<'_, BrightBlue, Self>
Source§fn bright_magenta(&self) -> FgColorDisplay<'_, BrightMagenta, Self>
fn bright_magenta(&self) -> FgColorDisplay<'_, BrightMagenta, Self>
Source§fn on_bright_magenta(&self) -> BgColorDisplay<'_, BrightMagenta, Self>
fn on_bright_magenta(&self) -> BgColorDisplay<'_, BrightMagenta, Self>
Source§fn bright_purple(&self) -> FgColorDisplay<'_, BrightMagenta, Self>
fn bright_purple(&self) -> FgColorDisplay<'_, BrightMagenta, Self>
Source§fn on_bright_purple(&self) -> BgColorDisplay<'_, BrightMagenta, Self>
fn on_bright_purple(&self) -> BgColorDisplay<'_, BrightMagenta, Self>
Source§fn bright_cyan(&self) -> FgColorDisplay<'_, BrightCyan, Self>
fn bright_cyan(&self) -> FgColorDisplay<'_, BrightCyan, Self>
Source§fn on_bright_cyan(&self) -> BgColorDisplay<'_, BrightCyan, Self>
fn on_bright_cyan(&self) -> BgColorDisplay<'_, BrightCyan, Self>
Source§fn bright_white(&self) -> FgColorDisplay<'_, BrightWhite, Self>
fn bright_white(&self) -> FgColorDisplay<'_, BrightWhite, Self>
Source§fn on_bright_white(&self) -> BgColorDisplay<'_, BrightWhite, Self>
fn on_bright_white(&self) -> BgColorDisplay<'_, BrightWhite, Self>
Source§fn bold(&self) -> BoldDisplay<'_, Self>
fn bold(&self) -> BoldDisplay<'_, Self>
Source§fn dimmed(&self) -> DimDisplay<'_, Self>
fn dimmed(&self) -> DimDisplay<'_, Self>
Source§fn italic(&self) -> ItalicDisplay<'_, Self>
fn italic(&self) -> ItalicDisplay<'_, Self>
Source§fn underline(&self) -> UnderlineDisplay<'_, Self>
fn underline(&self) -> UnderlineDisplay<'_, Self>
Source§fn blink(&self) -> BlinkDisplay<'_, Self>
fn blink(&self) -> BlinkDisplay<'_, Self>
Source§fn blink_fast(&self) -> BlinkFastDisplay<'_, Self>
fn blink_fast(&self) -> BlinkFastDisplay<'_, Self>
Source§fn reversed(&self) -> ReversedDisplay<'_, Self>
fn reversed(&self) -> ReversedDisplay<'_, Self>
Source§fn strikethrough(&self) -> StrikeThroughDisplay<'_, Self>
fn strikethrough(&self) -> StrikeThroughDisplay<'_, Self>
Source§fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>where
Color: DynColor,
fn color<Color>(&self, color: Color) -> FgDynColorDisplay<'_, Color, Self>where
Color: DynColor,
OwoColorize::fg or
a color-specific method, such as OwoColorize::green, Read moreSource§fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>where
Color: DynColor,
fn on_color<Color>(&self, color: Color) -> BgDynColorDisplay<'_, Color, Self>where
Color: DynColor,
OwoColorize::bg or
a color-specific method, such as OwoColorize::on_yellow, Read moreSource§fn fg_rgb<const R: u8, const G: u8, const B: u8>(
&self,
) -> FgColorDisplay<'_, CustomColor<R, G, B>, Self>
fn fg_rgb<const R: u8, const G: u8, const B: u8>( &self, ) -> FgColorDisplay<'_, CustomColor<R, G, B>, Self>
Source§fn bg_rgb<const R: u8, const G: u8, const B: u8>(
&self,
) -> BgColorDisplay<'_, CustomColor<R, G, B>, Self>
fn bg_rgb<const R: u8, const G: u8, const B: u8>( &self, ) -> BgColorDisplay<'_, CustomColor<R, G, B>, Self>
Source§fn truecolor(&self, r: u8, g: u8, b: u8) -> FgDynColorDisplay<'_, Rgb, Self>
fn truecolor(&self, r: u8, g: u8, b: u8) -> FgDynColorDisplay<'_, Rgb, Self>
Source§fn on_truecolor(&self, r: u8, g: u8, b: u8) -> BgDynColorDisplay<'_, Rgb, Self>
fn on_truecolor(&self, r: u8, g: u8, b: u8) -> BgDynColorDisplay<'_, Rgb, Self>
Source§impl<T> Paint for Twhere
T: ?Sized,
impl<T> Paint for Twhere
T: ?Sized,
Source§fn fg(&self, value: Color) -> Painted<&T>
fn fg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the foreground set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like red() and
green(), which have the same functionality but are
pithier.
§Example
Set foreground color to white using fg():
use yansi::{Paint, Color};
painted.fg(Color::White);Set foreground color to white using white().
use yansi::Paint;
painted.white();Source§fn bright_black(&self) -> Painted<&T>
fn bright_black(&self) -> Painted<&T>
Source§fn bright_red(&self) -> Painted<&T>
fn bright_red(&self) -> Painted<&T>
Source§fn bright_green(&self) -> Painted<&T>
fn bright_green(&self) -> Painted<&T>
Source§fn bright_yellow(&self) -> Painted<&T>
fn bright_yellow(&self) -> Painted<&T>
Source§fn bright_blue(&self) -> Painted<&T>
fn bright_blue(&self) -> Painted<&T>
Source§fn bright_magenta(&self) -> Painted<&T>
fn bright_magenta(&self) -> Painted<&T>
Source§fn bright_cyan(&self) -> Painted<&T>
fn bright_cyan(&self) -> Painted<&T>
Source§fn bright_white(&self) -> Painted<&T>
fn bright_white(&self) -> Painted<&T>
Source§fn bg(&self, value: Color) -> Painted<&T>
fn bg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the background set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like on_red() and
on_green(), which have the same functionality but
are pithier.
§Example
Set background color to red using fg():
use yansi::{Paint, Color};
painted.bg(Color::Red);Set background color to red using on_red().
use yansi::Paint;
painted.on_red();Source§fn on_primary(&self) -> Painted<&T>
fn on_primary(&self) -> Painted<&T>
Source§fn on_magenta(&self) -> Painted<&T>
fn on_magenta(&self) -> Painted<&T>
Source§fn on_bright_black(&self) -> Painted<&T>
fn on_bright_black(&self) -> Painted<&T>
Source§fn on_bright_red(&self) -> Painted<&T>
fn on_bright_red(&self) -> Painted<&T>
Source§fn on_bright_green(&self) -> Painted<&T>
fn on_bright_green(&self) -> Painted<&T>
Source§fn on_bright_yellow(&self) -> Painted<&T>
fn on_bright_yellow(&self) -> Painted<&T>
Source§fn on_bright_blue(&self) -> Painted<&T>
fn on_bright_blue(&self) -> Painted<&T>
Source§fn on_bright_magenta(&self) -> Painted<&T>
fn on_bright_magenta(&self) -> Painted<&T>
Source§fn on_bright_cyan(&self) -> Painted<&T>
fn on_bright_cyan(&self) -> Painted<&T>
Source§fn on_bright_white(&self) -> Painted<&T>
fn on_bright_white(&self) -> Painted<&T>
Source§fn attr(&self, value: Attribute) -> Painted<&T>
fn attr(&self, value: Attribute) -> Painted<&T>
Enables the styling Attribute value.
This method should be used rarely. Instead, prefer to use
attribute-specific builder methods like bold() and
underline(), which have the same functionality
but are pithier.
§Example
Make text bold using attr():
use yansi::{Paint, Attribute};
painted.attr(Attribute::Bold);Make text bold using using bold().
use yansi::Paint;
painted.bold();Source§fn rapid_blink(&self) -> Painted<&T>
fn rapid_blink(&self) -> Painted<&T>
Source§fn quirk(&self, value: Quirk) -> Painted<&T>
fn quirk(&self, value: Quirk) -> Painted<&T>
Enables the yansi Quirk value.
This method should be used rarely. Instead, prefer to use quirk-specific
builder methods like mask() and
wrap(), which have the same functionality but are
pithier.
§Example
Enable wrapping using .quirk():
use yansi::{Paint, Quirk};
painted.quirk(Quirk::Wrap);Enable wrapping using wrap().
use yansi::Paint;
painted.wrap();Source§fn clear(&self) -> Painted<&T>
👎Deprecated since 1.0.1: renamed to resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.
fn clear(&self) -> Painted<&T>
resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.Source§fn whenever(&self, value: Condition) -> Painted<&T>
fn whenever(&self, value: Condition) -> Painted<&T>
Conditionally enable styling based on whether the Condition value
applies. Replaces any previous condition.
See the crate level docs for more details.
§Example
Enable styling painted only when both stdout and stderr are TTYs:
use yansi::{Paint, Condition};
painted.red().on_yellow().whenever(Condition::STDOUTERR_ARE_TTY);