pipecircuit-cli 0.0.6

Command-line architectural tools for Pipecircuit programs
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

use pipecircuit::{StateMachine, StepInputOf};

use crate::domain_primitives::Activation;

#[derive(Default)]
pub struct Latch {
    active: bool,
}

#[cfg_attr(feature = "wire", derive(serde::Serialize, serde::Deserialize))]
#[cfg_attr(
    all(feature = "typescript-generation", not(target_arch = "wasm32")),
    derive(postcard_bindgen::PostcardBindings)
)]
#[derive(Debug)]
pub struct Activate;

impl StateMachine for Latch {}

impl StepInputOf<Latch> for Activate {
    type Outcome = Activation;

    fn step(self, latch: &mut Latch) -> Activation {
        if latch.active {
            Activation::AlreadyActive
        } else {
            latch.active = true;
            Activation::Activated
        }
    }
}

#[cfg(test)]
mod architecture;
#[cfg(test)]
mod behavior;
#[cfg(test)]
mod tests;