The elba Guide

elba is a package manager for the Idris programming language. This book aims to be a mostly comprehensive guide on actually using it.

Usage

• Quick Start
  • Installation
  • Creating a package
  • Adding dependencies
  • Targets
  • Building a package
• Binaries and Tests
  • Terminology
  • Resolution Rules
  • Source & Target Paths
  • In Practice
• Installing a Package
  • Installing a local package
  • Installing a package from an index
  • Uninstalling a package
• Custom Subcommands
• Publishing Packages
  • Logging in
  • Packaging/archiving
  • Uploading a package
  • Yanking: for when things go wrong

Reference

• Configuration
  • Config Format
• Resolutions
  • Syntax
• The Manifest
  • [package]
  • [dependencies] and [dev_dependencies]
  • [targets]
  • [scripts]
  • [workspace]
  • An aside: the lockfile
• Indices
  • Index Resolutions
  • index.toml
  • Metadata structure
  • Index Retrieval Semantics
• Registries
  • API v1 Endpoints
• Dependencies
  • Versions
  • Dependency Resolution
• The Global Cache
  • Installed binaries
  • Folder structure
  • Cleaning the cache

Indices and tables

• Index
• Module Index
• Search Page