Module dialectic::prelude

The prelude module for quickly getting started with Dialectic.

This module is designed to be imported as use dialectic::prelude::*;, which brings into scope all the bits and pieces you need to start writing programs with Dialectic.

Re-exports

pub use crate::backend::Choice;

pub use crate::backend::Receive;

pub use crate::backend::Receiver;

pub use crate::backend::Transmit;

pub use crate::backend::Transmitter;

pub use crate::session::Session;

pub use crate::Chan;

pub use call_by::Mut;

pub use call_by::Ref;

pub use call_by::Val;

pub use dialectic_macro::offer;

pub use dialectic_macro::Receiver;

pub use dialectic_macro::Session;

pub use dialectic_macro::Transmitter;