Trait Parse

pub trait Parse<'t>: Sized {
    // Required method
    fn parse(p: &mut Parser<'t>) -> PResult<Self>;
}

Required Methods

fn parse(p: &mut Parser<'t>) -> PResult<Self>

Parses a Self from the provided Parser

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Parse<'_> for (Param, TyKind)

fn parse(p: &mut Parser<'_>) -> PResult<(Param, TyKind)>

Parses a single function parameter

impl Parse<'_> for (Vec<Param>, Vec<TyKind>)

fn parse(p: &mut Parser<'_>) -> PResult<(Vec<Param>, Vec<TyKind>)>

Parses the parameters associated with a Function

impl Parse<'_> for EnumKind

fn parse(p: &mut Parser<'_>) -> PResult<EnumKind>

Parses the various kinds of Enum

impl Parse<'_> for ExprKind

fn parse(p: &mut Parser<'_>) -> PResult<ExprKind>

Parses an ExprKind at the lowest precedence level

impl Parse<'_> for ImplKind

fn parse(p: &mut Parser<'_>) -> PResult<Self>

impl Parse<'_> for ItemKind

fn parse(p: &mut Parser<'_>) -> PResult<Self>

Parses an ItemKind

See also: Item::parse

impl Parse<'_> for Literal

fn parse(p: &mut Parser<'_>) -> PResult<Literal>

Literal = LITERAL | true | false

impl Parse<'_> for MemberKind

fn parse(p: &mut Parser<'_>) -> PResult<MemberKind>

impl Parse<'_> for MetaKind

fn parse(p: &mut Parser<'_>) -> PResult<MetaKind>

Parses data associated with a Meta attribute

impl Parse<'_> for ModuleKind

fn parse(p: &mut Parser<'_>) -> PResult<ModuleKind>

Parses the item list associated with a Module, if present

impl Parse<'_> for Mutability

fn parse(p: &mut Parser<'_>) -> PResult<Mutability>

Mutability = mut?

impl Parse<'_> for PathPart

fn parse(p: &mut Parser<'_>) -> PResult<PathPart>

PathPart = super | self | Identifier

impl Parse<'_> for Pattern

fn parse(p: &mut Parser<'_>) -> PResult<Self>

impl Parse<'_> for StmtKind

fn parse(p: &mut Parser<'_>) -> PResult<StmtKind>

Parses a StmtKind

See also: Stmt::parse

impl Parse<'_> for StructKind

fn parse(p: &mut Parser<'_>) -> PResult<Self>

Parses the various kinds of Struct

impl Parse<'_> for TyKind

fn parse(p: &mut Parser<'_>) -> PResult<TyKind>

Parses a TyKind

See also: Ty::parse

impl Parse<'_> for UseTree

fn parse(p: &mut Parser<'_>) -> PResult<Self>

impl Parse<'_> for VariantKind

fn parse(p: &mut Parser<'_>) -> PResult<Self>

Parses the various kinds of Enum Variant

impl Parse<'_> for Visibility

fn parse(p: &mut Parser<'_>) -> PResult<Self>

Visibility = pub?

impl Parse<'_> for AddrOf

fn parse(p: &mut Parser<'_>) -> PResult<AddrOf>

AddrOf = (&|&&)* Expr

impl Parse<'_> for Alias

fn parse(p: &mut Parser<'_>) -> PResult<Self>

Parses a type alias

impl Parse<'_> for Attrs

fn parse(p: &mut Parser<'_>) -> PResult<Attrs>

Parses an attribute set

impl Parse<'_> for Block

fn parse(p: &mut Parser<'_>) -> PResult<Block>

Block = { Stmt* }

impl Parse<'_> for Break

fn parse(p: &mut Parser<'_>) -> PResult<Break>

Break = break (unconsumed ; | Expr)

impl Parse<'_> for Const

fn parse(p: &mut Parser<'_>) -> PResult<Const>

Parses a compile-time constant

impl Parse<'_> for Else

fn parse(p: &mut Parser<'_>) -> PResult<Else>

Else: (else Block)?

impl Parse<'_> for Enum

fn parse(p: &mut Parser<'_>) -> PResult<Enum>

Parses an enum definition

impl Parse<'_> for Expr

fn parse(p: &mut Parser<'_>) -> PResult<Expr>

Parses an Expr

See also: ExprKind::parse

impl Parse<'_> for Fielder

fn parse(p: &mut Parser<'_>) -> PResult<Fielder>

Fielder = Identifier (: Expr)?

impl Parse<'_> for File

fn parse(p: &mut Parser<'_>) -> PResult<Self>

Parses a File

impl Parse<'_> for For

fn parse(p: &mut Parser<'_>) -> PResult<For>

For: for Pattern (TODO) in Expr Block Else?

impl Parse<'_> for Function

fn parse(p: &mut Parser<'_>) -> PResult<Function>

Parses a Function definition

impl Parse<'_> for If

fn parse(p: &mut Parser<'_>) -> PResult<If>

If = if Expr Block Else?

impl Parse<'_> for Impl

fn parse(p: &mut Parser<'_>) -> PResult<Impl>

impl Parse<'_> for Item

fn parse(p: &mut Parser<'_>) -> PResult<Self>

Parses an Item

See also: ItemKind::parse

impl Parse<'_> for Let

fn parse(p: &mut Parser<'_>) -> PResult<Let>

impl Parse<'_> for Match

fn parse(p: &mut Parser<'_>) -> PResult<Self>

Match = match Expr { MatchArm,* }

impl Parse<'_> for MatchArm

fn parse(p: &mut Parser<'_>) -> PResult<Self>

MatchArm = Pattern => Expr

impl Parse<'_> for Meta

fn parse(p: &mut Parser<'_>) -> PResult<Meta>

Parses a single attribute

impl Parse<'_> for Module

fn parse(p: &mut Parser<'_>) -> PResult<Self>

Parses a Module

impl Parse<'_> for Path

fn parse(p: &mut Parser<'_>) -> PResult<Path>

Parses a Path

See also: PathPart::parse, Sym::parse

Path = :: RelativePath? | RelativePath
RelativePath = PathPart (:: PathPart)*

impl Parse<'_> for Quote

fn parse(p: &mut Parser<'_>) -> PResult<Self>

impl Parse<'_> for Return

fn parse(p: &mut Parser<'_>) -> PResult<Return>

Return = return (unconsumed ; | Expr)

impl Parse<'_> for Static

fn parse(p: &mut Parser<'_>) -> PResult<Static>

Parses a static item

impl Parse<'_> for Stmt

fn parse(p: &mut Parser<'_>) -> PResult<Stmt>

Parses a Stmt

See also: StmtKind::parse

impl Parse<'_> for Struct

fn parse(p: &mut Parser<'_>) -> PResult<Struct>

Parses a struct definition

impl Parse<'_> for StructMember

fn parse(p: &mut Parser<'_>) -> PResult<StructMember>

Parses a single StructMember

impl Parse<'_> for Ty

fn parse(p: &mut Parser<'_>) -> PResult<Self>

Parses a Ty

See also: TyKind::parse

impl Parse<'_> for TyFn

fn parse(p: &mut Parser<'_>) -> PResult<TyFn>

TyFn = fn TyTuple (-> Ty)?

impl Parse<'_> for TyRef

fn parse(p: &mut Parser<'_>) -> PResult<TyRef>

TyRef = (&|&&)* Path

impl Parse<'_> for TyTuple

fn parse(p: &mut Parser<'_>) -> PResult<TyTuple>

TyTuple = ( (Ty ,)* Ty? )

impl Parse<'_> for Use

fn parse(p: &mut Parser<'_>) -> PResult<Use>

impl Parse<'_> for Variant

fn parse(p: &mut Parser<'_>) -> PResult<Variant>

Parses an enum Variant

impl Parse<'_> for While

fn parse(p: &mut Parser<'_>) -> PResult<While>

While = while Expr Block Else?

impl Parse<'_> for Sym

fn parse(p: &mut Parser<'_>) -> PResult<Sym>

Sym = Identifier

Implementors