List of all items
Structs
- BuiltLeanCapability
- CargoLeanCapability
- DiscoverOptions
- GeneratedSourceFile
- LeanBuiltCapability
- LeanExportArgAbi
- LeanExportReturnAbi
- LeanExportSignature
- LeanLakeProjectModules
- LeanLibraryDependency
- LeanLoaderCheck
- LeanLoaderReport
- LeanModuleDescriptor
- LeanModuleDiscoveryOptions
- LeanModuleInitializer
- LeanModuleSetFingerprint
- MaterializedSourcePackage
- SourcePackageMaterializationRequest
- SourcePackageProvenance
- SupportedToolchain
- ToolchainFingerprint
- ToolchainInfo
- manifest_validation::CapabilityManifest
Enums
- BuiltCapabilityArtifact
- DiscoverySource
- LeanBuiltCapabilityError
- LeanExportAbiRepr
- LeanExportOwnership
- LeanExportResultConvention
- LeanExportSymbolKind
- LeanLoaderDiagnosticCode
- LeanLoaderSeverity
- LeanModuleDiscoveryDiagnostic
- LinkDiagnostics
- SourcePackageError
- SourcePackageManifestPolicy
Functions
- bound_loader_text
- build_lake_target
- build_lake_target_quiet
- capability_env_var
- capability_manifest_env_var
- discover_lake_modules
- discover_toolchain
- emit_lean_link_directives
- emit_lean_link_directives_checked
- manifest_validation::check_fingerprint
- manifest_validation::check_staleness
- manifest_validation::check_static
- materialize_source_package
- required_symbols
- supported_by_digest
- supported_for
Constants
- CAPABILITY_MANIFEST_SCHEMA_VERSION
- HOST_TRIPLE
- LAKE_FIXTURE_DIGEST
- LEAN_DIAGNOSTIC_BYTE_LIMIT_DEFAULT
- LEAN_DIAGNOSTIC_BYTE_LIMIT_MAX
- LEAN_HEADER_DIGEST
- LEAN_HEADER_PATH
- LEAN_HEARTBEAT_LIMIT_DEFAULT
- LEAN_HEARTBEAT_LIMIT_MAX
- LEAN_RESOLVED_VERSION
- LEAN_VERSION
- LOADER_DIAGNOSTIC_TEXT_LIMIT
- SUPPORTED_TOOLCHAINS
- VERSION