Struct DualSession 

pub struct DualSession<Phase> { /* private fields */ }

Typestate witness for the role dual to Session.

Implementations

impl DualSession<Ready>

pub const fn new() -> Self

Creates a dual witness in the grammar’s initial phase.

impl DualSession<Ready>

pub const fn query(self) -> DualSession<Simple>

Applies the dual query transition and enters Simple.

pub const fn begin_extended(self) -> DualSession<Building>

Applies the dual begin_extended transition and enters Building.

pub const fn function_call(self) -> DualSession<FunctionCalling>

Applies the dual function_call transition and enters FunctionCalling.

pub const fn reset(self) -> DualSession<Resetting>

Applies the dual reset transition and enters Resetting.

pub const fn terminate(self) -> DualSession<Terminated>

Applies the dual terminate transition and enters Terminated.

impl DualSession<FunctionCalling>

pub const fn function_response(self) -> DualSession<AwaitingReady>

Applies the dual function_response transition and enters AwaitingReady.

pub const fn error(self) -> DualSession<Draining>

Applies the dual error transition and enters Draining.

impl DualSession<Simple>

pub const fn continue_response(self) -> DualSession<Simple>

Applies the dual continue_response transition and enters Simple.

pub const fn enter_copy_in(self) -> DualSession<CopyIn>

Applies the dual enter_copy_in transition and enters CopyIn.

pub const fn enter_copy_out(self) -> DualSession<CopyOut>

Applies the dual enter_copy_out transition and enters CopyOut.

pub const fn enter_copy_both(self) -> DualSession<CopyBoth>

Applies the dual enter_copy_both transition and enters CopyBoth.

pub const fn ready(self) -> DualSession<Ready>

Applies the dual ready transition and enters Ready.

pub const fn error(self) -> DualSession<Draining>

Applies the dual error transition and enters Draining.

impl DualSession<Building>

pub const fn parse(self) -> DualSession<Building>

Applies the dual parse transition and enters Building.

pub const fn describe(self) -> DualSession<Building>

Applies the dual describe transition and enters Building.

pub const fn bind(self) -> DualSession<BoundBuilding>

Applies the dual bind transition and enters BoundBuilding.

pub const fn close(self) -> DualSession<Building>

Applies the dual close transition and enters Building.

pub const fn flush(self) -> DualSession<Building>

Applies the dual flush transition and enters Building.

pub const fn sync(self) -> DualSession<AwaitingReady>

Applies the dual sync transition and enters AwaitingReady.

impl DualSession<BoundBuilding>

pub const fn parse(self) -> DualSession<BoundBuilding>

Applies the dual parse transition and enters BoundBuilding.

pub const fn describe(self) -> DualSession<BoundBuilding>

Applies the dual describe transition and enters BoundBuilding.

pub const fn bind(self) -> DualSession<BoundBuilding>

Applies the dual bind transition and enters BoundBuilding.

pub const fn execute(self) -> DualSession<BoundBuilding>

Applies the dual execute transition and enters BoundBuilding.

pub const fn close(self) -> DualSession<BoundBuilding>

Applies the dual close transition and enters BoundBuilding.

pub const fn flush(self) -> DualSession<BoundBuilding>

Applies the dual flush transition and enters BoundBuilding.

pub const fn sync(self) -> DualSession<AwaitingReady>

Applies the dual sync transition and enters AwaitingReady.

impl DualSession<AwaitingReady>

pub const fn continue_response(self) -> DualSession<AwaitingReady>

Applies the dual continue_response transition and enters AwaitingReady.

pub const fn ready(self) -> DualSession<Ready>

Applies the dual ready transition and enters Ready.

pub const fn error(self) -> DualSession<Draining>

Applies the dual error transition and enters Draining.

impl DualSession<CopyIn>

pub const fn copy_data(self) -> DualSession<CopyIn>

Applies the dual copy_data transition and enters CopyIn.

pub const fn copy_done(self) -> DualSession<AwaitingReady>

Applies the dual copy_done transition and enters AwaitingReady.

pub const fn copy_fail(self) -> DualSession<AwaitingReady>

Applies the dual copy_fail transition and enters AwaitingReady.

pub const fn error(self) -> DualSession<Draining>

Applies the dual error transition and enters Draining.

impl DualSession<CopyOut>

pub const fn copy_data(self) -> DualSession<CopyOut>

Applies the dual copy_data transition and enters CopyOut.

pub const fn copy_done(self) -> DualSession<AwaitingReady>

Applies the dual copy_done transition and enters AwaitingReady.

pub const fn error(self) -> DualSession<Draining>

Applies the dual error transition and enters Draining.

impl DualSession<CopyBoth>

pub const fn send_copy_data(self) -> DualSession<CopyBoth>

Applies the dual send_copy_data transition and enters CopyBoth.

pub const fn receive_copy_data(self) -> DualSession<CopyBoth>

Applies the dual receive_copy_data transition and enters CopyBoth.

pub const fn send_copy_done(self) -> DualSession<CopyBothClientDone>

Applies the dual send_copy_done transition and enters CopyBothClientDone.

pub const fn receive_copy_done(self) -> DualSession<CopyBothServerDone>

Applies the dual receive_copy_done transition and enters CopyBothServerDone.

pub const fn error(self) -> DualSession<Draining>

Applies the dual error transition and enters Draining.

impl DualSession<CopyBothClientDone>

pub const fn receive_copy_data(self) -> DualSession<CopyBothClientDone>

Applies the dual receive_copy_data transition and enters CopyBothClientDone.

pub const fn receive_copy_done(self) -> DualSession<AwaitingReady>

Applies the dual receive_copy_done transition and enters AwaitingReady.

pub const fn error(self) -> DualSession<Draining>

Applies the dual error transition and enters Draining.

impl DualSession<CopyBothServerDone>

pub const fn send_copy_data(self) -> DualSession<CopyBothServerDone>

Applies the dual send_copy_data transition and enters CopyBothServerDone.

pub const fn send_copy_done(self) -> DualSession<AwaitingReady>

Applies the dual send_copy_done transition and enters AwaitingReady.

impl DualSession<Draining>

pub const fn continue_response(self) -> DualSession<Draining>

Applies the dual continue_response transition and enters Draining.

pub const fn ready(self) -> DualSession<Ready>

Applies the dual ready transition and enters Ready.

impl DualSession<Resetting>

pub const fn continue_reset(self) -> DualSession<Resetting>

Applies the dual continue_reset transition and enters Resetting.

pub const fn discard_complete(self) -> DualSession<ResetComplete>

Applies the dual discard_complete transition and enters ResetComplete.

pub const fn error(self) -> DualSession<Draining>

Applies the dual error transition and enters Draining.

impl DualSession<ResetComplete>

pub const fn continue_reset(self) -> DualSession<ResetComplete>

Applies the dual continue_reset transition and enters ResetComplete.

pub const fn ready_clean(self) -> DualSession<Ready>

Applies the dual ready_clean transition and enters Ready.

pub const fn ready_dirty(self) -> DualSession<Ready>

Applies the dual ready_dirty transition and enters Ready.

pub const fn error(self) -> DualSession<Draining>

Applies the dual error transition and enters Draining.

Trait Implementations

impl<Phase: Clone> Clone for DualSession<Phase>

fn clone(&self) -> DualSession<Phase>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Phase: Copy> Copy for DualSession<Phase>

impl<Phase: Debug> Debug for DualSession<Phase>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Phase: Eq> Eq for DualSession<Phase>

impl<Phase: PartialEq> PartialEq for DualSession<Phase>

fn eq(&self, other: &DualSession<Phase>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<Phase: PartialEq> StructuralPartialEq for DualSession<Phase>