resolvo 0.10.2

Fast package resolver written in Rust (CDCL based SAT solving)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use super::Spec;
use chumsky::{Parser, error};
use resolvo::LogicalOperator;

#[derive(Debug, Clone)]
pub struct ConditionalSpec {
    pub condition: Option<SpecCondition>,
    pub specs: Vec<Spec>,
}

impl ConditionalSpec {
    pub fn from_str(s: &str) -> Result<Self, Vec<error::Simple<'_, char>>> {
        super::parser::conditional_spec().parse(s).into_result()
    }
}

#[derive(Debug, Clone, Eq, PartialEq, Hash)]
pub enum SpecCondition {
    Binary(LogicalOperator, Box<[SpecCondition; 2]>),
    Requirement(Spec),
}