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

#[cfg(feature = "storage")]
mod ledger;

use core::marker::PhantomData;

use crate::{Participant, WakeAfter};

#[cfg(feature = "storage")]
pub use ledger::{
    DelayAdmission, DelayAdmissionOutcome, DelayArmMismatch, DelayArmOutcome, DelayArmRefusal,
    DelayLedger, DelayLedgerCreationError, DelayLedgerCreationFailure, DelayRefusalOutcome,
    DelayReleaseOutcome, DelayUnavailable, DelayWithdrawalOutcome,
};

pub struct After<Message>(PhantomData<fn() -> Message>);

impl<Message: 'static> Participant for After<Message> {
    type In<'message> = Delayed<Message>;
    type Out<'message> = Message;
}

#[must_use = "delayed work must be sent through a delayed pipe"]
pub struct Delayed<Message> {
    message: Message,
    wake_after: WakeAfter,
}

impl<Message> Delayed<Message> {
    pub const fn new(message: Message, wake_after: WakeAfter) -> Self {
        Self {
            message,
            wake_after,
        }
    }

    pub const fn message(&self) -> &Message {
        &self.message
    }

    pub const fn wake_after(&self) -> WakeAfter {
        self.wake_after
    }

    pub fn into_parts(self) -> (Message, WakeAfter) {
        (self.message, self.wake_after)
    }
}

#[cfg(all(kani, feature = "storage"))]
mod proofs;
#[cfg(test)]
mod tests;