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
25
26

use super::get;
use clap::{App, Arg, ArgMatches, SubCommand};
use elba::{
    cli::registry,
    util::{config::Config, errors::Res},
};

pub fn cli() -> App<'static, 'static> {
    SubCommand::with_name("search")
        .about("Searches for a package in a registry")
        .arg(
            Arg::with_name("query")
                .takes_value(true)
                .required(true)
                .help("The search query."),
        )
}

pub fn exec(c: &mut Config, args: &ArgMatches) -> Res<String> {
    let query = args.value_of("query").unwrap();
    let bcx = get::build_ctx(c, args);

    println!("{}", registry::search(&bcx, &query)?);

    Ok("search complete".to_string())
}