Trait Parse 

pub trait Parse: Sized {
    // Required method
    fn parse(input: ParseStream<'_>) -> Result<Self>;
}

Parsing interface implemented by all types that can be parsed in a default way from a token stream.

Refer to the module documentation for details about implementing and using the Parse trait.

Required Methods

fn parse(input: ParseStream<'_>) -> Result<Self>

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 Option<Abi>

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<BoundLifetimes>

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<Decreases>

fn parse(input: ParseStream<'_>) -> Result<Self>

Parse an optional decreases clause group in the context of an Expr e.g. a closure.

impl Parse for Option<DefaultEnsures>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<Ensures>

fn parse(input: ParseStream<'_>) -> Result<Self>

Parse an optional ensures clause group in the context of an Expr e.g. a closure.

impl Parse for Option<FnProofOptions>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<Invariant>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<InvariantEnsures>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<InvariantExceptBreak>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<Label>

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<Prover>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<Recommends>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<Requires>

fn parse(input: ParseStream<'_>) -> Result<Self>

Parse an optional requires clause group in the context of an Expr e.g. a closure.

impl Parse for Option<Returns>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<SignatureDecreases>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<SignatureInvariants>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<SignatureUnwind>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<WhereClause>

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Option<WithSpecOnFn>

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for TokenTree

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Group

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Literal

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for Punct

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

impl Parse for TokenStream

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

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

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

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

Available on crate feature parsing only.

fn parse(input: ParseStream<'_>) -> Result<Self>

Implementors

impl Parse for BinOp

Available on crate feature parsing only.

impl Parse for CapturedParam

Available on crate feature parsing only.

impl Parse for DataMode

impl Parse for Expr

Available on crate feature parsing only.

impl Parse for FnMode

impl Parse for ForeignItem

Available on crate feature parsing only.

impl Parse for GenericArgument

Available on crate feature parsing only.

impl Parse for GenericParam

Available on crate feature parsing only.

impl Parse for GlobalInner

impl Parse for ImplItem

Available on crate feature parsing only.

impl Parse for InvariantNameSet

impl Parse for Item

Available on crate feature parsing only.

impl Parse for Lit

Available on crate feature parsing only.

impl Parse for Member

Available on crate feature parsing only.

impl Parse for Meta

Available on crate feature parsing only.

impl Parse for Mode

impl Parse for PointerMutability

Available on crate feature parsing only.

impl Parse for Publish

impl Parse for RangeLimits

Available on crate feature parsing only.

impl Parse for ReturnType

Available on crate feature parsing only.

impl Parse for StaticMutability

Available on crate feature parsing only.

impl Parse for Stmt

Available on crate feature parsing only.

impl Parse for TraitBoundModifier

Available on crate feature parsing only.

impl Parse for TraitItem

Available on crate feature parsing only.

impl Parse for verus_syn::Type

Available on crate feature parsing only.

impl Parse for TypeParamBound

Available on crate feature parsing only.

impl Parse for UnOp

Available on crate feature parsing only.

impl Parse for UseTree

Available on crate feature parsing only.

impl Parse for Visibility

Available on crate feature parsing only.

impl Parse for WherePredicate

Available on crate feature parsing only.

impl Parse for Abi

Available on crate feature parsing only.

impl Parse for AngleBracketedGenericArguments

Available on crate feature parsing only.

impl Parse for Arm

Available on crate feature parsing only.

impl Parse for verus_syn::Assert

impl Parse for AssertForall

impl Parse for verus_syn::Assume

impl Parse for verus_syn::AssumeSpecification

impl Parse for BareFnArg

Available on crate feature parsing only.

impl Parse for Block

Available on crate feature parsing only.

impl Parse for BoundLifetimes

Available on crate feature parsing only.

impl Parse for BroadcastUse

impl Parse for ConstParam

Available on crate feature parsing only.

impl Parse for verus_syn::Decreases

impl Parse for verus_syn::DefaultEnsures

impl Parse for DeriveInput

Available on crate feature parsing only.

impl Parse for verus_syn::Ensures

impl Parse for ExprArray

Available on crate feature parsing only.

impl Parse for ExprAssign

Available on crate feature parsing only.

impl Parse for ExprAsync

Available on crate feature parsing only.

impl Parse for ExprAwait

Available on crate feature parsing only.

impl Parse for ExprBinary

Available on crate feature parsing only.

impl Parse for ExprBlock

Available on crate feature parsing only.

impl Parse for ExprBreak

Available on crate feature parsing only.

impl Parse for ExprCall

Available on crate feature parsing only.

impl Parse for ExprCast

Available on crate feature parsing only.

impl Parse for ExprClosure

Available on crate feature parsing only.

impl Parse for ExprConst

Available on crate feature parsing only.

impl Parse for ExprContinue

Available on crate feature parsing only.

impl Parse for ExprField

Available on crate feature parsing only.

impl Parse for ExprFinal

impl Parse for ExprForLoop

Available on crate feature parsing only.

impl Parse for ExprGetField

Available on crate feature parsing only.

impl Parse for ExprIf

Available on crate feature parsing only.

impl Parse for ExprIndex

Available on crate feature parsing only.

impl Parse for ExprInfer

Available on crate feature parsing only.

impl Parse for ExprLet

Available on crate feature parsing only.

impl Parse for ExprLit

Available on crate feature parsing only.

impl Parse for ExprLoop

Available on crate feature parsing only.

impl Parse for ExprMacro

Available on crate feature parsing only.

impl Parse for ExprMatch

Available on crate feature parsing only.

impl Parse for ExprMethodCall

Available on crate feature parsing only.

impl Parse for ExprParen

Available on crate feature parsing only.

impl Parse for ExprPath

Available on crate feature parsing only.

impl Parse for ExprRange

Available on crate feature parsing only.

impl Parse for ExprRawAddr

Available on crate feature parsing only.

impl Parse for ExprReference

Available on crate feature parsing only.

impl Parse for ExprRepeat

Available on crate feature parsing only.

impl Parse for ExprReturn

Available on crate feature parsing only.

impl Parse for ExprStruct

Available on crate feature parsing only.

impl Parse for ExprTry

Available on crate feature parsing only.

impl Parse for ExprTryBlock

Available on crate feature parsing only.

impl Parse for ExprTuple

Available on crate feature parsing only.

impl Parse for ExprUnary

Available on crate feature parsing only.

impl Parse for ExprUnsafe

Available on crate feature parsing only.

impl Parse for ExprWhile

Available on crate feature parsing only.

impl Parse for ExprYield

Available on crate feature parsing only.

impl Parse for FieldValue

Available on crate feature parsing only.

impl Parse for FieldsNamed

Available on crate feature parsing only.

impl Parse for FieldsUnnamed

Available on crate feature parsing only.

impl Parse for File

Available on crate feature parsing only.

impl Parse for FnArg

Available on crate feature parsing only.

impl Parse for FnProofOptions

impl Parse for ForeignItemFn

Available on crate feature parsing only.

impl Parse for ForeignItemMacro

Available on crate feature parsing only.

impl Parse for ForeignItemStatic

Available on crate feature parsing only.

impl Parse for ForeignItemType

Available on crate feature parsing only.

impl Parse for Generics

Available on crate feature parsing only.

impl Parse for verus_syn::Global

impl Parse for GlobalLayout

impl Parse for GlobalSizeOf

impl Parse for Ident

Available on crate feature parsing only.

impl Parse for ImplItemConst

Available on crate feature parsing only.

impl Parse for ImplItemFn

Available on crate feature parsing only.

impl Parse for ImplItemMacro

Available on crate feature parsing only.

impl Parse for ImplItemType

Available on crate feature parsing only.

impl Parse for Index

Available on crate feature parsing only.

impl Parse for verus_syn::Invariant

impl Parse for verus_syn::InvariantEnsures

impl Parse for verus_syn::InvariantExceptBreak

impl Parse for InvariantNameSetAny

impl Parse for InvariantNameSetList

impl Parse for InvariantNameSetNone

impl Parse for InvariantNameSetSet

impl Parse for ItemBroadcastGroup

impl Parse for ItemConst

Available on crate feature parsing only.

impl Parse for ItemEnum

Available on crate feature parsing only.

impl Parse for ItemExternCrate

Available on crate feature parsing only.

impl Parse for ItemFn

Available on crate feature parsing only.

impl Parse for ItemForeignMod

Available on crate feature parsing only.

impl Parse for ItemImpl

Available on crate feature parsing only.

impl Parse for ItemMacro

Available on crate feature parsing only.

impl Parse for ItemMod

Available on crate feature parsing only.

impl Parse for ItemStatic

Available on crate feature parsing only.

impl Parse for ItemStruct

Available on crate feature parsing only.

impl Parse for ItemTrait

Available on crate feature parsing only.

impl Parse for ItemTraitAlias

Available on crate feature parsing only.

impl Parse for ItemType

Available on crate feature parsing only.

impl Parse for ItemUnion

Available on crate feature parsing only.

impl Parse for ItemUse

Available on crate feature parsing only.

impl Parse for Label

Available on crate feature parsing only.

impl Parse for Lifetime

Available on crate feature parsing only.

impl Parse for LifetimeParam

Available on crate feature parsing only.

impl Parse for LitBool

Available on crate feature parsing only.

impl Parse for LitByte

Available on crate feature parsing only.

impl Parse for LitByteStr

Available on crate feature parsing only.

impl Parse for LitCStr

Available on crate feature parsing only.

impl Parse for LitChar

Available on crate feature parsing only.

impl Parse for LitFloat

Available on crate feature parsing only.

impl Parse for LitInt

Available on crate feature parsing only.

impl Parse for LitStr

Available on crate feature parsing only.

impl Parse for LoopSpec

impl Parse for verus_syn::Macro

Available on crate feature parsing only.

impl Parse for MetaList

Available on crate feature parsing only.

impl Parse for MetaNameValue

Available on crate feature parsing only.

impl Parse for ParenthesizedGenericArguments

Available on crate feature parsing only.

impl Parse for PatType

Available on crate feature parsing only.

impl Parse for Path

Available on crate feature parsing only.

impl Parse for PathSegment

Available on crate feature parsing only.

impl Parse for PreciseCapture

Available on crate feature parsing only.

impl Parse for Prover

impl Parse for Receiver

Available on crate feature parsing only.

impl Parse for verus_syn::Recommends

impl Parse for verus_syn::Requires

impl Parse for verus_syn::Returns

impl Parse for RevealHide

impl Parse for Signature

Available on crate feature parsing only.

impl Parse for SignatureDecreases

impl Parse for SignatureInvariants

impl Parse for SignatureSpec

impl Parse for SignatureSpecAttr

impl Parse for SignatureUnwind

impl Parse for Specification

impl Parse for TraitBound

Available on crate feature parsing only.

impl Parse for TraitItemConst

Available on crate feature parsing only.

impl Parse for TraitItemFn

Available on crate feature parsing only.

impl Parse for TraitItemMacro

Available on crate feature parsing only.

impl Parse for TraitItemType

Available on crate feature parsing only.

impl Parse for TypeArray

Available on crate feature parsing only.

impl Parse for TypeBareFn

Available on crate feature parsing only.

impl Parse for TypeGroup

Available on crate feature parsing only.

impl Parse for TypeImplTrait

Available on crate feature parsing only.

impl Parse for TypeInfer

Available on crate feature parsing only.

impl Parse for TypeMacro

Available on crate feature parsing only.

impl Parse for TypeNever

Available on crate feature parsing only.

impl Parse for TypeParam

Available on crate feature parsing only.

impl Parse for TypeParen

Available on crate feature parsing only.

impl Parse for TypePath

Available on crate feature parsing only.

impl Parse for TypePtr

Available on crate feature parsing only.

impl Parse for TypeReference

Available on crate feature parsing only.

impl Parse for TypeSlice

Available on crate feature parsing only.

impl Parse for TypeTraitObject

Available on crate feature parsing only.

impl Parse for TypeTuple

Available on crate feature parsing only.

impl Parse for Variant

Available on crate feature parsing only.

impl Parse for View

Available on crate feature parsing only.

impl Parse for WhereClause

Available on crate feature parsing only.

impl Parse for WithSpecOnExpr

impl Parse for WithSpecOnFn

impl Parse for Abstract

Available on crate feature parsing only.

impl Parse for And

Available on crate feature parsing only.

impl Parse for AndAnd

Available on crate feature parsing only.

impl Parse for AndEq

Available on crate feature parsing only.

impl Parse for As

Available on crate feature parsing only.

impl Parse for verus_syn::token::Assert

Available on crate feature parsing only.

impl Parse for verus_syn::token::Assume

Available on crate feature parsing only.

impl Parse for verus_syn::token::AssumeSpecification

Available on crate feature parsing only.

impl Parse for Async

Available on crate feature parsing only.

impl Parse for At

Available on crate feature parsing only.

impl Parse for Auto

Available on crate feature parsing only.

impl Parse for Await

Available on crate feature parsing only.

impl Parse for Axiom

Available on crate feature parsing only.

impl Parse for Become

Available on crate feature parsing only.

impl Parse for BigAnd

Available on crate feature parsing only.

impl Parse for BigOr

Available on crate feature parsing only.

impl Parse for verus_syn::token::Box

Available on crate feature parsing only.

impl Parse for Break

Available on crate feature parsing only.

impl Parse for Broadcast

Available on crate feature parsing only.

impl Parse for BroadcastGroup

Available on crate feature parsing only.

impl Parse for By

Available on crate feature parsing only.

impl Parse for Caret

Available on crate feature parsing only.

impl Parse for CaretEq

Available on crate feature parsing only.

impl Parse for Choose

Available on crate feature parsing only.

impl Parse for Closed

Available on crate feature parsing only.

impl Parse for Colon

Available on crate feature parsing only.

impl Parse for Comma

Available on crate feature parsing only.

impl Parse for Const

Available on crate feature parsing only.

impl Parse for Continue

Available on crate feature parsing only.

impl Parse for Crate

Available on crate feature parsing only.

impl Parse for verus_syn::token::Decreases

Available on crate feature parsing only.

impl Parse for Default

Available on crate feature parsing only.

impl Parse for verus_syn::token::DefaultEnsures

Available on crate feature parsing only.

impl Parse for Do

Available on crate feature parsing only.

impl Parse for Dollar

Available on crate feature parsing only.

impl Parse for Dot

Available on crate feature parsing only.

impl Parse for DotDot

Available on crate feature parsing only.

impl Parse for DotDotDot

Available on crate feature parsing only.

impl Parse for DotDotEq

Available on crate feature parsing only.

impl Parse for Dyn

Available on crate feature parsing only.

impl Parse for Else

Available on crate feature parsing only.

impl Parse for verus_syn::token::Ensures

Available on crate feature parsing only.

impl Parse for Enum

Available on crate feature parsing only.

impl Parse for Eq

Available on crate feature parsing only.

impl Parse for EqEq

Available on crate feature parsing only.

impl Parse for EqEqEq

Available on crate feature parsing only.

impl Parse for Equiv

Available on crate feature parsing only.

impl Parse for Exec

Available on crate feature parsing only.

impl Parse for Exists

Available on crate feature parsing only.

impl Parse for Exply

Available on crate feature parsing only.

impl Parse for Extern

Available on crate feature parsing only.

impl Parse for FatArrow

Available on crate feature parsing only.

impl Parse for Final

Available on crate feature parsing only.

impl Parse for Fn

Available on crate feature parsing only.

impl Parse for FnSpec

Available on crate feature parsing only.

impl Parse for For

Available on crate feature parsing only.

impl Parse for Forall

Available on crate feature parsing only.

impl Parse for Ge

Available on crate feature parsing only.

impl Parse for Ghost

Available on crate feature parsing only.

impl Parse for verus_syn::token::Global

Available on crate feature parsing only.

impl Parse for Gt

Available on crate feature parsing only.

impl Parse for Has

Available on crate feature parsing only.

impl Parse for HasNot

Available on crate feature parsing only.

impl Parse for Hide

Available on crate feature parsing only.

impl Parse for If

Available on crate feature parsing only.

impl Parse for Impl

Available on crate feature parsing only.

impl Parse for Implies

Available on crate feature parsing only.

impl Parse for Imply

Available on crate feature parsing only.

impl Parse for In

Available on crate feature parsing only.

impl Parse for InvAny

Available on crate feature parsing only.

impl Parse for InvNone

Available on crate feature parsing only.

impl Parse for verus_syn::token::Invariant

Available on crate feature parsing only.

impl Parse for verus_syn::token::InvariantEnsures

Available on crate feature parsing only.

impl Parse for verus_syn::token::InvariantExceptBreak

Available on crate feature parsing only.

impl Parse for Is

Available on crate feature parsing only.

impl Parse for IsNot

Available on crate feature parsing only.

impl Parse for LArrow

Available on crate feature parsing only.

impl Parse for Layout

Available on crate feature parsing only.

impl Parse for Le

Available on crate feature parsing only.

impl Parse for Let

Available on crate feature parsing only.

impl Parse for Loop

Available on crate feature parsing only.

impl Parse for Lt

Available on crate feature parsing only.

impl Parse for verus_syn::token::Macro

Available on crate feature parsing only.

impl Parse for Match

Available on crate feature parsing only.

impl Parse for Matches

Available on crate feature parsing only.

impl Parse for Minus

Available on crate feature parsing only.

impl Parse for MinusEq

Available on crate feature parsing only.

impl Parse for Mod

Available on crate feature parsing only.

impl Parse for Move

Available on crate feature parsing only.

impl Parse for Mut

Available on crate feature parsing only.

impl Parse for Ne

Available on crate feature parsing only.

impl Parse for NeEq

Available on crate feature parsing only.

impl Parse for NoUnwind

Available on crate feature parsing only.

impl Parse for Not

Available on crate feature parsing only.

impl Parse for Open

Available on crate feature parsing only.

impl Parse for OpensInvariants

Available on crate feature parsing only.

impl Parse for Or

Available on crate feature parsing only.

impl Parse for OrEq

Available on crate feature parsing only.

impl Parse for OrOr

Available on crate feature parsing only.

impl Parse for Override

Available on crate feature parsing only.

impl Parse for PathSep

Available on crate feature parsing only.

impl Parse for Percent

Available on crate feature parsing only.

impl Parse for PercentEq

Available on crate feature parsing only.

impl Parse for Plus

Available on crate feature parsing only.

impl Parse for PlusEq

Available on crate feature parsing only.

impl Parse for Pound

Available on crate feature parsing only.

impl Parse for Priv

Available on crate feature parsing only.

impl Parse for Proof

Available on crate feature parsing only.

impl Parse for ProofFn

Available on crate feature parsing only.

impl Parse for Pub

Available on crate feature parsing only.

impl Parse for Question

Available on crate feature parsing only.

impl Parse for RArrow

Available on crate feature parsing only.

impl Parse for Raw

Available on crate feature parsing only.

impl Parse for verus_syn::token::Recommends

Available on crate feature parsing only.

impl Parse for Ref

Available on crate feature parsing only.

impl Parse for verus_syn::token::Requires

Available on crate feature parsing only.

impl Parse for Return

Available on crate feature parsing only.

impl Parse for verus_syn::token::Returns

Available on crate feature parsing only.

impl Parse for Reveal

Available on crate feature parsing only.

impl Parse for RevealWithFuel

Available on crate feature parsing only.

impl Parse for SelfType

Available on crate feature parsing only.

impl Parse for SelfValue

Available on crate feature parsing only.

impl Parse for Semi

Available on crate feature parsing only.

impl Parse for Shl

Available on crate feature parsing only.

impl Parse for ShlEq

Available on crate feature parsing only.

impl Parse for Shr

Available on crate feature parsing only.

impl Parse for ShrEq

Available on crate feature parsing only.

impl Parse for SizeOf

Available on crate feature parsing only.

impl Parse for Slash

Available on crate feature parsing only.

impl Parse for SlashEq

Available on crate feature parsing only.

impl Parse for Spec

Available on crate feature parsing only.

impl Parse for SpecFn

Available on crate feature parsing only.

impl Parse for Star

Available on crate feature parsing only.

impl Parse for StarEq

Available on crate feature parsing only.

impl Parse for Static

Available on crate feature parsing only.

impl Parse for Struct

Available on crate feature parsing only.

impl Parse for Super

Available on crate feature parsing only.

impl Parse for Tilde

Available on crate feature parsing only.

impl Parse for TildeEq

Available on crate feature parsing only.

impl Parse for TildeNe

Available on crate feature parsing only.

impl Parse for TildeTildeEq

Available on crate feature parsing only.

impl Parse for TildeTildeNe

Available on crate feature parsing only.

impl Parse for Tracked

Available on crate feature parsing only.

impl Parse for Trait

Available on crate feature parsing only.

impl Parse for Try

Available on crate feature parsing only.

impl Parse for verus_syn::token::Type

Available on crate feature parsing only.

impl Parse for Typeof

Available on crate feature parsing only.

impl Parse for Underscore

Available on crate feature parsing only.

impl Parse for Uninterp

Available on crate feature parsing only.

impl Parse for Union

Available on crate feature parsing only.

impl Parse for Unsafe

Available on crate feature parsing only.

impl Parse for Unsized

Available on crate feature parsing only.

impl Parse for Use

Available on crate feature parsing only.

impl Parse for Via

Available on crate feature parsing only.

impl Parse for Virtual

Available on crate feature parsing only.

impl Parse for When

Available on crate feature parsing only.

impl Parse for Where

Available on crate feature parsing only.

impl Parse for While

Available on crate feature parsing only.

impl Parse for With

Available on crate feature parsing only.

impl Parse for Yield

Available on crate feature parsing only.

impl Parse for Nothing

Available on crate feature parsing only.