flux_syntax::grammar::__parse__RefinedBy

Enum __Symbol

Source
pub(crate) enum __Symbol {
Show 101 variants Variant0(Token), Variant1(Symbol), Variant2(Lit), Variant3(Option<Token>), Variant4(RefineParams), Variant5(Option<RefineParams>), Variant6(Ty), Variant7(Option<Ty>), Variant8(Vec<BaseSort>), Variant9(Option<Vec<BaseSort>>), Variant10(RefineParam), Variant11(Option<RefineParam>), Variant12(Vec<Ensures>), Variant13(Option<Vec<Ensures>>), Variant14(Vec<Requires>), Variant15(Option<Vec<Requires>>), Variant16(Vec<WhereBoundPredicate>), Variant17(Option<Vec<WhereBoundPredicate>>), Variant18(Expr), Variant19(Option<Expr>), Variant20(BaseSort), Variant21(Vec<BaseSort>), Variant22(ConstructorArg), Variant23(Vec<ConstructorArg>), Variant24(Ensures), Variant25(Vec<Ensures>), Variant26(Vec<Expr>), Variant27(FnInput), Variant28(Vec<FnInput>), Variant29(GenericArg), Variant30(Vec<GenericArg>), Variant31(GenericParam), Variant32(Vec<GenericParam>), Variant33(Ident), Variant34(Vec<Ident>), Variant35(Item), Variant36(Vec<Item>), Variant37(PathSegment), Variant38(Vec<PathSegment>), Variant39(RefineArg), Variant40(Vec<RefineArg>), Variant41(Vec<RefineParam>), Variant42(Requires), Variant43(Vec<Requires>), Variant44(Vec<Ty>), Variant45(WhereBoundPredicate), Variant46(Vec<WhereBoundPredicate>), Variant47((Ty, Token)), Variant48(Vec<(Ty, Token)>), Variant49(Location), Variant50(Async), Variant51(Option<BaseSort>), Variant52(BaseTy), Variant53(BaseTyKind), Variant54(BinOp), Variant55(Vec<RefineParam>), Variant56(Vec<ConstructorArg>), Variant57(Vec<Expr>), Variant58(Vec<FnInput>), Variant59(Vec<GenericArg>), Variant60(Vec<GenericParam>), Variant61(Vec<Ident>), Variant62(Vec<RefineArg>), Variant63(Vec<Ty>), Variant64(ConstArg), Variant65(Option<ConstructorArg>), Variant66(ExprPath), Variant67(Option<FnInput>), Variant68(FnSig), Variant69(Option<GenericArg>), Variant70(Option<Vec<GenericArg>>), Variant71(GenericBounds), Variant72(Option<GenericParam>), Variant73(Generics), Variant74(Option<Ident>), Variant75(ImplAssocReft), Variant76(Indices), Variant77(Vec<Item>), Variant78(Lit), Variant79(ParamMode), Variant80(Option<ParamMode>), Variant81(Path), Variant82(Vec<PathSegment>), Variant83(Punctuated<Ty, Token>), Variant84(QualNames), Variant85(Qualifier), Variant86(Option<RefineArg>), Variant87(Option<Vec<RefineArg>>), Variant88(Sort), Variant89(SortDecl), Variant90(Vec<Ident>), Variant91(Option<Vec<Ident>>), Variant92(SpecFunc), Variant93(TraitAssocReft), Variant94(TyAlias), Variant95(TyKind), Variant96(UnOp), Variant97(VariantDef), Variant98(VariantRet), Variant99(Option<VariantRet>), Variant100(Option<WhereBoundPredicate>),
}

Variants§

§

Variant0(Token)

§

Variant1(Symbol)

§

Variant2(Lit)

§

Variant3(Option<Token>)

§

Variant4(RefineParams)

§

Variant5(Option<RefineParams>)

§

Variant6(Ty)

§

Variant7(Option<Ty>)

§

Variant8(Vec<BaseSort>)

§

Variant9(Option<Vec<BaseSort>>)

§

Variant10(RefineParam)

§

Variant11(Option<RefineParam>)

§

Variant12(Vec<Ensures>)

§

Variant13(Option<Vec<Ensures>>)

§

Variant14(Vec<Requires>)

§

Variant15(Option<Vec<Requires>>)

§

Variant16(Vec<WhereBoundPredicate>)

§

Variant17(Option<Vec<WhereBoundPredicate>>)

§

Variant18(Expr)

§

Variant19(Option<Expr>)

§

Variant20(BaseSort)

§

Variant21(Vec<BaseSort>)

§

Variant22(ConstructorArg)

§

Variant23(Vec<ConstructorArg>)

§

Variant24(Ensures)

§

Variant25(Vec<Ensures>)

§

Variant26(Vec<Expr>)

§

Variant27(FnInput)

§

Variant28(Vec<FnInput>)

§

Variant29(GenericArg)

§

Variant30(Vec<GenericArg>)

§

Variant31(GenericParam)

§

Variant32(Vec<GenericParam>)

§

Variant33(Ident)

§

Variant34(Vec<Ident>)

§

Variant35(Item)

§

Variant36(Vec<Item>)

§

Variant37(PathSegment)

§

Variant38(Vec<PathSegment>)

§

Variant39(RefineArg)

§

Variant40(Vec<RefineArg>)

§

Variant41(Vec<RefineParam>)

§

Variant42(Requires)

§

Variant43(Vec<Requires>)

§

Variant44(Vec<Ty>)

§

Variant45(WhereBoundPredicate)

§

Variant46(Vec<WhereBoundPredicate>)

§

Variant47((Ty, Token))

§

Variant48(Vec<(Ty, Token)>)

§

Variant49(Location)

§

Variant50(Async)

§

Variant51(Option<BaseSort>)

§

Variant52(BaseTy)

§

Variant53(BaseTyKind)

§

Variant54(BinOp)

§

Variant55(Vec<RefineParam>)

§

Variant56(Vec<ConstructorArg>)

§

Variant57(Vec<Expr>)

§

Variant58(Vec<FnInput>)

§

Variant59(Vec<GenericArg>)

§

Variant60(Vec<GenericParam>)

§

Variant61(Vec<Ident>)

§

Variant62(Vec<RefineArg>)

§

Variant63(Vec<Ty>)

§

Variant64(ConstArg)

§

Variant65(Option<ConstructorArg>)

§

Variant66(ExprPath)

§

Variant67(Option<FnInput>)

§

Variant68(FnSig)

§

Variant69(Option<GenericArg>)

§

Variant70(Option<Vec<GenericArg>>)

§

Variant71(GenericBounds)

§

Variant72(Option<GenericParam>)

§

Variant73(Generics)

§

Variant74(Option<Ident>)

§

Variant75(ImplAssocReft)

§

Variant76(Indices)

§

Variant77(Vec<Item>)

§

Variant78(Lit)

§

Variant79(ParamMode)

§

Variant80(Option<ParamMode>)

§

Variant81(Path)

§

Variant82(Vec<PathSegment>)

§

Variant83(Punctuated<Ty, Token>)

§

Variant84(QualNames)

§

Variant85(Qualifier)

§

Variant86(Option<RefineArg>)

§

Variant87(Option<Vec<RefineArg>>)

§

Variant88(Sort)

§

Variant89(SortDecl)

§

Variant90(Vec<Ident>)

§

Variant91(Option<Vec<Ident>>)

§

Variant92(SpecFunc)

§

Variant93(TraitAssocReft)

§

Variant94(TyAlias)

§

Variant95(TyKind)

§

Variant96(UnOp)

§

Variant97(VariantDef)

§

Variant98(VariantRet)

§

Variant99(Option<VariantRet>)

§

Variant100(Option<WhereBoundPredicate>)

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.