Trait Parse

pub trait Parse {
    type FirstToken: CheckParses;

    // Required methods
    fn parse<'t, I: Iterator<Item = &'t Token> + Clone>(
        input: &mut InputStream<'t, I>,
    ) -> Result<Self, Error>
       where Self: Sized;
    fn get_span(&self) -> Span;
}

The main trait for parsing tokens.

Required Associated Types

type FirstToken: CheckParses

The first token of a structure.

Required Methods

fn parse<'t, I: Iterator<Item = &'t Token> + Clone>( input: &mut InputStream<'t, I>, ) -> Result<Self, Error>

where Self: Sized,

Parse the tokens into Self.

Errors

Returns an error if parsing was unsuccessful.

fn get_span(&self) -> Span

Get the span of this node.

Implementations on Foreign Types

impl<T: Parse> Parse for Option<T>

type FirstToken = Maybe<<T as Parse>::FirstToken>

fn parse<'t, I: Iterator<Item = &'t Token> + Clone>( input: &mut InputStream<'t, I>, ) -> Result<Self, Error>

where Self: Sized,

fn get_span(&self) -> Span

impl<T: Parse> Parse for Box<T>

type FirstToken = <T as Parse>::FirstToken

fn parse<'r, I: Iterator<Item = &'r Token> + Clone>( input: &mut InputStream<'r, I>, ) -> Result<Self, Error>

fn get_span(&self) -> Span

impl<T: Parse> Parse for Vec<T>

type FirstToken = Maybe<<T as Parse>::FirstToken>

fn parse<'t, I: Iterator<Item = &'t Token> + Clone>( input: &mut InputStream<'t, I>, ) -> Result<Self, Error>

where Self: Sized,

fn get_span(&self) -> Span

impl<T: Parse, U: Parse> Parse for (T, U)

type FirstToken = <T as Parse>::FirstToken

fn parse<'t, I: Iterator<Item = &'t Token> + Clone>( input: &mut InputStream<'t, I>, ) -> Result<Self, Error>

where Self: Sized,

fn get_span(&self) -> Span

Implementors

impl Parse for Ident

type FirstToken = Ident

impl Parse for NumberLit

type FirstToken = NumberLit

impl Parse for BinaryOperator

type FirstToken = TokenOr<Maybe<TokenOr<Maybe<TokenOr<Maybe<<Plus as Parse>::FirstToken>, <Minus as Parse>::FirstToken>>, <Asterisk as Parse>::FirstToken>>, <Slash as Parse>::FirstToken>

impl Parse for Exponent

type FirstToken = TokenOr<Maybe<<TokInteger as Parse>::FirstToken>, <RationalExponent as Parse>::FirstToken>

impl Parse for FlagValue

type FirstToken = TokenOr<Maybe<TokenOr<Maybe<<NamedIdent as Parse>::FirstToken>, <FlagSet as Parse>::FirstToken>>, <NumberLit as Parse>::FirstToken>

impl Parse for Name

type FirstToken = TokenOr<Maybe<Ident>, LParen>

impl Parse for PredefinedRuleOperator

type FirstToken = TokenOr<Maybe<TokenOr<Maybe<TokenOr<Maybe<TokenOr<Maybe<<Eq as Parse>::FirstToken>, <Lt as Parse>::FirstToken>>, <Gt as Parse>::FirstToken>>, <Lteq as Parse>::FirstToken>>, <Gteq as Parse>::FirstToken>

impl Parse for PropertyValue

type FirstToken = TokenOr<Maybe<TokenOr<Maybe<TokenOr<Maybe<<NumberLit as Parse>::FirstToken>, <Ident as Parse>::FirstToken>>, <RawString as Parse>::FirstToken>>, <StrLit as Parse>::FirstToken>

impl Parse for RuleOperator

type FirstToken = TokenOr<Maybe<TokenOr<Maybe<<InvertedRuleOperator as Parse>::FirstToken>, <PredefinedRuleOperator as Parse>::FirstToken>>, <NamedIdent as Parse>::FirstToken>

impl Parse for SimpleExpressionKind

type FirstToken = TokenOr<Maybe<TokenOr<Maybe<TokenOr<Maybe<<Name as Parse>::FirstToken>, <NumberLit as Parse>::FirstToken>>, <ExplicitIterator as Parse>::FirstToken>>, <PointCollectionConstructor as Parse>::FirstToken>

impl Parse for Statement

type FirstToken = TokenOr<LSquare, TokenOr<Semi, TokenOr<At, TokenOr<Question, TokenOr<Let, <SimpleExpression as Parse>::FirstToken>>>>>

impl Parse for Ampersant

type FirstToken = Ampersant

impl Parse for Asterisk

type FirstToken = Asterisk

impl Parse for At

type FirstToken = At

impl Parse for Caret

type FirstToken = Caret

impl Parse for Colon

type FirstToken = Colon

impl Parse for Comma

type FirstToken = Comma

impl Parse for Dollar

type FirstToken = Dollar

impl Parse for Dot

type FirstToken = Dot

impl Parse for Eq

type FirstToken = Eq

impl Parse for Exclamation

type FirstToken = Exclamation

impl Parse for Gt

type FirstToken = Gt

impl Parse for Gteq

type FirstToken = Gteq

impl Parse for LBrace

type FirstToken = LBrace

impl Parse for LParen

type FirstToken = LParen

impl Parse for LSquare

type FirstToken = LSquare

impl Parse for Let

type FirstToken = Let

impl Parse for Lt

type FirstToken = Lt

impl Parse for Lteq

type FirstToken = Lteq

impl Parse for Minus

type FirstToken = Minus

impl Parse for NamedIdent

type FirstToken = Ident

impl Parse for Plus

type FirstToken = Plus

impl Parse for Question

type FirstToken = Question

impl Parse for RBrace

type FirstToken = RBrace

impl Parse for RParen

type FirstToken = RParen

impl Parse for RSquare

type FirstToken = RSquare

impl Parse for Semi

type FirstToken = Semi

impl Parse for Slash

type FirstToken = Slash

impl Parse for StrLit

type FirstToken = StrLit

impl Parse for TokInteger

type FirstToken = NumberLit

impl Parse for Vertical

type FirstToken = Vertical

impl Parse for DisplayProperties

type FirstToken = TokenOr<TokenOr<<LSquare as Parse>::FirstToken, <Punctuated<Property, Semi> as Parse>::FirstToken>, <RSquare as Parse>::FirstToken>

impl Parse for ExplicitIterator

type FirstToken = Dollar

impl Parse for Exponentiation

type FirstToken = TokenOr<TokenOr<<Caret as Parse>::FirstToken, <Option<Minus> as Parse>::FirstToken>, <Exponent as Parse>::FirstToken>

impl Parse for ExprCall

type FirstToken = TokenOr<TokenOr<TokenOr<<Box<Name> as Parse>::FirstToken, <LParen as Parse>::FirstToken>, <Option<Punctuated<Expression<false>, Comma>> as Parse>::FirstToken>, <RParen as Parse>::FirstToken>

impl Parse for ExprParenthesised

type FirstToken = TokenOr<TokenOr<<LParen as Parse>::FirstToken, <Box<Expression<true>> as Parse>::FirstToken>, <RParen as Parse>::FirstToken>

impl Parse for FieldIndex

type FirstToken = TokenOr<TokenOr<<Box<Name> as Parse>::FirstToken, <Dot as Parse>::FirstToken>, <Ident as Parse>::FirstToken>

impl Parse for FlagName

type FirstToken = TokenOr<TokenOr<<At as Parse>::FirstToken, <Punctuated<NamedIdent, Dot> as Parse>::FirstToken>, <Colon as Parse>::FirstToken>

impl Parse for FlagSet

type FirstToken = LBrace

impl Parse for FlagStatement

type FirstToken = TokenOr<<FlagName as Parse>::FirstToken, <FlagValue as Parse>::FirstToken>

impl Parse for InvertedRuleOperator

type FirstToken = Exclamation

impl Parse for LetStatement

type FirstToken = TokenOr<TokenOr<TokenOr<TokenOr<TokenOr<<Let as Parse>::FirstToken, <Punctuated<VariableDefinition, Comma> as Parse>::FirstToken>, <Eq as Parse>::FirstToken>, <Expression<true> as Parse>::FirstToken>, <Option<(RuleOperator, Expression<true>)> as Parse>::FirstToken>, <Semi as Parse>::FirstToken>

impl Parse for PointCollectionConstructor

type FirstToken = Ampersant

impl Parse for Property

type FirstToken = TokenOr<TokenOr<<NamedIdent as Parse>::FirstToken, <Eq as Parse>::FirstToken>, <PropertyValue as Parse>::FirstToken>

impl Parse for RationalExponent

type FirstToken = LParen

impl Parse for RawString

type FirstToken = TokenOr<<Exclamation as Parse>::FirstToken, <StrLit as Parse>::FirstToken>

impl Parse for RefStatement

type FirstToken = TokenOr<TokenOr<<Question as Parse>::FirstToken, <Expression<true> as Parse>::FirstToken>, <Semi as Parse>::FirstToken>

impl Parse for RuleStatement

type FirstToken = TokenOr<TokenOr<<Expression<true> as Parse>::FirstToken, <AtLeastOne<(RuleOperator, Expression<true>)> as Parse>::FirstToken>, <Semi as Parse>::FirstToken>

impl Parse for SimpleExpression

type FirstToken = TokenOr<TokenOr<TokenOr<<Option<Minus> as Parse>::FirstToken, <SimpleExpressionKind as Parse>::FirstToken>, <Option<Exponentiation> as Parse>::FirstToken>, <Option<DisplayProperties> as Parse>::FirstToken>

impl Parse for VariableDefinition

type FirstToken = TokenOr<<Ident as Parse>::FirstToken, <Option<DisplayProperties> as Parse>::FirstToken>

impl<T: Parse> Parse for AtLeastOne<T>

type FirstToken = <T as Parse>::FirstToken

impl<T: Parse> Parse for Displayed<T>

type FirstToken = TokenOr<<Option<DisplayProperties> as Parse>::FirstToken, <T as Parse>::FirstToken>

impl<T: Parse, P: Parse> Parse for Punctuated<T, P>

type FirstToken = TokenOr<<Box<T> as Parse>::FirstToken, <Vec<(P, T)> as Parse>::FirstToken>

impl<const ITER: bool> Parse for Expression<ITER>

type FirstToken = <SimpleExpression as Parse>::FirstToken

impl<const ITER: bool> Parse for ExprBinop<ITER>

type FirstToken = TokenOr<TokenOr<<Box<Expression<ITER>> as Parse>::FirstToken, <BinaryOperator as Parse>::FirstToken>, <Box<Expression<ITER>> as Parse>::FirstToken>

impl<const ITER: bool> Parse for ImplicitIterator<ITER>

type FirstToken = <SimpleExpression as Parse>::FirstToken