Skip to main content

Bounded

hydro_lang::live_collections::boundedness

Enum Bounded

pub enum Bounded {}

Expand description

Marks the stream as being bounded, which means that it is guaranteed to be complete in finite time.

Trait Implementations§

impl Boundedness for Bounded

const BOUNDED: bool = true

true if the bound is Bounded, false if it is Unbounded.

const BOUND_KIND: BoundKind = _

The BoundKind corresponding to this type.

impl KeyedSingletonBound for Bounded

type UnderlyingBound = Bounded

The Boundedness of the Stream underlying the keyed singleton.

type ValueBound = Bounded

The Boundedness of each entry’s value; Bounded means it is immutable.

type WithBoundedValue = Bounded

The type of the keyed singleton if the value for each key is immutable.

type KeyedStreamToMonotone = Bounded

The Boundedness of this Singleton if it is produced from a KeyedStream with Self boundedness.

type EraseMonotonic = Bounded

The type of the keyed singleton if the value for each key is no longer monotonic.

fn bound_kind() -> KeyedSingletonBoundKind

Returns the KeyedSingletonBoundKind corresponding to this type.

impl SingletonBound for Bounded

type UnderlyingBound = Bounded

The Boundedness that this Singleton would be erased to.

type StreamToMonotone = Bounded

The Boundedness of this Singleton if it is produced from a Stream with Self boundedness.

fn bound_kind() -> SingletonBoundKind

Returns the SingletonBoundKind corresponding to this type.

impl IsBounded for Bounded

Auto Trait Implementations§

impl Freeze for Bounded

impl RefUnwindSafe for Bounded

impl Send for Bounded

impl Sync for Bounded

impl Unpin for Bounded

impl UnsafeUnpin for Bounded

impl UnwindSafe for Bounded

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self> ⓘ

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

impl<Unshared, Shared> IntoShared<Shared> for Unshared
where Shared: FromUnshared<Unshared>,

fn into_shared(self) -> Shared

Creates a shared type from an unshared type.

impl<T> Same for T

type Output = T

Should always be Self

impl<T> ToSinkBuild for T

fn iter_to_sink_build(self) -> SendIterBuild<Self>
where Self: Sized + Iterator,

Starts a [SinkBuild] adaptor chain to send all items from self as an Iterator.

fn stream_to_sink_build(self) -> SendStreamBuild<Self>
where Self: Sized + Stream,

Starts a [SinkBuild] adaptor chain to send all items from self as a [Stream].

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more

impl<B> ApplyMonotoneKeyedStream<NotProved, B> for B
where B: Boundedness,

impl<B> ApplyMonotoneKeyedStream<Proved, <B as KeyedSingletonBound>::KeyedStreamToMonotone> for B
where B: Boundedness,

impl<B> ApplyMonotoneStream<NotProved, B> for B
where B: Boundedness,

impl<B> ApplyMonotoneStream<Proved, <B as SingletonBound>::StreamToMonotone> for B
where B: Boundedness,

impl<B> IsMonotonic for B
where B: IsBounded,