List of all items

Structs

• Annotated
• CompilationUnit
• DeclTable
• DeclTableExt2
• ImportGraph
• NameResolutionTableExt
• NamespaceResolver
• ParseContext
• ParseContextExt
• ParseDiagnostics
• ParseFlagsExt
• ParseStatsExt
• ParseWarning
• ParserConfig
• PhaseTimerExt
• PipelineTimingsExt
• SimpleStringPoolExt
• SourceFile
• SourceFileRegistry
• SourceSummary
• SourceSummaryExt2
• SyntacticHole
• TokenBuffer
• TokenFrequencyMapExt
• ast::types::AstMetadata
• ast::types::BinderExt
• ast::types::BinderExtExt2
• ast::types::ByteRange
• ast::types::ComplexityMetric
• ast::types::CountingVisitorExt
• ast::types::DeclHeaderExt
• ast::types::DocComment
• ast::types::FlatAstExt
• ast::types::ImportDecl
• ast::types::LetBindingExt
• ast::types::LetBindingExtExt2
• ast::types::MacroExpansion
• ast::types::MatchExprExt
• ast::types::MatchExprExtExt2
• ast::types::NamespaceStack
• ast::types::NotationEntry
• ast::types::OperatorTable
• ast::types::ParseError
• ast::types::Pos
• ast::types::Prec
• ast::types::Span
• ast::types::StructField
• ast::types::SubstTableExt
• ast::types::SurfaceIdent
• ast::types::Telescope
• ast::types::TelescopeExt2
• ast::types::TreeNodeExt
• ast::types::TypeAnnotation
• ast::types::TypeSynonym
• ast::types::WithPosExt
• ast_impl::types::Binder
• ast_impl::types::CalcStep
• ast_impl::types::Constructor
• ast_impl::types::FieldDecl
• ast_impl::types::IdentityTransformExt
• ast_impl::types::Located
• ast_impl::types::MatchArm
• ast_impl::types::NodeCache
• ast_impl::types::RenameTransformExt
• ast_impl::types::TransformMemo
• ast_impl::types::TransformMemoExt2
• ast_impl::types::TreeCursor
• ast_impl::types::TreePathExt
• ast_impl::types::TreeStats
• ast_impl::types::TreeStatsExt2
• ast_impl::types::TreeZipper
• ast_impl::types::TreeZipperExt
• ast_impl::types::WhereClause
• command::commandparser_type::CommandParser
• command::types::StructureField
• diagnostic::types::CodeFix
• diagnostic::types::Diagnostic
• diagnostic::types::DiagnosticAggregator
• diagnostic::types::DiagnosticBuilder
• diagnostic::types::DiagnosticCollector
• diagnostic::types::DiagnosticEvent
• diagnostic::types::DiagnosticExporter
• diagnostic::types::DiagnosticFilter
• diagnostic::types::DiagnosticGroup
• diagnostic::types::DiagnosticLabel
• diagnostic::types::DiagnosticPrinter
• diagnostic::types::DiagnosticRenderer
• diagnostic::types::DiagnosticStats
• diagnostic::types::DiagnosticSuppressor
• diagnostic::types::SeverityFilter
• diagnostic::types::SpanUtils
• diagnostic::types::SyncTokenInfo
• error::types::BatchErrorReport
• error::types::ContextualRichError
• error::types::ErrorAccumulator2
• error::types::ErrorBudget
• error::types::ErrorChain
• error::types::ErrorCodeCatalogue
• error::types::ErrorDeduplicator
• error::types::ErrorExplanation
• error::types::ErrorExplanationBook
• error::types::ErrorFilter
• error::types::ErrorGrouper
• error::types::ErrorLocationResolver
• error::types::ErrorRateTracker
• error::types::ParseDiagnostic
• error::types::ParseErrorBudget
• error::types::ParseErrorCollector
• error::types::ParseErrorContext
• error::types::ParseErrorFormatter
• error::types::ParseErrorGroup
• error::types::ParseErrorReport
• error::types::ParseErrorStats
• error::types::ParseWarning
• error::types::QuickFixRegistry
• error::types::RecoveryHint
• error::types::RichError
• error::types::StringErrorSink
• error::types::TaggedError
• error_impl::types::AnnotatedSpan
• error_impl::types::ContextualError
• error_impl::types::Diagnostic
• error_impl::types::DiagnosticBag
• error_impl::types::ErrorBatch
• error_impl::types::ErrorChainExt
• error_impl::types::ErrorCode
• error_impl::types::ErrorMessageFilter
• error_impl::types::ErrorRange
• error_impl::types::ErrorRateLimiter
• error_impl::types::ErrorSink
• error_impl::types::ErrorTemplate
• error_impl::types::ErrorWindow
• error_impl::types::ErrorWithFix
• error_impl::types::FullDiagnostic
• error_impl::types::LintReport
• error_impl::types::LintWarning
• error_impl::types::LocatedError
• error_impl::types::MultiFileErrors
• error_impl::types::ParseError
• error_impl::types::ParseErrorBuilder
• error_impl::types::ParseErrors
• error_impl::types::RecoverableError
• error_impl::types::RecoveryHint
• error_impl::types::RecoverySuggestion
• error_impl::types::SentinelError
• error_impl::types::SpannedError
• expr_cache::types::AdaptiveCacheEntry
• expr_cache::types::AdaptiveLruCache
• expr_cache::types::AlphaEqCache
• expr_cache::types::BloomFilter
• expr_cache::types::BumpAllocator
• expr_cache::types::CacheCoverageReport
• expr_cache::types::CacheEntry
• expr_cache::types::CacheHealthReport
• expr_cache::types::CacheKeyBuilder
• expr_cache::types::CachePressureMonitor
• expr_cache::types::CachePrewarmer
• expr_cache::types::CacheReport
• expr_cache::types::CacheWarmup
• expr_cache::types::DeclHash
• expr_cache::types::ExprDiffCache
• expr_cache::types::ExprLocationIndex
• expr_cache::types::ExprPool
• expr_cache::types::ExprSegment
• expr_cache::types::GlobalExprTable
• expr_cache::types::HashSet64
• expr_cache::types::InternedStr
• expr_cache::types::InterningStats
• expr_cache::types::LfuEviction
• expr_cache::types::LruCache
• expr_cache::types::MacroExpansionCache
• expr_cache::types::MacroExpansionEntry
• expr_cache::types::MemoEntry
• expr_cache::types::MemoTable
• expr_cache::types::MultiLevelCache
• expr_cache::types::NamespacedCache
• expr_cache::types::NestingDepthTracker
• expr_cache::types::ParseCache
• expr_cache::types::ParseCacheEntry
• expr_cache::types::ParseResultCache
• expr_cache::types::PersistentCache
• expr_cache::types::PolicyCache
• expr_cache::types::RollingHash
• expr_cache::types::SegmentTable
• expr_cache::types::StringInterner
• expr_cache::types::StringPool
• expr_cache::types::SubexprFrequencyMap
• expr_cache::types::SymbolInterner
• expr_cache::types::TokenFrequencyTable
• expr_cache::types::TokenWindow
• expr_cache::types::TtlEviction
• expr_cache::types::TwoQueueCache
• expr_cache::types::TypeCheckCache
• expr_cache::types::TypeCheckResult
• expr_cache::types::VersionedCache
• expr_cache::types::WindowCache
• expr_cache::types::WindowedCacheMetrics
• formatter_adv::types::AnnotatedOutput
• formatter_adv::types::AstFormatter
• formatter_adv::types::DocWidth
• formatter_adv::types::FlatOrBroken2
• formatter_adv::types::FormatConfig
• formatter_adv::types::FormatContext
• formatter_adv::types::FormatDecision
• formatter_adv::types::FormatDecisionLog
• formatter_adv::types::FormatQueue
• formatter_adv::types::FormatToken
• formatter_adv::types::FormatterConfig
• formatter_adv::types::FormatterIndentStack
• formatter_adv::types::HighlightSpan
• formatter_adv::types::InfixExprBuilder
• formatter_adv::types::LabeledSectionFormatter
• formatter_adv::types::LayoutConfig
• formatter_adv::types::LayoutEngine
• formatter_adv::types::LetBindingAligner2
• formatter_adv::types::LineBreaker
• formatter_adv::types::LineLengthDistribution
• formatter_adv::types::RibbonFormatter
• formatter_adv::types::SyntaxHighlightFormatter
• formatter_adv::types::TokenStream2
• formatter_adv::types::TreeRenderer
• incremental::types::AtomicVersion
• incremental::types::ChangeDetector
• incremental::types::DeclDependencyTracker
• incremental::types::DependencyGraph
• incremental::types::DirtyRegion
• incremental::types::EditBuffer
• incremental::types::EditHistory
• incremental::types::FiberPool
• incremental::types::GreenNode
• incremental::types::IncrParseEntry
• incremental::types::IncrParseStats
• incremental::types::IncrScopeEntry
• incremental::types::IncrScopeStack
• incremental::types::IncrementalChecksum
• incremental::types::IncrementalErrorMap
• incremental::types::IncrementalLexer
• incremental::types::IncrementalLexerExt
• incremental::types::IncrementalParseCache
• incremental::types::IncrementalParseResult
• incremental::types::IncrementalParser
• incremental::types::IncrementalSession
• incremental::types::InvalidatedRange
• incremental::types::LineDiff
• incremental::types::NodeRangeCache
• incremental::types::OffsetToTokenMap
• incremental::types::ParseFiber
• incremental::types::ParseSnapshot
• incremental::types::ParseVersion
• incremental::types::ParsedDecl
• incremental::types::PersistentVec
• incremental::types::RedNode
• incremental::types::ReparseQueue
• incremental::types::ReparseRequest
• incremental::types::SimpleRope
• incremental::types::SnapshotManager
• incremental::types::SourceEdit
• incremental::types::TextChange
• incremental::types::TokenFingerprint
• incremental::types::TokenReachability
• incremental::types::TokenValidity
• incremental::types::Transaction
• incremental::types::UndoRedoStack
• incremental::types::VersionedSource
• indent_tracker::types::AlignedPrinter
• indent_tracker::types::BlockParser
• indent_tracker::types::ColumnAligner
• indent_tracker::types::ColumnOracle
• indent_tracker::types::CommentTracker
• indent_tracker::types::ConstructIndentRule
• indent_tracker::types::ConstructRuleRegistry
• indent_tracker::types::DoBlockTracker
• indent_tracker::types::HangingIndent
• indent_tracker::types::HangingIndentState
• indent_tracker::types::IndentBlock
• indent_tracker::types::IndentChangeLog
• indent_tracker::types::IndentConsistencyReport
• indent_tracker::types::IndentDelta
• indent_tracker::types::IndentFence
• indent_tracker::types::IndentFixer
• indent_tracker::types::IndentGuide
• indent_tracker::types::IndentHistory
• indent_tracker::types::IndentLevel
• indent_tracker::types::IndentLevelHistory
• indent_tracker::types::IndentMismatchError
• indent_tracker::types::IndentNormaliser
• indent_tracker::types::IndentRegion
• indent_tracker::types::IndentRewriter
• indent_tracker::types::IndentStack
• indent_tracker::types::IndentStats
• indent_tracker::types::IndentValidator
• indent_tracker::types::IndentZipper
• indent_tracker::types::IndentationChecker
• indent_tracker::types::LayoutContext
• indent_tracker::types::LetBinding
• indent_tracker::types::LetBindingTracker
• indent_tracker::types::LineSpan
• indent_tracker::types::MultilineStringTracker
• indent_tracker::types::OpenBraceTracker
• indent_tracker::types::Scope
• indent_tracker::types::ScopeTracker
• indent_tracker::types::SourceSplitter
• indent_tracker::types::TabStopIterator
• indent_tracker::types::VirtualColumn
• indent_tracker::types::WhereBlockTracker
• lexer::types::CharFreqTable
• lexer::types::FilteredTokenStream
• lexer::types::KeywordTrie
• lexer::types::LexSummary
• lexer::types::Lexer
• lexer::types::LexerModeStack
• lexer::types::LexerPos
• lexer::types::LexerRule
• lexer::types::LexerRuleTable
• lexer::types::LineMap
• lexer::types::RawToken
• lexer::types::Scanner
• lexer::types::TokenDiff
• lexer::types::TriviaAccumulator
• macro_parser::types::DepthLimitedExpander
• macro_parser::types::DepthLimitedExpanderExt2
• macro_parser::types::HygieneContext
• macro_parser::types::HygieneContextExt2
• macro_parser::types::HygieneInfo
• macro_parser::types::MacroCallSiteExt
• macro_parser::types::MacroDef
• macro_parser::types::MacroDefinitionExt
• macro_parser::types::MacroEnvironmentExt
• macro_parser::types::MacroError
• macro_parser::types::MacroExpander
• macro_parser::types::MacroExpansionError
• macro_parser::types::MacroExpansionErrorExt2
• macro_parser::types::MacroExpansionTraceExt
• macro_parser::types::MacroLibrary
• macro_parser::types::MacroMatcher
• macro_parser::types::MacroParser
• macro_parser::types::MacroRule
• macro_parser::types::MacroSignature
• macro_parser::types::MacroStats
• macro_parser::types::MacroStatsExt2
• macro_parser::types::MacroSubst
• macro_parser::types::MacroVarExt
• macro_parser::types::SyntaxDef
• module::types::DepGraphExt
• module::types::ExportEntry
• module::types::Module
• module::types::ModuleAttribute
• module::types::ModuleConfig
• module::types::ModuleDep
• module::types::ModuleDepExt
• module::types::ModuleMetadata
• module::types::ModuleRegistry
• module::types::ModuleVersion
• module::types::NameVisibility
• module::types::NamespaceScope
• module::types::OpenDirective
• module::types::ScopedOpen
• notation_system::types::BuiltinPrecTable
• notation_system::types::MacroRule
• notation_system::types::NotationConflict
• notation_system::types::NotationEntry
• notation_system::types::NotationEnv
• notation_system::types::NotationFormatter
• notation_system::types::NotationGroup
• notation_system::types::NotationPriorityQueue
• notation_system::types::NotationRegistry
• notation_system::types::NotationRule
• notation_system::types::NotationScope
• notation_system::types::NotationTable
• notation_system::types::OperatorAlias
• notation_system::types::OperatorAliasTable
• notation_system::types::OperatorEntry
• notation_system::types::OverloadEntry
• notation_system::types::OverloadRegistry
• notation_system::types::PatternMatcher
• notation_system::types::PrecLevel
• notation_system::types::ScopeGuard
• notation_system::types::SyntaxExtension
• notation_system::types::SyntaxSugar
• notation_system::types::SyntaxSugarLibrary
• parser::types::AmbiguityRegistry
• parser::types::CheckpointStack
• parser::types::DepthLimiter
• parser::types::ExpectedSet
• parser::types::FixityRegistry
• parser::types::PackratEntry
• parser::types::PackratTable
• parser::types::ParseAmbiguity
• parser::types::ParseAnnotation
• parser::types::ParseBatch
• parser::types::ParseBuffer
• parser::types::ParseCacheKey
• parser::types::ParseCheckpoint
• parser::types::ParseConfig
• parser::types::ParseErrorSimple
• parser::types::ParseErrorSummary
• parser::types::ParseFileResult
• parser::types::ParseFrame
• parser::types::ParseFuel
• parser::types::ParseMode
• parser::types::ParsePipeline
• parser::types::ParseResultWithErrors
• parser::types::ParseSession
• parser::types::ParseStack
• parser::types::ParseStats
• parser::types::ParseStatsExt
• parser::types::ParseTrace
• parser::types::PrattContext
• parser::types::RecoveryDecision
• parser::types::RecoveryLog
• parser::types::SourceMap
• parser::types::SourcePos
• parser::types::TokenCursor
• parser::types::TokenKindSet
• parser::types::TokenStream
• parser::types::TraceEvent
• parser_impl::types::Parser
• pattern::patterncompiler_type::PatternCompiler
• pattern::types::ArrayPattern
• pattern::types::AsPattern
• pattern::types::CaseBranch
• pattern::types::ConstructorInfo
• pattern::types::InaccessiblePattern
• pattern::types::MatchArmExt
• pattern::types::MatchClause
• pattern::types::PatternBinding
• pattern::types::PatternCoverage
• pattern::types::PatternCoverageExt
• pattern::types::PatternMatrixRow
• pattern::types::PatternRenamer
• pattern::types::PatternRow
• pattern::types::SpecializedPattern
• pattern::types::TypeConstructors
• prettyprint::types::AnsiHighlighter
• prettyprint::types::BoxModel
• prettyprint::types::BreadcrumbTrail
• prettyprint::types::ColumnLayout
• prettyprint::types::DocFormatter
• prettyprint::types::IndentManager
• prettyprint::types::PrettyConfig
• prettyprint::types::PrettyPrinter
• prettyprint::types::TableFormatter
• repl_parser::types::AliasRegistry
• repl_parser::types::CommandAlias
• repl_parser::types::CommandHistory
• repl_parser::types::CommandTally
• repl_parser::types::CompletionItem
• repl_parser::types::ConfigurableReplParser
• repl_parser::types::EventLog
• repl_parser::types::FilterPipeline
• repl_parser::types::InputSplitter
• repl_parser::types::LowercaseCommandFilter
• repl_parser::types::MultilineState
• repl_parser::types::NoopListener
• repl_parser::types::OptionStore
• repl_parser::types::ReplCompleter
• repl_parser::types::ReplFormatter
• repl_parser::types::ReplHistory
• repl_parser::types::ReplHistoryEntry
• repl_parser::types::ReplOptions
• repl_parser::types::ReplParser
• repl_parser::types::ReplParserConfig
• repl_parser::types::ReplSession
• repl_parser::types::ReplStats
• repl_parser::types::StripSemicolonFilter
• roundtrip::types::ArithFuzzer
• roundtrip::types::BatchRoundTripStats
• roundtrip::types::CorpusEntry
• roundtrip::types::CorpusStore
• roundtrip::types::CoverageTracker
• roundtrip::types::EditRegion
• roundtrip::types::ExprFuzzer
• roundtrip::types::ForallCorpusGenerator
• roundtrip::types::GoldenExample
• roundtrip::types::GoldenFile
• roundtrip::types::GoldenSet
• roundtrip::types::GoldenTestSuite
• roundtrip::types::LambdaCorpusGenerator
• roundtrip::types::NormTable
• roundtrip::types::PrefixComparator
• roundtrip::types::PropertyTest
• roundtrip::types::RoundTripBatchProcessor
• roundtrip::types::RoundTripChecker
• roundtrip::types::RoundTripConfig
• roundtrip::types::RoundTripConfigExt
• roundtrip::types::RoundTripRecord
• roundtrip::types::RoundTripSnapshot
• roundtrip::types::RoundTripStats
• roundtrip::types::RoundTripSuite
• roundtrip::types::RoundTripSummaryLine
• roundtrip::types::RoundTripTest
• roundtrip::types::SnapshotCatalog
• roundtrip::types::SourceMutation
• roundtrip::types::TextDiff
• roundtrip::types::TextToken
• sourcemap::types::BidiMapper
• sourcemap::types::DefinitionIndex
• sourcemap::types::DocumentSymbol
• sourcemap::types::GoToDefinitionResult
• sourcemap::types::HoverInfo
• sourcemap::types::MapChain
• sourcemap::types::RangeTransform
• sourcemap::types::ReferenceIndex
• sourcemap::types::SemanticToken
• sourcemap::types::SortedSourceMap
• sourcemap::types::SourceDiagnostic
• sourcemap::types::SourceEntry
• sourcemap::types::SourceIndex
• sourcemap::types::SourceMap
• sourcemap::types::SourceMapBatch
• sourcemap::types::SourceMapBuilder
• sourcemap::types::SourceMapCache
• sourcemap::types::SourceMapDiff
• sourcemap::types::SourceMapStats
• sourcemap::types::SourcePosition
• sourcemap::types::SourceRegion
• span_util::types::AnnotatedSpan
• span_util::types::DiagnosticSet
• span_util::types::DiagnosticSpan
• span_util::types::FileId
• span_util::types::FileRegistry
• span_util::types::FileSpan
• span_util::types::IncrementalSpanTracker
• span_util::types::LabeledSpan
• span_util::types::PaddedSpan
• span_util::types::PrioritizedSpan
• span_util::types::ProvenanceSpan
• span_util::types::SourceCursor
• span_util::types::SourcePos
• span_util::types::SpanAnnotations
• span_util::types::SpanBuilder
• span_util::types::SpanChain
• span_util::types::SpanDiff
• span_util::types::SpanMap
• span_util::types::SpanRange
• span_util::types::SpanRegistry
• span_util::types::SpanStats
• span_util::types::Spanned
• span_util::types::Utf16Span
• tactic_parser::tacticparser_type::TacticParser
• tactic_parser::types::CalcStep
• tactic_parser::types::CaseArm
• tactic_parser::types::CustomTactic
• tactic_parser::types::RewriteRule
• tactic_parser::types::SimpArgs
• tactic_parser::types::TacticLocation
• token::types::AnnotatedToken
• token::types::OperatorPriority
• token::types::ReformatOptions
• token::types::RichToken
• token::types::TokenMeta
• token::types::TokenNgramIter
• token::types::TokenStream
• tokens::types::AnnotatedToken
• tokens::types::ContextualToken
• tokens::types::Span
• tokens::types::Token
• tokens::types::TokenBuffer
• tokens::types::TokenCursor
• tokens::types::TokenKindSet
• tokens::types::TokenPairMatcher
• tokens::types::TokenRange
• tokens::types::TokenStats
• tokens::types::TokenStream
• wasm_source_map::types::AbsoluteMapping
• wasm_source_map::types::Base64Util
• wasm_source_map::types::DecodedSegment
• wasm_source_map::types::FullSourceMap
• wasm_source_map::types::GeneratedPosition
• wasm_source_map::types::MultiFileSourceMap
• wasm_source_map::types::ReverseSourceMap
• wasm_source_map::types::SourceMap
• wasm_source_map::types::SourceMapBuilder
• wasm_source_map::types::SourceMapDiff
• wasm_source_map::types::SourceMapEntry
• wasm_source_map::types::SourceMapGroup
• wasm_source_map::types::SourceMapIndex
• wasm_source_map::types::SourceMapMerger
• wasm_source_map::types::SourceMapOptions
• wasm_source_map::types::SourceMapStats
• wasm_source_map::types::SourceMapStatsExt
• wasm_source_map::types::SourceMapValidator
• wasm_source_map::types::SourceMapping
• wasm_source_map::types::SourcePos2
• wasm_source_map::types::SourcePosition
• wasm_source_map::types::SourceRange
• wasm_source_map::types::SourceRangeExt
• wasm_source_map::types::SourceToGeneratedMap
• wasm_source_map::types::VlqCodec
• wasm_source_map::types::VlqEncoder
• wasm_source_map::types::VlqStream
• wasm_source_map::types::WasmAnnotation
• wasm_source_map::types::WasmAnnotationTable
• wasm_source_map::types::WasmCoverageRecord
• wasm_source_map::types::WasmOffsetRange
• wasm_source_map::types::WasmSourceMapBuilder

Enums

• CompilePhaseExt
• ast::types::AnnotationKind
• ast::types::AstNodeKind
• ast::types::AttrArg
• ast::types::Fixity
• ast::types::ScopeDecl
• ast::types::SimpleNodeKindExt
• ast::types::TokenKindTag
• ast::types::UniverseLevel
• ast::types::Visibility
• ast_impl::types::AstNotationKind
• ast_impl::types::AttributeKind
• ast_impl::types::BinderKind
• ast_impl::types::Decl
• ast_impl::types::DoAction
• ast_impl::types::Literal
• ast_impl::types::Pattern
• ast_impl::types::SortKind
• ast_impl::types::SurfaceExpr
• command::types::AttributeDeclKind
• command::types::Command
• command::types::NotationKind
• command::types::OpenItem
• diagnostic::types::DiagnosticCode
• diagnostic::types::DiagnosticPolicy
• diagnostic::types::Severity
• diagnostic::types::SyncToken
• error::types::ErrorSeverity
• error::types::ErrorSeverityLevel
• error::types::ErrorTag
• error::types::RecoveryHintKind
• error::types::RecoveryStrategy
• error_impl::types::DiagnosticSeverity
• error_impl::types::ParseErrorKind
• error_impl::types::Severity
• expr_cache::types::CachePriority
• expr_cache::types::CacheTier
• expr_cache::types::SegmentKind
• formatter_adv::types::Annotation
• formatter_adv::types::DeclFormat
• formatter_adv::types::Doc
• formatter_adv::types::FormatPriority
• formatter_adv::types::HighlightKind
• incremental::types::ReparsePriority
• incremental::types::ScopeKind2
• incremental::types::SyntaxKind
• indent_tracker::types::IndentDiff
• indent_tracker::types::IndentMode
• indent_tracker::types::LayoutRule
• indent_tracker::types::LineClass
• indent_tracker::types::TokenSequenceClass
• indent_tracker::types::WhitespaceKind
• lexer::types::CharClass
• lexer::types::LexerMode
• lexer::types::LexerState
• lexer::types::TokenCategory
• macro_parser::types::MacroErrorKind
• macro_parser::types::MacroExpansionResult
• macro_parser::types::MacroExpansionResultExt2
• macro_parser::types::MacroTemplateNodeExt
• macro_parser::types::MacroToken
• macro_parser::types::SyntaxItem
• macro_parser::types::SyntaxKind
• module::types::CycleDetectionResult
• module::types::ExportSpec
• module::types::ImportSpec
• module::types::ResolvedName
• module::types::Visibility
• notation_system::types::Fixity
• notation_system::types::NotationCategory
• notation_system::types::NotationKind
• notation_system::types::NotationPart
• notation_system::types::NotationTokenKind
• parser::types::AnnotationKind
• parser::types::CombResult
• parser::types::Fixity
• parser::types::LookaheadResult
• parser::types::ParseQuality
• parser::types::RecoveryStrategy
• pattern::types::CaseTree
• pattern::types::PatternTagExt
• prettyprint::types::DocNode
• prettyprint::types::ParensMode
• repl_parser::types::CompletionKind
• repl_parser::types::ExtendedReplCommand
• repl_parser::types::ReplCommand
• repl_parser::types::ReplEvent
• repl_parser::types::ReplInputKind
• repl_parser::types::ReplMode
• repl_parser::types::ReplOption
• roundtrip::types::EditRegionKind
• roundtrip::types::RoundTripResult
• sourcemap::types::DiagnosticSeverity
• sourcemap::types::EntryKind
• sourcemap::types::SemanticModifier
• sourcemap::types::SemanticTokenType
• sourcemap::types::SymbolKind
• span_util::types::SpanOrigin
• span_util::types::SpanSeverity
• tactic_parser::types::ConvSide
• tactic_parser::types::TacticExpr
• token::types::BracketKind
• token::types::OperatorArity
• token::types::TokenCategory
• token::types::TokenPattern
• tokens::types::StringPart
• tokens::types::TokenAnnotation
• tokens::types::TokenKind
• tokens::types::TokenRole

Traits

• ast::functions::AstNodeVisitorExt
• ast::functions::AstVisitor
• ast_impl::functions::TreeTransformExt
• error::functions::ParseErrorFactory
• repl_parser::functions::InputFilter
• repl_parser::functions::ReplEventListener

Functions

• ast::functions::collect_free_vars_ext
• ast::functions::flatten_tree_ext
• ast::functions::tree_fingerprint_ext
• ast_impl::functions::any_leaf
• ast_impl::functions::apply_transform_ext
• ast_impl::functions::branching_factor
• ast_impl::functions::collect_all_labels
• ast_impl::functions::collect_all_labels_ext2
• ast_impl::functions::collect_leaves
• ast_impl::functions::collect_leaves_ext2
• ast_impl::functions::collect_stats
• ast_impl::functions::compute_tree_stats
• ast_impl::functions::contains_label
• ast_impl::functions::contains_label_ext2
• ast_impl::functions::count_label_ext
• ast_impl::functions::deep_clone
• ast_impl::functions::deep_clone_ext2
• ast_impl::functions::deserialise_tree_leaf
• ast_impl::functions::follow_path_ext
• ast_impl::functions::map_leaves
• ast_impl::functions::memoised_depth
• ast_impl::functions::parse_attribute_kind
• ast_impl::functions::serialise_tree
• ast_impl::functions::shape_fingerprint
• ast_impl::functions::shape_fingerprint_ext2
• ast_impl::functions::tree_height
• ast_impl::functions::tree_height_ext2
• ast_impl::functions::trees_equal_ext
• count_keyword_occurrences
• diagnostic::functions::all_codes
• diagnostic::functions::code_description
• diagnostic::functions::code_hint
• diagnostic::functions::diagnostic_matches_pattern
• diagnostic::functions::find_sync_token
• diagnostic::functions::skip_to_sync
• diagnostic::functions::suggest_token
• error::functions::dedup_errors
• error::functions::detect_common_mistakes
• error::functions::error_density
• error::functions::error_kind_label
• error::functions::error_summary
• error::functions::errors_only
• error::functions::errors_within_budget
• error::functions::filter_by_severity
• error::functions::format_caret
• error::functions::format_error_at
• error::functions::format_error_json
• error::functions::format_error_table
• error::functions::format_error_unix
• error::functions::sort_errors_by_severity
• error::functions::try_collect
• error::functions::warnings_only
• error::functions::write_error_report
• error_impl::functions::binder_error
• error_impl::functions::byte_offset_to_line_col
• error_impl::functions::classify_error
• error_impl::functions::compact_error_summary
• error_impl::functions::count_by_kind
• error_impl::functions::count_by_severity
• error_impl::functions::dedup_by_message
• error_impl::functions::dedup_errors
• error_impl::functions::duplicate_error
• error_impl::functions::earliest_error
• error_impl::functions::error_col
• error_impl::functions::error_col_ext2
• error_impl::functions::error_contains
• error_impl::functions::error_end
• error_impl::functions::error_fingerprint
• error_impl::functions::error_kind_name
• error_impl::functions::error_line
• error_impl::functions::error_line_ext2
• error_impl::functions::error_source_text
• error_impl::functions::error_start
• error_impl::functions::error_to_json
• error_impl::functions::errors_have_same_message
• error_impl::functions::errors_to_json
• error_impl::functions::expand_span
• error_impl::functions::extract_context
• error_impl::functions::format_annotated_source
• error_impl::functions::format_caret_range
• error_impl::functions::format_expected
• error_impl::functions::format_gnu_errors
• error_impl::functions::is_duplicate_error
• error_impl::functions::is_recoverable
• error_impl::functions::is_syntax_error
• error_impl::functions::latest_error
• error_impl::functions::numbered_error_list
• error_impl::functions::other_error
• error_impl::functions::parse_location
• error_impl::functions::partition_by_line
• error_impl::functions::pattern_error
• error_impl::functions::recovery_hints
• error_impl::functions::render_diagnostics
• error_impl::functions::sort_errors
• error_impl::functions::span_is_empty
• error_impl::functions::span_len
• error_impl::functions::suggest_correction
• error_impl::functions::syntax_error
• error_impl::functions::total_span
• error_impl::functions::truncate_source
• error_impl::functions::underline_span
• error_impl::functions::universe_error
• error_impl::functions::widest_error
• expr_cache::functions::build_cache_key
• expr_cache::functions::classify_cache_entry
• expr_cache::functions::combined_hash
• expr_cache::functions::compute_checksum
• expr_cache::functions::djb2_hash
• expr_cache::functions::estimate_string_memory
• expr_cache::functions::fnv1a_hash
• expr_cache::functions::hash_alpha_equiv
• expr_cache::functions::mix_hashes
• expr_cache::functions::validate_cache_integrity
• formatter_adv::functions::ascii_box
• formatter_adv::functions::box_string
• formatter_adv::functions::braces
• formatter_adv::functions::brackets
• formatter_adv::functions::canonicalise
• formatter_adv::functions::check_canonical
• formatter_adv::functions::count_identifiers
• formatter_adv::functions::count_parens_added
• formatter_adv::functions::double_braces
• formatter_adv::functions::ends_with_single_newline
• formatter_adv::functions::ensure_trailing_newline
• formatter_adv::functions::escape_display
• formatter_adv::functions::escape_for_display
• formatter_adv::functions::expansion_ratio
• formatter_adv::functions::extract_comments
• formatter_adv::functions::fmt_fn_sig
• formatter_adv::functions::fmt_forall
• formatter_adv::functions::fmt_ite
• formatter_adv::functions::fmt_lambda
• formatter_adv::functions::fmt_list
• formatter_adv::functions::fmt_match
• formatter_adv::functions::fmt_record
• formatter_adv::functions::fmt_tuple
• formatter_adv::functions::fmt_type_ann
• formatter_adv::functions::format_bulleted_list
• formatter_adv::functions::format_comma_list
• formatter_adv::functions::format_decl
• formatter_adv::functions::format_dissimilarity
• formatter_adv::functions::format_doc_comment
• formatter_adv::functions::format_expr
• formatter_adv::functions::format_expr_with_config
• formatter_adv::functions::format_file_header
• formatter_adv::functions::format_kv_table
• formatter_adv::functions::format_module
• formatter_adv::functions::format_with_precedence
• formatter_adv::functions::has_consistent_indentation
• formatter_adv::functions::hsep
• formatter_adv::functions::ident
• formatter_adv::functions::intersperse
• formatter_adv::functions::is_simple_expr
• formatter_adv::functions::keyword
• formatter_adv::functions::kv_table
• formatter_adv::functions::line_diff
• formatter_adv::functions::normalise_whitespace
• formatter_adv::functions::numbered_lines
• formatter_adv::functions::operator
• formatter_adv::functions::parens
• formatter_adv::functions::sep_line
• formatter_adv::functions::separator_line
• formatter_adv::functions::simple_expr
• formatter_adv::functions::split_into_sections
• formatter_adv::functions::stabilise
• formatter_adv::functions::strip_comments
• formatter_adv::functions::truncate_ellipsis
• formatter_adv::functions::type_name
• formatter_adv::functions::unescape_display
• formatter_adv::functions::vcat
• formatter_adv::functions::vsep
• formatter_adv::functions::word_wrap2
• incremental::functions::apply_edits
• incremental::functions::compute_dirty_region
• incremental::functions::compute_invalidated_range
• incremental::functions::diff_lines
• incremental::functions::edit_distance
• incremental::functions::line_diff_source
• incremental::functions::merge_reparse_requests
• indent_tracker::functions::classify_sequence
• indent_tracker::functions::common_indent
• indent_tracker::functions::compare_indent
• indent_tracker::functions::compress_spaces_to_tabs
• indent_tracker::functions::compute_indent_changes
• indent_tracker::functions::compute_indent_guides
• indent_tracker::functions::convert_indent_mode
• indent_tracker::functions::dedent
• indent_tracker::functions::detect_indent_mode
• indent_tracker::functions::expand_tabs
• indent_tracker::functions::has_mixed_indentation
• indent_tracker::functions::indent_signature
• indent_tracker::functions::is_continuation_line
• indent_tracker::functions::is_well_formed_indentation
• indent_tracker::functions::map_indent
• indent_tracker::functions::map_to_block_depths
• indent_tracker::functions::normalise_indentation
• indent_tracker::functions::repair_indentation
• indent_tracker::functions::same_indent_structure
• indent_tracker::functions::split_into_indent_blocks
• indent_tracker::functions::split_into_regions
• indent_tracker::functions::traverse_indent_tree
• indent_tracker::functions::visual_width
• indent_tracker::functions::visualise_indent_structure
• is_ident_char
• is_qualified_name
• join_qualified_name
• keywords::is_builtin_type
• keywords::is_tactic_keyword
• lexer::functions::char_frequency
• lexer::functions::compute_token_diff
• lexer::functions::count_char
• lexer::functions::decode_escape
• lexer::functions::decode_string_literal
• lexer::functions::is_lean_keyword
• lexer::functions::is_lean_op_token
• lexer::functions::is_op_cont
• lexer::functions::is_op_start
• lexer::functions::is_reserved_symbol
• lexer::functions::is_reserved_symbol_ext2
• lexer::functions::is_string_char
• lexer::functions::is_valid_lean_ident
• lexer::functions::lex_transition
• lexer::functions::normalize_whitespace_for_lex
• lexer::functions::normalize_whitespace_for_lex_ext2
• lexer::functions::starts_block_comment
• lexer::functions::starts_line_comment
• lexer::functions::tokens_cover_source
• lines_containing
• macro_parser::functions::apply_substitutions
• macro_parser::functions::count_macro_invocations
• macro_parser::functions::expand_template
• macro_parser::functions::expand_template_ext
• macro_parser::functions::match_pattern
• macro_parser::functions::parse_simple_template_ext
• macro_parser::functions::strip_macro_invocations
• macro_parser::functions::substitute
• macro_parser::functions::try_match_rule
• module::functions::are_sibling_modules
• module::functions::is_valid_module_name
• module::functions::leaf_module_name
• module::functions::module_depth
• module::functions::module_fingerprint
• module::functions::module_in_namespace
• module::functions::parent_module
• module::functions::top_namespace
• most_common_word
• normalize_whitespace
• notation_system::functions::all_patterns
• notation_system::functions::compare_prec
• notation_system::functions::count_placeholders
• notation_system::functions::find_conflicts
• notation_system::functions::fixity_to_kind
• notation_system::functions::kind_to_fixity
• notation_system::functions::left_assoc_rules
• notation_system::functions::make_infix
• notation_system::functions::make_postfix
• notation_system::functions::make_prefix
• notation_system::functions::merge_registries
• notation_system::functions::notation_rule_count
• notation_system::functions::parse_notation_pattern
• notation_system::functions::parse_notation_pattern_ext
• notation_system::functions::registry_has_pattern
• notation_system::functions::registry_is_empty
• notation_system::functions::right_assoc_rules
• notation_system::functions::rules_in_prec_range
• notation_system::functions::same_pattern
• notation_system::functions::sorted_patterns
• notation_system::functions::unique_patterns
• notation_system::functions::validate_notation
• parse_decl_str
• parse_expr_str
• parse_file
• parse_source_file
• parser::functions::collect_results
• parser::functions::consume
• parser::functions::consume_ident
• parser::functions::count_until
• parser::functions::find_matching_close
• parser::functions::ident_at
• parser::functions::is_keyword
• parser::functions::is_multi_char_op
• parser::functions::is_operator_start
• parser::functions::is_valid_decl
• parser::functions::is_valid_expr
• parser::functions::is_valid_identifier
• parser::functions::line_col_to_offset
• parser::functions::nesting_depth_at
• parser::functions::offset_to_line_col
• parser::functions::parse_decl
• parser::functions::parse_decls
• parser::functions::parse_expr
• parser::functions::parse_ident
• parser::functions::parse_many0
• parser::functions::parse_many1
• parser::functions::parse_number
• parser::functions::parse_optional
• parser::functions::parse_parens
• parser::functions::parse_sep_by
• parser::functions::parse_string_lit
• parser::functions::peek
• pattern::functions::classify_pattern_ext
• pattern::functions::count_all_vars
• pattern::functions::count_pattern_vars
• pattern::functions::ctor_arity
• pattern::functions::extract_ctor_name
• pattern::functions::is_ctor_pattern
• pattern::functions::is_pair_pattern
• pattern::functions::is_wildcard_pattern
• pattern::functions::normalise_or_pattern
• pattern::functions::pattern_depth
• pattern::functions::pattern_vars
• pattern::functions::same_ctor
• prettyprint::functions::center
• prettyprint::functions::count_lines
• prettyprint::functions::left_pad
• prettyprint::functions::longest_line
• prettyprint::functions::pad_left_char
• prettyprint::functions::pad_right_char
• prettyprint::functions::pretty_expr
• prettyprint::functions::print_decl
• prettyprint::functions::print_decl_with_config
• prettyprint::functions::print_expr
• prettyprint::functions::print_expr_with_config
• prettyprint::functions::print_pattern
• prettyprint::functions::repeat_str
• prettyprint::functions::right_pad
• prettyprint::functions::side_by_side
• prettyprint::functions::truncate_lines
• prettyprint::functions::visible_width
• prettyprint::functions::word_wrap
• prettyprint::functions::wrap_text
• repl_parser::functions::all_option_names
• repl_parser::functions::classify_repl_input
• repl_parser::functions::command_summary
• repl_parser::functions::complete_command
• repl_parser::functions::format_prompt
• repl_parser::functions::help_text
• repl_parser::functions::highlight_keyword
• repl_parser::functions::is_complete
• repl_parser::functions::is_empty_input
• repl_parser::functions::is_incomplete_repl_input
• repl_parser::functions::is_meta_command
• repl_parser::functions::is_safe_command
• repl_parser::functions::is_tactic_block_start
• repl_parser::functions::normalize_input
• repl_parser::functions::parse_bool
• repl_parser::functions::parse_extended_command
• repl_parser::functions::split_meta_command
• repl_parser::functions::suggest_option
• repl_parser::functions::word_count
• rough_ident_set
• rough_token_count
• roundtrip::functions::build_summary
• roundtrip::functions::check_printing_stable
• roundtrip::functions::collapse_whitespace
• roundtrip::functions::config_compare
• roundtrip::functions::count_tokens
• roundtrip::functions::estimate_nesting_depth
• roundtrip::functions::find_edit_regions
• roundtrip::functions::format_distance
• roundtrip::functions::generate_corpus
• roundtrip::functions::grep_lines
• roundtrip::functions::has_balanced_braces
• roundtrip::functions::has_balanced_brackets
• roundtrip::functions::has_balanced_parens
• roundtrip::functions::is_syntactically_valid
• roundtrip::functions::is_well_formed
• roundtrip::functions::levenshtein_distance
• roundtrip::functions::no_consecutive_duplicates
• roundtrip::functions::normalise_for_comparison
• roundtrip::functions::normalised_equal
• roundtrip::functions::print_roundtrip_summary
• roundtrip::functions::produce_roundtrip_report
• roundtrip::functions::reconstruct_from_tokens
• roundtrip::functions::remove_line_comments
• roundtrip::functions::roundtrip_diff
• roundtrip::functions::run_full_roundtrip_suite
• roundtrip::functions::same_non_ws_tokens
• roundtrip::functions::simple_tokenise
• roundtrip::functions::strip_whitespace
• roundtrip::functions::token_alpha_equiv
• roundtrip::functions::token_count_stable
• roundtrip::functions::token_roundtrip_check
• roundtrip::functions::token_stability_check
• roundtrip::functions::tokenise_non_ws
• roundtrip::functions::tokenwise_equal
• roundtrip::functions::trivial_check
• roundtrip::functions::whitespace_mutations
• source_preview
• sourcemap::functions::all_orig_offsets
• sourcemap::functions::count_to_orig
• sourcemap::functions::covers_gen_offset
• sourcemap::functions::diff_mappers
• sourcemap::functions::filter_gen_range
• sourcemap::functions::format_map_entry_json
• sourcemap::functions::is_injective
• sourcemap::functions::is_sorted_ascending
• sourcemap::functions::max_gen_offset
• sourcemap::functions::merge_sorted_maps
• sourcemap::functions::min_gen_offset
• sourcemap::functions::total_mappings
• span_util::functions::build_line_index
• span_util::functions::byte_col_to_utf16
• span_util::functions::coalesce_spans
• span_util::functions::count_chars
• span_util::functions::count_lines
• span_util::functions::dedup_spans
• span_util::functions::dummy_span
• span_util::functions::extract_context_window
• span_util::functions::extract_line
• span_util::functions::extract_span
• span_util::functions::filter_non_overlapping
• span_util::functions::find_span_at
• span_util::functions::format_context_window
• span_util::functions::format_diagnostic
• span_util::functions::highest_priority_at
• span_util::functions::highlight_span
• span_util::functions::is_valid_offset
• span_util::functions::line_col_to_offset
• span_util::functions::merge_spans
• span_util::functions::offset_to_line_col
• span_util::functions::partition_spans_by_region
• span_util::functions::pos_to_span
• span_util::functions::shift_spans
• span_util::functions::sort_spans
• span_util::functions::sort_spans_by_end
• span_util::functions::sort_spans_reverse
• span_util::functions::span_after
• span_util::functions::span_before
• span_util::functions::span_before_other
• span_util::functions::span_caret
• span_util::functions::span_center
• span_util::functions::span_cmp
• span_util::functions::span_contains
• span_util::functions::span_contains_span
• span_util::functions::span_debug_str
• span_util::functions::span_distance
• span_util::functions::span_earlier
• span_util::functions::span_end
• span_util::functions::span_end_col
• span_util::functions::span_eq_range
• span_util::functions::span_extend
• span_util::functions::span_gap
• span_util::functions::span_intersection
• span_util::functions::span_later
• span_util::functions::span_len
• span_util::functions::span_line_count
• span_util::functions::span_precedes
• span_util::functions::span_range
• span_util::functions::span_short
• span_util::functions::span_shrink_left
• span_util::functions::span_shrink_right
• span_util::functions::span_start
• span_util::functions::span_start_offsets
• span_util::functions::span_start_pos
• span_util::functions::span_strictly_contains
• span_util::functions::span_to_diagnostic_string
• span_util::functions::spans_adjacent
• span_util::functions::spans_are_sorted
• span_util::functions::spans_overlap
• span_util::functions::spans_sorted_check
• span_util::functions::split_span
• span_util::functions::total_coverage
• span_util::functions::utf16_col_to_byte
• span_util::functions::zero_span
• split_qualified_name
• strip_namespace_prefix
• token::functions::adjacent_pairs
• token::functions::annotate_tokens
• token::functions::annotate_with_meta
• token::functions::are_adjacent
• token::functions::can_start_decl
• token::functions::can_start_expr
• token::functions::categorise
• token::functions::check_bracket_balance
• token::functions::closing_bracket
• token::functions::closing_for
• token::functions::collect_idents
• token::functions::colorize_token
• token::functions::compute_depths
• token::functions::contains_ident
• token::functions::count_bigrams
• token::functions::count_kind
• token::functions::covering_span
• token::functions::describe_token
• token::functions::enrich_tokens
• token::functions::extract_bracketed
• token::functions::filter_tokens
• token::functions::find_by_category
• token::functions::find_matching_close
• token::functions::has_operator
• token::functions::ident_of
• token::functions::infix_precedence
• token::functions::is_assign
• token::functions::is_colon
• token::functions::is_ident_token
• token::functions::is_infix_op
• token::functions::is_keyword_token
• token::functions::is_right_assoc
• token::functions::longest_run
• token::functions::max_bracket_depth
• token::functions::nat_lit_of
• token::functions::opening_bracket
• token::functions::opening_for
• token::functions::operator_arity
• token::functions::operator_priority
• token::functions::reconstruct_source
• token::functions::reformat
• token::functions::render_colored
• token::functions::serialize_tokens
• token::functions::span_char_count
• token::functions::split_at_kind
• token::functions::starts_with_valid_decl_head
• token::functions::starts_with_valid_expr_head
• token::functions::strip_comments
• token::functions::strip_eof
• token::functions::structurally_equal
• token::functions::token_edit_distance
• token::functions::token_frequencies
• token::functions::token_hash
• token::functions::token_kind_display
• token::functions::token_kind_display_name
• token::functions::token_lcs_length
• token::functions::token_ngrams
• token::functions::type_token_ratio
• token::functions::vocabulary
• token_utils::char_count
• token_utils::escape_string
• token_utils::is_keyword
• token_utils::is_valid_ident
• tokens::functions::classify_role
• tokens::functions::count_tokens
• tokens::functions::extract_ident_names
• tokens::functions::filter_tokens
• tokens::functions::format_token_for_error
• tokens::functions::group_by_line
• tokens::functions::is_arithmetic_op
• tokens::functions::is_arithmetic_op_ext
• tokens::functions::is_balanced
• tokens::functions::is_binder_keyword
• tokens::functions::is_comparison_op
• tokens::functions::is_comparison_op_ext
• tokens::functions::is_control_flow
• tokens::functions::is_decl_keyword
• tokens::functions::is_decl_keyword_ext
• tokens::functions::is_delimiter
• tokens::functions::is_grouping
• tokens::functions::is_keyword
• tokens::functions::is_literal
• tokens::functions::is_logical_op
• tokens::functions::is_logical_op_ext
• tokens::functions::is_reserved
• tokens::functions::is_scope_keyword
• tokens::functions::is_tactic_name
• tokens::functions::is_type_keyword
• tokens::functions::is_universe_keyword
• tokens::functions::matching_delimiter
• tokens::functions::reconstruct_source
• tokens::functions::same_kind
• tokens::functions::span_of_tokens
• tokens::functions::span_on_line
• tokens::functions::spans_matching
• tokens::functions::split_at_depth_zero
• tokens::functions::stream_preview
• tokens::functions::token_kind_name
• tokens::functions::tokens_equal
• tokens::functions::tokens_have_prefix
• tokens::functions::tokens_to_debug_str
• tokens::functions::top_level_positions
• wasm_source_map::functions::annotation_line_range
• wasm_source_map::functions::annotations_for_source
• wasm_source_map::functions::annotations_sorted_by_offset
• wasm_source_map::functions::count_annotations_in_range
• wasm_source_map::functions::decode_mappings
• wasm_source_map::functions::generate_source_map_json
• wasm_source_map::functions::max_wasm_offset
• wasm_source_map::functions::merge_source_maps
• wasm_source_map::functions::min_wasm_offset
• wasm_source_map::functions::offset_to_source_pos
• wasm_source_map::functions::summarize_source_map
• wasm_source_map::functions::to_absolute_mappings
• wasm_source_map::functions::total_annotations
• wasm_source_map::functions::unique_source_indices
• wasm_source_map::functions::validate_vlq_codec
• wasm_source_map::functions::vlq_compression_ratio
• word_frequency
• word_frequency_ext2

Type Aliases

• ParseResult
• ast_impl::functions::TacticRef
• error::functions::ParseResult

Constants

• PARSER_VERSION
• keywords::ALL_KEYWORDS
• keywords::BUILTIN_TYPES
• keywords::TACTIC_KEYWORDS
• lexer::functions::LEAN_RESERVED_SYMBOLS
• lexer::functions::LEAN_RESERVED_SYMBOLS_EXT2
• prec::ADD
• prec::AND
• prec::APP
• prec::ARROW
• prec::CMP
• prec::IFF
• prec::MUL
• prec::OR
• prec::UNARY
• prettyprint::functions::prec::ADD
• prettyprint::functions::prec::AND
• prettyprint::functions::prec::APP
• prettyprint::functions::prec::ARROW
• prettyprint::functions::prec::ATOM
• prettyprint::functions::prec::CMP
• prettyprint::functions::prec::IF
• prettyprint::functions::prec::LAMBDA
• prettyprint::functions::prec::LET
• prettyprint::functions::prec::MUL
• prettyprint::functions::prec::OR
• prettyprint::functions::prec::UNARY
• roundtrip::functions::GOLDEN_NAT_ZERO
• roundtrip::functions::GOLDEN_SIMPLE_ARROW
• token::functions::ansi::BLUE
• token::functions::ansi::BOLD
• token::functions::ansi::BOLD_BLUE
• token::functions::ansi::BOLD_CYAN
• token::functions::ansi::BOLD_GREEN
• token::functions::ansi::CYAN
• token::functions::ansi::GREEN
• token::functions::ansi::MAGENTA
• token::functions::ansi::RED
• token::functions::ansi::RESET
• token::functions::ansi::YELLOW
• tokens::functions::KEYWORDS