List of all items

Structs

• install::LemmaDepsScan
• install::ReqwestTransport
• workspace::CliWorkspaceFiles
• workspace::DiscoveredPaths
• workspace::WatchGuard

Enums

• install::InstallError
• install::InstallOutcome
• workspace::WorkspaceDiskError

Functions

• deps::dependency_cache_file
• deps::dependency_identifier_from_dependency_path
• deps::lemma_deps_dir
• deps::relative_dependency_cache_path
• install::atomic_write
• install::block_on_registry
• install::install_registry_dependency
• install::persist_registry_dependency
• install::rename_tmp
• install::scan_lemma_deps
• install::write_tmp
• workspace::discover_lemma_paths
• workspace::load_workspace
• workspace::load_workspace_excluding
• workspace::read_disk_lemma_files
• workspace::refresh_workspace_via_update
• workspace::watch_lemma_workspace
• workspace::workspace_path_label

Constants

• deps::LEMMA_DEPS_DIR_NAME