hibana 0.9.2

Session-typed choreographic programming for no_std Rust protocols, inspired by affine MPST
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

use core::fmt;

use super::{ClusterError, ResourceScope};

impl fmt::Display for ClusterError {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        match self {
            Self::RendezvousMismatch { expected, actual } => {
                write!(f, "rv-mismatch expected {} got {}", expected, actual)
            }
            Self::RendezvousUnregistered { id } => write!(f, "rv-unregistered {}", id),
            Self::RendezvousBusy { id } => write!(f, "rv-busy {}", id),
            Self::ResourceExhausted { resource } => write!(f, "exhausted {}", resource.as_str()),
            Self::ResolverReject { resolver_id } => {
                write!(f, "resolver-reject {}", resolver_id)
            }
            Self::DynamicResolverInvariant { resolver_id } => {
                write!(f, "dynamic-resolver-invariant {}", resolver_id)
            }
        }
    }
}

impl fmt::Debug for ClusterError {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        fmt::Display::fmt(self, f)
    }
}

impl fmt::Debug for ResourceScope {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        f.write_str(self.as_str())
    }
}