Trait SendSettlements 

pub trait SendSettlements: Sized {
    type Settlements: Send + ClassifySettlement;

    // Required method
    fn unattempted(self) -> Self::Settlements;
}

Static settlement product determined solely by one concrete sends value.

Every action item declares its own accepted, rejection, and prerequisite types. A containing product therefore has one settlement type under every conforming interpreter. unattempted preserves every item untouched after an earlier corrupt item stops traversal.

A runtime cannot select another settlement product for the same sends value:

struct RuntimeSettlement;

fn runtime_selected<Runtime>(
    requests: behavior::InterpreterRequests<behavior::ReportToParent<u8>>,
    runtime: &mut Runtime,
) -> impl core::future::Future<
    Output = behavior::Interpretation<RuntimeSettlement>,
> + Send
where
    Runtime: behavior::InterpretItem<
        behavior::ReportToParent<u8>,
        (),
        behavior::Here,
    >,
{
    <behavior::InterpreterRequests<behavior::ReportToParent<u8>> as
        behavior::InterpretSends<Runtime, (), behavior::Here>>::interpret(
            requests,
            runtime,
        )
}

Required Associated Types

type Settlements: Send + ClassifySettlement

Complete settlement product corresponding to Self.

Required Methods

fn unattempted(self) -> Self::Settlements

Preserve every item without granting interpretation authority.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl SendSettlements for Vec<Never>

type Settlements = Vec<Never>

fn unattempted(self) -> Self::Settlements

impl<Item> SendSettlements for Vec<Item>

where Item: ActionItem,

type Settlements = Vec<SettledItem<Item, ItemSettlement<Item, <Item as ActionItem>::Accepted, <Item as ActionItem>::Rejection, <Item as ActionItem>::Prerequisite>>>

fn unattempted(self) -> Self::Settlements

Implementors

impl SendSettlements for NoSends

type Settlements = NoSends

impl<Item> SendSettlements for SourceActions<Item>

where Item: SourceAction,

type Settlements = SourceSettlements<Item>

impl<Owned, Inner> SendSettlements for SendLayer<Owned, Inner>

where Owned: SendSettlements, Inner: SendSettlements,

type Settlements = SendLayer<<Owned as SendSettlements>::Settlements, <Inner as SendSettlements>::Settlements>

impl<Request> SendSettlements for InterpreterRequests<Request>

where Request: ActionItem,

type Settlements = Vec<SettledItem<Request, ItemSettlement<Request, <Request as ActionItem>::Accepted, <Request as ActionItem>::Rejection, <Request as ActionItem>::Prerequisite>>>