spirt::cfg

Enum DeferredEdgeBundleSet

source
enum DeferredEdgeBundleSet {
    Unreachable,
    Always {
        target: DeferredTarget,
        edge_bundle: IncomingEdgeBundle<()>,
    },
    Choice {
        target_to_deferred: IndexMap<DeferredTarget, DeferredEdgeBundle<()>, BuildHasherDefault<FxHasher>>,
    },
}
Expand description

Set of DeferredEdgeBundles, uniquely keyed by their targets.

Semantically equivalent to an unordered series of conditional branches to each possible target, which corresponds to an unenforced invariant that exactly one DeferredEdgeBundle condition must be true at any given time (the only non-trivial case, DeferredEdgeBundleSet::Choice, satisfies it because it’s only used for merging Select cases, and so all the conditions will end up using disjoint LazyCond::Merges).

Variants§

§

Unreachable

§

Always

Fields

§edge_bundle: IncomingEdgeBundle<()>
§

Choice

Implementations§

Trait Implementations§

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

source§

fn into(self) -> U

Calls U::from(self).

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

source§

impl<T> IntoEither for T

source§

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
source§

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
source§

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

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

source§

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

The type returned in the event of a conversion error.
source§

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

Performs the conversion.