hibana 0.2.0

Const-projected Affine Multiparty Session Types for choreography-first Rust protocols
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

//! Observability surface exposing canonical observe modules.
//!
//! The no_std tap ring lives in [`observe::core`]. Tap event identifiers are
//! generated at build time and consumed internally by the canonical observe
//! owners.

/// Core tap ring and trace storage.
pub(crate) mod core;

/// Tap event identifiers.
pub(crate) mod ids;

/// Tap event builders.
pub(crate) mod events;

/// Scope trace helpers.
pub(crate) mod scope;

#[inline]
const fn cap_mint_id(tag: u8) -> u16 {
    ids::CAP_MINT_BASE + tag as u16
}

#[inline]
const fn cap_claim_id(tag: u8) -> u16 {
    ids::CAP_CLAIM_BASE + tag as u16
}

#[inline]
const fn cap_exhaust_id(tag: u8) -> u16 {
    ids::CAP_EXHAUST_BASE + tag as u16
}

#[inline]
pub(crate) const fn cap_mint<K: crate::control::cap::mint::ResourceKind>() -> u16 {
    cap_mint_id(K::TAG)
}

#[inline]
pub(crate) const fn cap_claim<K: crate::control::cap::mint::ResourceKind>() -> u16 {
    cap_claim_id(K::TAG)
}

#[inline]
pub(crate) const fn cap_exhaust<K: crate::control::cap::mint::ResourceKind>() -> u16 {
    cap_exhaust_id(K::TAG)
}

#[cfg(test)]
mod normalise;