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

//! 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;

/// Canonical tap event and semantic Evidence decode.
pub(crate) mod event;

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

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