elba
0.3.3

Usage

  • Quick Start
  • Binaries and Tests
  • Installing a Package
  • Custom Subcommands
  • Publishing Packages

Reference

  • Configuration
  • Resolutions
  • The Manifest
  • Indices
  • Registries
  • Dependencies
  • The Global Cache
elba
  • Docs »
  • The elba Guide
  • Edit on GitHub

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
Next

© Copyright 2019, David Cao Revision cb10e378.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: 0.3.3
Versions
latest
stable
0.3.3
0.3.2
0.3.1
0.3.0
0.2.0
Downloads
On Read the Docs
Project Home
Builds

Free document hosting provided by Read the Docs.