elba 0.3.0

elba is a package manager for Idris
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! Because nothing ever works correctly...

pub use failure::Error;
use failure_derive::Fail;

pub type Res<T> = Result<T, Error>;

// TODO: More principled error handling.
// This big enum shouldn't exist; instead, we should have individual structs and enums which
// implement Fail for each type of error: Index failures, Parsing failures, etc.
#[derive(Copy, Clone, Eq, PartialEq, Debug, Fail)]
pub enum ErrorKind {
    #[fail(display = "invalid source resolution specifier")]
    InvalidSourceUrl,
    #[fail(display = "package doesn't exist in index")]
    PackageNotFound,
    #[fail(display = "conflict resolution failure")]
    NoConflictRes,
    #[fail(display = "could not download package")]
    CannotDownload,
    #[doc(hidden)]
    #[fail(display = "if you see this error, everything is wrong")]
    __Nonexhaustive,
}