id_effect 0.4.0

Effect<A, E, R> (sync + async), capability DI, pipe — interpreter-style, no bundled executor
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
28
29
30
31
32
33
34
35
36
37
38
39
40

//! Proptest invariants for [`CapabilityGraph`] planning.

use id_effect::CapabilityPlannerError;
use id_effect::{PlannerNode, plan_topological};
use proptest::prelude::*;

proptest! {
  #[test]
  fn acyclic_plans_have_unique_order(nodes in prop::collection::vec((0u8..5u8, 0u8..5u8), 1..8)) {
    let mut caps = std::collections::BTreeSet::new();
    let planner_nodes: Vec<PlannerNode> = nodes
      .iter()
      .enumerate()
      .map(|(i, (req, prov))| {
        let id = format!("p{i}");
        let provides = format!("cap{prov}");
        caps.insert(prov);
        let requires = if caps.contains(req) && *req != *prov {
          vec![format!("cap{req}")]
        } else {
          vec![]
        };
        PlannerNode::new(id, requires, provides)
      })
      .collect();
    match plan_topological(&planner_nodes) {
      Ok(plan) => {
        let mut seen = std::collections::BTreeSet::new();
        for id in &plan.build_order {
          prop_assert!(seen.insert(id.clone()));
        }
        prop_assert_eq!(plan.build_order.len(), planner_nodes.len());
      }
      Err(CapabilityPlannerError::CycleDetected { .. })
      | Err(CapabilityPlannerError::MissingProvider { .. })
      | Err(CapabilityPlannerError::ConflictingProvider { .. })
      | Err(CapabilityPlannerError::DuplicateProviderId { .. }) => {}
    }
  }
}