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::Transmit;

pub use crate::new_session::NewSession;

pub use crate::tuple::List;

pub use crate::tuple::Tuple;

pub use crate::types::unary::constants::*;

pub use crate::types::unary::types::*;

pub use crate::types::unary::LessThan;

pub use crate::types::unary::Unary;

pub use crate::types::unary::S;

pub use crate::types::unary::Z;

pub use crate::types::*;

pub use crate::canonical::Branches;

pub use crate::canonical::CanonicalChan;

pub use crate::offer;

pub use crate::Chan;

pub use crate::IncompleteHalf;

pub use crate::SessionIncomplete;

pub use call_by::CallBy;

pub use call_by::CallingConvention;

pub use call_by::Mut;

pub use call_by::Ref;

pub use call_by::Val;