disyn-core 0.1.0

Domain types, port traits, and errors for the disyn agent pipeline
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
27

use thiserror::Error;

#[derive(Debug, Error)]
pub enum Error {
    #[error("inference failed: {0}")]
    Inference(String),

    #[error("verification failed: {violations} violations")]
    Verification { violations: usize },

    #[error("repair exhausted after {attempts} attempts")]
    RepairExhausted { attempts: u32 },

    #[error("budget exceeded: {0}")]
    BudgetExceeded(String),

    #[error("memory store: {0}")]
    Memory(String),

    #[error("execution failed: {0}")]
    Execution(String),

    #[error("{0}")]
    Other(String),
}

pub type Result<T> = std::result::Result<T, Error>;