Trait ShipUnder 

pub trait ShipUnder<T: Timestamp>: CapabilityTrait<T> {
    // Required methods
    fn to_set(&self) -> CapabilitySet<T>;
    fn same_times(&self, set: &CapabilitySet<T>) -> bool;
}

A capability an output handle can ship data under: one capability, or a whole set.

The set is the general form. A lone Capability is the one-element case, which is what an operator in a totally ordered scope holds.

Required Methods

fn to_set(&self) -> CapabilitySet<T>

The capabilities to hold while the data is buffered.

fn same_times(&self, set: &CapabilitySet<T>) -> bool

Whether set holds capabilities for exactly the times of self.

Called per record, so it compares borrowed times rather than building stamps.

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

impl<T: Timestamp> ShipUnder<T> for Capability<T>

fn to_set(&self) -> CapabilitySet<T>

fn same_times(&self, set: &CapabilitySet<T>) -> bool

impl<T: Timestamp> ShipUnder<T> for CapabilitySet<T>

fn to_set(&self) -> CapabilitySet<T>

fn same_times(&self, set: &CapabilitySet<T>) -> bool

Implementors