pipecircuit 0.0.15

Correct. Robust. Fast. Portable.
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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145

pub use crate::{TransportFrom, TransportTo};

use crate::{CircuitDraft, Participant, StateMachine, StepInputOf};

mod private {
    use super::{Participant, StateMachine, StepInputOf};

    pub(super) trait StepLaw<'message> {}

    impl<'message, Machine> StepLaw<'message> for Machine
    where
        Machine: StateMachine + Participant,
        Machine::In<'message>: StepInputOf<Machine, Outcome = Machine::Out<'message>>,
    {
    }
}

#[doc(hidden)]
#[allow(private_bounds)]
pub trait StepsParticipantInputToOutput<'message>:
    StateMachine + Participant + private::StepLaw<'message>
{
    #[must_use = "participant step outcomes must be routed or settled"]
    #[doc(hidden)]
    fn step_boundary(&mut self, input: Self::In<'message>) -> Self::Out<'message>;
}

impl<'message, Machine> StepsParticipantInputToOutput<'message> for Machine
where
    Machine: StateMachine + Participant,
    Machine::In<'message>: StepInputOf<Machine, Outcome = Machine::Out<'message>>,
{
    #[inline]
    fn step_boundary(&mut self, input: Self::In<'message>) -> Self::Out<'message> {
        input.step(self)
    }
}

pub struct Inline<Machine> {
    destination: Machine,
}

impl<Machine> Inline<Machine> {
    #[inline]
    pub const fn new(destination: Machine) -> Self {
        Self { destination }
    }

    #[inline]
    pub const fn destination(&self) -> &Machine {
        &self.destination
    }

    #[inline]
    pub fn into_destination(self) -> Machine {
        self.destination
    }
}

impl<Machine> TransportTo<Machine> for Inline<Machine>
where
    Machine: for<'message> StepsParticipantInputToOutput<'message>,
{
    type Outcome<'transport, 'message>
        = Machine::Out<'message>
    where
        Self: 'transport;

    #[inline]
    fn send<'transport, 'message>(
        &'transport mut self,
        input: Machine::In<'message>,
    ) -> Self::Outcome<'transport, 'message> {
        self.destination.step_boundary(input)
    }
}

pub struct InlineCircuitDraft<InstalledCircuit> {
    destination: InstalledCircuit,
}

impl<InstalledCircuit> InlineCircuitDraft<InstalledCircuit> {
    #[inline(always)]
    pub const fn new(destination: InstalledCircuit) -> Self {
        Self { destination }
    }

    #[inline(always)]
    pub const fn destination(&self) -> &InstalledCircuit {
        &self.destination
    }

    #[inline(always)]
    pub fn into_destination(self) -> InstalledCircuit {
        self.destination
    }
}

impl<InstalledCircuit: CircuitDraft> TransportTo<InstalledCircuit>
    for InlineCircuitDraft<InstalledCircuit>
{
    type Outcome<'transport, 'message>
        = InstalledCircuit::Out<'message>
    where
        Self: 'transport;

    #[inline(always)]
    fn send<'transport, 'message>(
        &'transport mut self,
        input: InstalledCircuit::In<'message>,
    ) -> Self::Outcome<'transport, 'message> {
        self.destination.turn(input)
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    struct Counter(u8);

    impl StateMachine for Counter {}

    struct Add(u8);

    impl Participant for Counter {
        type In<'message> = Add;
        type Out<'message> = u8;
    }

    impl StepInputOf<Counter> for Add {
        type Outcome = u8;

        fn step(self, counter: &mut Counter) -> Self::Outcome {
            counter.0 = counter.0.saturating_add(self.0);
            counter.0
        }
    }

    #[test]
    fn inline_transport_completes_the_precise_step() {
        let mut transport = Inline::new(Counter(3));
        assert_eq!(TransportTo::<Counter>::send(&mut transport, Add(4)), 7);
        assert_eq!(transport.into_destination().0, 7);
    }
}