Modules§
- lookahead 🔒
- Support for “peeking” into the token stream to decide how to parse.
- utils 🔒
- Implementation of parser combinators
Enums§
Functions§
- parse_
asyncness 🔒 - parse_
atom 🔒 - parse_
base_ 🔒sort - ⟨base_sort⟩ := bitvec < ⟨u32⟩ > | ⟨sort_path⟩ < ⟨base_sort⟩,* > | < ⟨ty⟩ as ⟨path⟩ > :: ⟨segment⟩ ⟨sort_path⟩ := ⟨ident⟩ ⟨ :: ⟨ident⟩ ⟩* < (⟨base_sort⟩,*) >
- parse_
binops 🔒 - parse_
block 🔒 - ⟨block⟩ := { ⟨let_decls⟩ ⟨expr⟩ }
- parse_
block_ 🔒expr - ⟨block_expr⟩ = ⟨let_decl⟩* ⟨expr⟩
- parse_
bounded_ 🔒quantifier - parse_
bty_ 🔒exists - parse_
bty_ 🔒rhs - parse_
const_ 🔒arg - parse_
constructor_ 🔒arg - parse_
ensures_ 🔒clause - parse_
expr 🔒 - parse_
expr_ 🔒path ⟨epath⟩ := ⟨ident⟩ ⟨ :: ⟨ident⟩ ⟩*- parse_
expr_ 🔒path_ segment - parse_
fields 🔒 - parse_
flux_ 🔒item - parse_
flux_ 🔒items - parse_
fn_ 🔒input - parse_
fn_ 🔒ret - parse_
fn_ 🔒sig - parse_
general_ 🔒exists - parse_
generic_ 🔒arg - parse_
generic_ 🔒bounds - parse_
generic_ 🔒param - parse_
generics 🔒 - parse_
ident 🔒 - parse_
if_ 🔒expr ⟨if_expr⟩ := if ⟨expr⟩ ⟨block⟩ ⟨ else if ⟨expr⟩ ⟨block⟩ ⟩* else ⟨block⟩- parse_
impl_ 🔒assoc_ reft - parse_
impl_ 🔒assoc_ refts - parse_
indices 🔒 - parse_
int 🔒 - parse_
let_ 🔒decl - ⟨let_decl⟩ := let ⟨refine_param⟩ = ⟨expr⟩ ;
- parse_
lit 🔒 - parse_
opt_ 🔒ensures - parse_
opt_ 🔒generics - parse_
opt_ 🔒param_ mode - parse_
opt_ 🔒requires - parse_
opt_ 🔒where - parse_
path 🔒 - parse_
qpath 🔒 - parse_
qual_ 🔒names - parse_
qualifier 🔒 - parse_
reason 🔒 - parse_
refine_ 🔒arg - parse_
refine_ 🔒param - parse_
refined_ 🔒by - parse_
reft_ 🔒func - parse_
requires_ 🔒clause - parse_
segment 🔒 - parse_
segments 🔒 - parse_
sort 🔒 - ⟨sort⟩ := ⟨base_sort⟩ | ( ⟨base_sort⟩,* ) -> ⟨base_sort⟩ | ⟨base_sort⟩ -> ⟨base_sort⟩
- parse_
sort_ 🔒decl - parse_
trailer_ 🔒expr - parse_
trait_ 🔒assoc_ reft - parse_
trait_ 🔒assoc_ refts - parse_
type 🔒 - parse_
type_ 🔒alias - parse_
variant 🔒 - parse_
variant_ 🔒ret - parse_
where_ 🔒bound - parse_
yes_ 🔒or_ no_ with_ reason - path_
to_ 🔒bty - unary_
expr 🔒