ModulesΒ§
- lookahead π
- Support for βpeekingβ into the token stream to decide how to parse.
- utils π
- Implementation of parser combinators
EnumsΒ§
- Associativity π
- Precedence π
FunctionsΒ§
- parse_
asyncness π - parse_
atom π - parse_
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_
hide_ πattr - 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_
reveal_ πnames - parse_
segment π - parse_
segments π - parse_
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 π