List of all items

Structs

• cst::AndTypeClause
• cst::AppArgErased
• cst::BarVariantDef
• cst::BindName
• cst::ExprErased
• cst::File
• cst::MathErased
• cst::OfType
• cst::ParseFileError
• cst::PatBotErased
• cst::PatErased
• cst::RecordKind
• cst::RecordKindField
• cst::SigAnnot
• cst::SigConstraint
• cst::StructDecl
• cst::TopLet
• cst::TopStage
• cst::TyErased
• cst::TypeDecl
• cst::VariantDef
• cst::ast::AccessSeg
• cst::ast::AndBinding
• cst::ast::AppExpr
• cst::ast::AsClause
• cst::ast::BarArm
• cst::ast::BeforeTail
• cst::ast::CommaExpr
• cst::ast::CommaPattern
• cst::ast::ConsSeg
• cst::ast::CstOptArgEntry
• cst::ast::CstOptArgs
• cst::ast::CstOptBinderEntry
• cst::ast::CstOptBinders
• cst::ast::CstRecordOpenField
• cst::ast::CstRecordOpenInner
• cst::ast::CstTypeOptDom
• cst::ast::CstTypeOptEntry
• cst::ast::Guard
• cst::ast::ListItem
• cst::ast::MatchArm
• cst::ast::MathElemCst
• cst::ast::OpChain
• cst::ast::OpRhs
• cst::ast::OptArrowDom
• cst::ast::ParenBody
• cst::ast::PatCons
• cst::ast::PatListItem
• cst::ast::Pattern
• cst::ast::PatternParenBody
• cst::ast::RecAscription
• cst::ast::RecBinding
• cst::ast::RecClause
• cst::ast::RecordField
• cst::ast::StarType
• cst::ast::TypeApp
• cst::ast::TypeCmdArgItem
• cst::ast::TypeCmdOptField
• cst::ast::TypeProd
• cst::ast::TypeRecordField
• cst_v1::BarVariantDefV1
• cst_v1::BindStageV1
• cst_v1::ExprErasedV1
• cst_v1::MathErasedV1
• cst_v1::ModExprErasedV1
• cst_v1::OfTypeV1
• cst_v1::PatBotErasedV1
• cst_v1::PatErasedV1
• cst_v1::ScriptsParamV1
• cst_v1::SigAnnotV1
• cst_v1::SigExprErasedV1
• cst_v1::StructBindV1
• cst_v1::StructDeclV1
• cst_v1::TyErasedV1
• cst_v1::TypeAndV1
• cst_v1::TypeBindSingleV1
• cst_v1::TypeBindsErasedV1
• cst_v1::TypeBindsV1
• cst_v1::VariantDefV1
• cst_v1::ast::AccessSeg
• cst_v1::ast::AndClauseV1
• cst_v1::ast::AppExpr
• cst_v1::ast::AsClause
• cst_v1::ast::AscribedInnerV1
• cst_v1::ast::BarArm
• cst_v1::ast::CommaExpr
• cst_v1::ast::CommaPattern
• cst_v1::ast::ConsSeg
• cst_v1::ast::KindArrowV1
• cst_v1::ast::KindV1
• cst_v1::ast::ListItem
• cst_v1::ast::MatchArm
• cst_v1::ast::MathElemCst
• cst_v1::ast::OpChain
• cst_v1::ast::OpRhs
• cst_v1::ast::OptArgEntryV1
• cst_v1::ast::OptArgsV1
• cst_v1::ast::OptParamEntryV1
• cst_v1::ast::OptParamsV1
• cst_v1::ast::Param
• cst_v1::ast::ParenBody
• cst_v1::ast::PatCons
• cst_v1::ast::PatListItem
• cst_v1::ast::Pattern
• cst_v1::ast::PatternParenBody
• cst_v1::ast::RecClauseV1
• cst_v1::ast::RecordField
• cst_v1::ast::RowTailV1
• cst_v1::ast::StarType
• cst_v1::ast::TypeCmdArgItemV1
• cst_v1::ast::TypeCmdOptDomV1
• cst_v1::ast::TypeCmdOptEntryV1
• cst_v1::ast::TypeOptDomInnerV1
• cst_v1::ast::TypeOptDomV1
• cst_v1::ast::TypeOptEntryV1
• cst_v1::ast::TypeProd
• cst_v1::ast::TypeRecordFieldV1
• cst_v1::ast::TypeRecordInnerV1
• leaf::BinOpTok
• leaf::ExactTimesTok
• leaf::HeaderStageTok
• leaf::HorzCmdWithModTok
• leaf::LengthTok
• leaf::LiteralTok
• leaf::LongUpperTok
• leaf::MathCmdWithModTok
• leaf::NamingOpTok
• leaf::OpNameTok
• leaf::UnitParen
• leaf::VarInHorzTok
• leaf::VarInMathTok
• leaf::VarInVertTok
• leaf::VarWithModTok
• leaf::VertCmdWithModTok
• lexer::LexError
• span::Loc
• span::Span
• stream::AtomStream
• token::AccessTok
• token::ArrowTok
• token::BHorzGrpTok
• token::BListTok
• token::BMathGrpTok
• token::BRecordTok
• token::BVertGrpTok
• token::BarTok
• token::BreakTok
• token::CharTok
• token::CodeTextTok
• token::CoerceTok
• token::ColonTok
• token::CommaTok
• token::CommandTok
• token::ConsTok
• token::ConstraintTok
• token::CtorTok
• token::DefEqTok
• token::EHorzGrpTok
• token::EListTok
• token::EMathGrpTok
• token::ERecordTok
• token::EVertGrpTok
• token::EndActiveTok
• token::EoiTok
• token::ExactAmpTok
• token::ExactMinusTok
• token::ExactTildeTok
• token::ExactTimesTok
• token::FloatTok
• token::HeaderImportTok
• token::HeaderRequireTok
• token::HorzCmdTok
• token::HorzCmdTypeTok
• token::IntTok
• token::ItemTok
• token::KwAnd
• token::KwAs
• token::KwBefore
• token::KwBlock
• token::KwDirect
• token::KwDo
• token::KwElse
• token::KwEnd
• token::KwFalse
• token::KwFun
• token::KwIf
• token::KwIn
• token::KwInclude
• token::KwInline
• token::KwLet
• token::KwLetHorz
• token::KwLetMath
• token::KwLetMutable
• token::KwLetRec
• token::KwLetVert
• token::KwMatch
• token::KwMath
• token::KwModule
• token::KwMutable
• token::KwOf
• token::KwOpen
• token::KwPackage
• token::KwPersistent
• token::KwRec
• token::KwSig
• token::KwSignature
• token::KwStruct
• token::KwThen
• token::KwTrue
• token::KwType
• token::KwUse
• token::KwVal
• token::KwWhen
• token::KwWhile
• token::KwWith
• token::LParenTok
• token::ListPunctTok
• token::MathCharTok
• token::MathCmdTok
• token::MathCmdTypeTok
• token::OmissionTok
• token::OpenModuleTok
• token::OptionalArrowTok
• token::OptionalTok
• token::OptionalTypeTok
• token::OverwriteEqTok
• token::PrimesTok
• token::RParenTok
• token::RowVarTok
• token::SepTok
• token::SpaceTok
• token::SubscriptTok
• token::SuperscriptTok
• token::TypeVarTok
• token::UnopExclamTok
• token::VarTok
• token::VertCmdTok
• token::VertCmdTypeTok
• token::WildcardTok
• version::HeaderSniff
• version::ParseVersionError

Enums

• cst::Header
• cst::SigItem
• cst::TopBinding
• cst::TypeDeclBody
• cst::ast::AppArg
• cst::ast::Atomic
• cst::ast::BlockElem
• cst::ast::CmdTail
• cst::ast::CmdTypeKind
• cst::ast::Expr
• cst::ast::InlineElem
• cst::ast::MathArg
• cst::ast::MathArgBody
• cst::ast::MathBot
• cst::ast::MathGroupArg
• cst::ast::MathScript
• cst::ast::Param
• cst::ast::PatBot
• cst::ast::RecordBody
• cst::ast::StagePrefix
• cst::ast::TypeAtom
• cst::ast::TypeExpr
• cst_v1::Bind
• cst_v1::FileV1
• cst_v1::HeaderV1
• cst_v1::TypeBodyV1
• cst_v1::ast::AppArg
• cst_v1::ast::Atomic
• cst_v1::ast::BlockElem
• cst_v1::ast::CmdTail
• cst_v1::ast::Decl
• cst_v1::ast::Expr
• cst_v1::ast::InlineElem
• cst_v1::ast::MathArg
• cst_v1::ast::MathBot
• cst_v1::ast::MathGroupArg
• cst_v1::ast::MathScript
• cst_v1::ast::ModChainV1
• cst_v1::ast::ModExpr
• cst_v1::ast::ParamBody
• cst_v1::ast::PatBot
• cst_v1::ast::RecordBody
• cst_v1::ast::SigBotV1
• cst_v1::ast::SigExpr
• cst_v1::ast::StagePrefix
• cst_v1::ast::TypeApp
• cst_v1::ast::TypeAtom
• cst_v1::ast::TypeExpr
• leaf::AnyHorzCmdTok
• leaf::AnyMathCmdTok
• leaf::AnyVertCmdTok
• token::Token
• version::RustyfiVersion

Functions

• cst::parse_file
• cst_v1::parse_file_v1
• lexer::lex
• lexer::lex_with_version
• version::sniff_headers
• version::sniff_version

Type Aliases

• leaf::BlockGroup
• leaf::InlineGroup
• leaf::ListGroup
• leaf::MathGroup
• leaf::OpenModuleGroup
• leaf::ParenGroup
• leaf::RecordGroup
• token::Atom