List of all items
Structs
- dag_id::DagId
- hir::expr::Expr
- hir::expr::ExprDependencies
- hir::expr::ExprLoweringContext
- hir::expr::FieldInit
- hir::expr::ForBinding
- hir::expr::IndexVariantRef
- hir::expr::LocalDef
- hir::expr::LocalEnv
- hir::expr::LocalId
- hir::expr::MapEntry
- hir::expr::MatchArm
- hir::expr::ParamBinding
- hir::lower::GenericParamBinding
- hir::lower::GenericScope
- hir::lower::PreludeTypeScope
- hir::lower::TypeLoweringContext
- hir::types::DimExpr
- hir::types::DimExprItem
- hir::types::DimTermRef
- hir::types::GenericParamDef
- hir::types::GenericParamId
- hir::types::TypeExpr
- ir::lower::AssertEntry
- ir::lower::BodySource
- ir::lower::ConstEntry
- ir::lower::DagBodySelfImports
- ir::lower::FigureEntry
- ir::lower::IR
- ir::lower::ImportedValueSource
- ir::lower::IncludedPlotEntry
- ir::lower::LayerEntry
- ir::lower::LoweredPlotBody
- ir::lower::LoweredPlotField
- ir::lower::NodeEntry
- ir::lower::ParamEntry
- ir::lower::PlotEntry
- ir::lower::RequestedPlot
- ir::lower::SelectedDeclarations
- ir::lower::UnfrozenAssertEntry
- ir::lower::UnfrozenConstEntry
- ir::lower::UnfrozenFigureEntry
- ir::lower::UnfrozenIR
- ir::lower::UnfrozenLayerEntry
- ir::lower::UnfrozenNodeEntry
- ir::lower::UnfrozenParamEntry
- ir::lower::UnfrozenPlotEntry
- registry::builtins::BuiltinFunction
- registry::builtins::DimSignature
- registry::builtins::ParamSig
- registry::declared_type::TypeNameRef
- registry::manifest::Manifest
- registry::resolve_types::ImportedValueNames
- registry::resolve_types::ResolvedAssertEntry
- registry::resolve_types::ResolvedConstEntry
- registry::resolve_types::ResolvedFigureEntry
- registry::resolve_types::ResolvedFile
- registry::resolve_types::ResolvedLayerEntry
- registry::resolve_types::ResolvedNodeEntry
- registry::resolve_types::ResolvedParamEntry
- registry::resolve_types::ResolvedPlotEntry
- registry::runtime_value::RuntimeValueError
- registry::time_scale::ParseTimeScaleError
- registry::types::DagRegistry
- registry::types::DimensionRegistry
- registry::types::IndexDef
- registry::types::IndexRegistry
- registry::types::NatRangeIndex
- registry::types::PositiveFiniteScale
- registry::types::RangeIndexData
- registry::types::Registry
- registry::types::RegistryBuilder
- registry::types::StructField
- registry::types::TypeDef
- registry::types::TypeGenericParam
- registry::types::TypeRegistry
- registry::types::UnionMemberDef
- registry::types::UnitInfo
- registry::types::UnitRegistry
- syntax::ast::AssertDecl
- syntax::ast::Attribute
- syntax::ast::BaseDimDecl
- syntax::ast::ConstNodeDecl
- syntax::ast::DagDecl
- syntax::ast::Declaration
- syntax::ast::DimDecl
- syntax::ast::DimExpr
- syntax::ast::DimExprItem
- syntax::ast::DimTerm
- syntax::ast::DomainBound
- syntax::ast::Encoding
- syntax::ast::Expr
- syntax::ast::FieldDecl
- syntax::ast::FieldInit
- syntax::ast::FigureDecl
- syntax::ast::File
- syntax::ast::ForBinding
- syntax::ast::GenericParam
- syntax::ast::Ident
- syntax::ast::IdentPath
- syntax::ast::ImportDecl
- syntax::ast::ImportItem
- syntax::ast::IncludeDecl
- syntax::ast::IndexDecl
- syntax::ast::LayerDecl
- syntax::ast::MapEntry
- syntax::ast::MapEntryKey
- syntax::ast::MarkSpec
- syntax::ast::MatchArm
- syntax::ast::ModulePath
- syntax::ast::MultiDataRow
- syntax::ast::MultiDecl
- syntax::ast::MultiDeclSharedAxes
- syntax::ast::MultiDeclSlice
- syntax::ast::MultiDeclSlot
- syntax::ast::NodeDecl
- syntax::ast::ParamBinding
- syntax::ast::ParamDecl
- syntax::ast::PlotDecl
- syntax::ast::PlotField
- syntax::ast::TypeDecl
- syntax::ast::TypeExpr
- syntax::ast::UnionMember
- syntax::ast::UnitDecl
- syntax::ast::UnitDef
- syntax::ast::UnitExpr
- syntax::ast::UnitExprItem
- syntax::attribute::UnknownAttributeName
- syntax::comments::BlankLine
- syntax::comments::Comment
- syntax::comments::SourceMetadata
- syntax::dimension::Dimension
- syntax::dimension::DimensionDisplay
- syntax::dimension::Rational
- syntax::lexer::Lexer
- syntax::module_resolve::ImportedSymbol
- syntax::module_resolve::ModuleAliasTarget
- syntax::module_resolve::ModuleDeclSymbol
- syntax::module_resolve::ModuleIndexSymbol
- syntax::module_resolve::ModuleResolver
- syntax::module_resolve::ModuleScope
- syntax::module_resolve::ModuleSymbol
- syntax::module_resolve::ModuleSymbols
- syntax::names::NameAtom
- syntax::names::NameDef
- syntax::names::NamePath
- syntax::names::QualifiedIndexVariantName
- syntax::names::ResolvedIndexVariant
- syntax::names::ResolvedName
- syntax::names::ScopedName
- syntax::names::TimeScaleName
- syntax::names::UnitRef
- syntax::nat::NatOverflowError
- syntax::nat::NatPolyForm
- syntax::non_empty::EmptyVecError
- syntax::non_empty::NonEmpty
- syntax::parser::Parser
- syntax::span::Span
- syntax::span::Spanned
- tir::dim_check::InferredIndex
- tir::dim_check::InferredStructType
- tir::typed::DagSemanticBody
- tir::typed::DagTIR
- tir::typed::ModuleConstructorDef
- tir::typed::ModuleTypeContext
- tir::typed::ModuleTypeRegistry
- tir::typed::NatRangeIndexIdentity
- tir::typed::ResolvedCollectionRefs
- tir::typed::ResolvedConstructorRefs
- tir::typed::ResolvedConstructorTarget
- tir::typed::ResolvedDagDependencies
- tir::typed::ResolvedDomainBound
- tir::typed::ResolvedDomainConstraint
- tir::typed::ResolvedExpressions
- tir::typed::ResolvedInlineDagCall
- tir::typed::ResolvedInlineDagRefs
- tir::typed::ResolvedPlotExprs
- tir::typed::ResolvedStructFieldTypeKey
- tir::typed::ResolvedTypeDefs
- tir::typed::StructFieldConstraintKey
- tir::typed::TIR
Enums
- dag_id::DagIdPathError
- hir::expr::AssertBody
- hir::expr::BuiltinConst
- hir::expr::BuiltinFnName
- hir::expr::ConstRef
- hir::expr::ExprKind
- hir::expr::ExprLowerError
- hir::expr::ForBindingIndex
- hir::expr::FunctionRef
- hir::expr::GenericArg
- hir::expr::IndexArg
- hir::expr::MapEntryKey
- hir::expr::MatchPattern
- hir::expr::PatternBinding
- hir::expr::TypeSystemRef
- hir::lower::HirLowerError
- hir::types::BuiltinType
- hir::types::DimTermTarget
- hir::types::GenericParamOwner
- hir::types::IndexRef
- hir::types::NatExpr
- hir::types::TypeExprKind
- registry::builtins::ParamDim
- registry::builtins::ResultDim
- registry::declared_type::DeclaredType
- registry::declared_type::IndexTypeRef
- registry::declared_type::NatRangeIndexRef
- registry::error::GraphcalError
- registry::manifest::ManifestError
- registry::resolve_types::AggregationFn
- registry::resolve_types::ConstructorFn
- registry::resolve_types::DatetimeExtractFn
- registry::resolve_types::DatetimeFromFn
- registry::resolve_types::DatetimeToFn
- registry::resolve_types::DeclCategory
- registry::resolve_types::ExpectedFail
- registry::resolve_types::ExpectedFailKeyPart
- registry::resolve_types::SpecialFnKind
- registry::resolve_types::TypeConversionFn
- registry::runtime_value::RuntimeValue
- registry::runtime_value::RuntimeValueKind
- registry::time_scale::TimeScale
- registry::types::IndexKind
- registry::types::NatRangeIndexError
- registry::types::PositiveFiniteScaleError
- registry::types::TypeDefKind
- registry::types::TypeGenericConstraint
- registry::types::UnitResolveError
- registry::types::UnitScale
- syntax::ast::AssertBody
- syntax::ast::AttributeArg
- syntax::ast::BinOp
- syntax::ast::BindableVisibility
- syntax::ast::CompositionProperty
- syntax::ast::DeclKind
- syntax::ast::DomainBoundKind
- syntax::ast::EncodingChannel
- syntax::ast::ExprKind
- syntax::ast::ForBindingIndex
- syntax::ast::GenericArg
- syntax::ast::GenericConstraint
- syntax::ast::ImportItemNamespace
- syntax::ast::ImportKind
- syntax::ast::IndexArg
- syntax::ast::IndexDeclKind
- syntax::ast::IndexExpr
- syntax::ast::MapEntryIndex
- syntax::ast::MarkProperty
- syntax::ast::MarkType
- syntax::ast::MatchPattern
- syntax::ast::MulDivOp
- syntax::ast::MultiHeaderCell
- syntax::ast::MultiSlotAxis
- syntax::ast::MultiSlotColumnSpan
- syntax::ast::MultiSlotKind
- syntax::ast::NatExpr
- syntax::ast::PatternBinding
- syntax::ast::PlotProperty
- syntax::ast::PlotPropertyType
- syntax::ast::RawDeclSugar
- syntax::ast::RawExprSugar
- syntax::ast::TableIndexSpec
- syntax::ast::TypeDeclBody
- syntax::ast::TypeExprKind
- syntax::ast::UnaryOp
- syntax::ast::UnitConstness
- syntax::ast::UnresolvedRef
- syntax::ast::Visibility
- syntax::attribute::AttributeName
- syntax::desugar::ExpandedSlotDecl
- syntax::dimension::BaseDimId
- syntax::dimension::RationalError
- syntax::module_resolve::DeclSymbolKind
- syntax::module_resolve::ModuleAccess
- syntax::module_resolve::ModuleResolveError
- syntax::module_resolve::SurfaceNameKind
- syntax::module_resolve::SymbolVisibility
- syntax::names::NameAtomError
- syntax::names::namespace::Constructor
- syntax::names::namespace::Decl
- syntax::names::namespace::Dim
- syntax::names::namespace::DimVar
- syntax::names::namespace::Field
- syntax::names::namespace::Fn
- syntax::names::namespace::GenericParam
- syntax::names::namespace::Index
- syntax::names::namespace::IndexVariant
- syntax::names::namespace::Local
- syntax::names::namespace::ModuleAlias
- syntax::names::namespace::PlotProperty
- syntax::names::namespace::StructType
- syntax::names::namespace::Unit
- syntax::parser::ParseError
- syntax::phase::Desugared
- syntax::phase::Raw
- syntax::token::Token
- tir::dim_check::InferredType
- tir::typed::ResolvedDimTerm
- tir::typed::ResolvedIndex
- tir::typed::ResolvedTypeExpr
Traits
- desugar::DesugarSugar
- syntax::ast::FormatEquivalent
- syntax::names::NameNamespace
- syntax::phase::Phase
- syntax::visitor::ExprVisitorMut
Functions
- hir::expr::collect_expr_dependencies
- hir::expr::has_ref_outside_unfold
- hir::expr::lower_assert_body
- hir::expr::lower_assert_body_tolerant
- hir::expr::lower_expr
- hir::expr::lower_expr_tolerant
- hir::lower::lower_generic_params
- hir::lower::lower_nat_expr
- hir::lower::lower_type_expr
- ir::lower::lower
- ir::lower::lower_dag_body_to_ir
- ir::lower::lower_dag_module_to_builder_with_imported_value_decls
- ir::lower::lower_to_builder_with_imported_value_decls
- ir::lower::lower_to_builder_with_imported_values
- ir::lower::register_selected_declarations
- ir::lower::substitute_type_expr_index_names
- ir::lower::substitute_type_expr_nominal_names
- ir::resolve::collect_graph_ref_names
- ir::resolve::collect_graph_refs
- ir::resolve::contains_graph_ref
- ir::resolve::resolve
- registry::builtins::builtin_constants
- registry::builtins::builtin_functions
- registry::format::format_exponent
- registry::format::format_number
- registry::format::format_unit_expr
- registry::format::format_unit_expr_canonical
- registry::format::format_unit_expr_with_config
- registry::manifest::parse_manifest
- registry::manifest::parse_manifest_str
- registry::prelude::prelude_dag_id
- registry::resolve_types::classify_special_fn
- registry::resolve_types::is_aggregation_fn
- registry::resolve_types::is_time_scale_name
- registry::time_scale::time_scale_from_conversion_fn
- registry::types::pow_scale
- stack::with_stack_growth
- syntax::desugar::desugar_multi_decls_in_file
- syntax::desugar::expand_multi_decl
- syntax::desugar::unreachable_post_desugar
- syntax::named_source
- syntax::phase::never
- tir::dim_check::check_dimensions_tir
- tir::dim_check::check_override_dimension
- tir::typed::nat_overflow_error
- tir::typed::normalize_nat_expr
- tir::typed::resolve_hir_type_expr
- tir::typed::resolve_type_expr
- tir::typed::resolve_type_expr_with_modules
- tir::typed::resolved_to_declared_type
- tir::typed::substitute_resolved_type
- tir::typed::substitute_resolved_type_with_types
- tir::typed::type_resolve_single_with_modules
- tir::typed::type_resolve_with_modules
- tir::typed::unify_resolved_type
Type Aliases
- desugar::desugared_ast::AssertBody
- desugar::desugared_ast::AssertDecl
- desugar::desugared_ast::ConstNodeDecl
- desugar::desugared_ast::DagDecl
- desugar::desugared_ast::DeclKind
- desugar::desugared_ast::Declaration
- desugar::desugared_ast::DimDecl
- desugar::desugared_ast::DimExpr
- desugar::desugared_ast::DimExprItem
- desugar::desugared_ast::DimTerm
- desugar::desugared_ast::DomainBound
- desugar::desugared_ast::Encoding
- desugar::desugared_ast::Expr
- desugar::desugared_ast::ExprKind
- desugar::desugared_ast::FieldDecl
- desugar::desugared_ast::FieldInit
- desugar::desugared_ast::FigureDecl
- desugar::desugared_ast::File
- desugar::desugared_ast::GenericArg
- desugar::desugared_ast::GenericParam
- desugar::desugared_ast::IncludeDecl
- desugar::desugared_ast::IndexArg
- desugar::desugared_ast::IndexDecl
- desugar::desugared_ast::IndexDeclKind
- desugar::desugared_ast::IndexExpr
- desugar::desugared_ast::LayerDecl
- desugar::desugared_ast::MapEntry
- desugar::desugared_ast::MarkSpec
- desugar::desugared_ast::MatchArm
- desugar::desugared_ast::NodeDecl
- desugar::desugared_ast::ParamBinding
- desugar::desugared_ast::ParamDecl
- desugar::desugared_ast::PlotDecl
- desugar::desugared_ast::PlotField
- desugar::desugared_ast::TypeDecl
- desugar::desugared_ast::TypeDeclBody
- desugar::desugared_ast::TypeExpr
- desugar::desugared_ast::TypeExprKind
- desugar::desugared_ast::UnionMember
- desugar::desugared_ast::UnitDecl
- desugar::desugared_ast::UnitDef
- ir::lower::RegistrySeed
- registry::declared_type::StructTypeRef
- registry::resolve_types::ExpectedFailKey
- syntax::comments::SpannedComment
- syntax::names::ConstructorName
- syntax::names::DeclName
- syntax::names::DimName
- syntax::names::DimVarName
- syntax::names::FieldName
- syntax::names::FnName
- syntax::names::GenericParamName
- syntax::names::IndexName
- syntax::names::IndexVariantName
- syntax::names::LocalName
- syntax::names::ModuleAliasName
- syntax::names::PlotPropertyName
- syntax::names::StructTypeName
- syntax::names::UnitName
- syntax::nat::NatLinearForm
- tir::typed::DagRegistry