peace_rt_model 0.0.15

Runtime data types for the peace automation framework.
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112

use std::fmt::{Debug, Display};

use peace_cfg::ApplyCheck;
use peace_resource_rt::type_reg::untagged::{BoxDtDisplay, DataType};
use serde::{de::DeserializeOwned, Deserialize, Serialize};

use crate::outcomes::{ItemApplyPartial, ItemApplyRt};

/// Information about an item during an `ApplyCmd` execution.
///
/// This is similar to [`ItemApplyPartial`], with most fields being
/// non-optional, and the added `state_applied` field.
#[derive(Clone, Debug, PartialEq, Deserialize, Serialize)]
pub struct ItemApply<State, StateDiff> {
    /// Current state stored on disk before the execution.
    pub state_current_stored: Option<State>,
    /// Current state discovered during the execution.
    pub state_current: State,
    /// Target state discovered during the execution.
    pub state_target: State,
    /// Diff between current and goal states.
    pub state_diff: StateDiff,
    /// Whether item execution was required.
    pub apply_check: ApplyCheck,
    /// The state that was applyd, `None` if execution was not required.
    pub state_applied: Option<State>,
}

impl<State, StateDiff> TryFrom<(ItemApplyPartial<State, StateDiff>, Option<State>)>
    for ItemApply<State, StateDiff>
{
    type Error = (ItemApplyPartial<State, StateDiff>, Option<State>);

    fn try_from(
        (partial, state_applied): (ItemApplyPartial<State, StateDiff>, Option<State>),
    ) -> Result<Self, Self::Error> {
        let ItemApplyPartial {
            state_current_stored,
            state_current,
            state_target,
            state_diff,
            apply_check,
        } = partial;

        if state_current.is_some()
            && state_target.is_some()
            && state_diff.is_some()
            && apply_check.is_some()
        {
            let (Some(state_current), Some(state_target), Some(state_diff), Some(apply_check)) =
                (state_current, state_target, state_diff, apply_check)
            else {
                unreachable!("All are checked to be `Some` above.");
            };
            Ok(Self {
                state_current_stored,
                state_current,
                state_target,
                state_diff,
                apply_check,
                state_applied,
            })
        } else {
            let partial = ItemApplyPartial {
                state_current_stored,
                state_current,
                state_target,
                state_diff,
                apply_check,
            };
            Err((partial, state_applied))
        }
    }
}

impl<State, StateDiff> ItemApplyRt for ItemApply<State, StateDiff>
where
    State: Clone + Debug + Display + Serialize + DeserializeOwned + Send + Sync + 'static,
    StateDiff: Clone + Debug + Display + Serialize + DeserializeOwned + Send + Sync + 'static,
{
    fn state_current_stored(&self) -> Option<BoxDtDisplay> {
        self.state_current_stored.clone().map(BoxDtDisplay::new)
    }

    fn state_current(&self) -> BoxDtDisplay {
        BoxDtDisplay::new(self.state_current.clone())
    }

    fn state_target(&self) -> BoxDtDisplay {
        BoxDtDisplay::new(self.state_target.clone())
    }

    fn state_diff(&self) -> BoxDtDisplay {
        BoxDtDisplay::new(self.state_diff.clone())
    }

    fn apply_check(&self) -> ApplyCheck {
        self.apply_check
    }

    fn state_applied(&self) -> Option<BoxDtDisplay> {
        self.state_applied.clone().map(BoxDtDisplay::new)
    }

    fn as_data_type(&self) -> &dyn DataType {
        self
    }

    fn as_data_type_mut(&mut self) -> &mut dyn DataType {
        self
    }
}