pub enum InputKind {
Coordinate,
IterationExtern,
ExternalWrite,
}Expand description
Classification of a named input by its evaluation lifecycle.
See evaluation_model.md for the lifecycle classification.
The init-binding contract uses this to decide whether a wire
to an Input(idx) is effectively-const at scope-init time:
IterationExtern slots count as effectively-const (rebound
once per scope activation); Coordinate and ExternalWrite
slots are dynamic and disqualify any init binding that reaches
them.
Variants§
Coordinate
Dimensional input declared by input (cycle: u64, ...: u64) —
dynamic, reset every cycle.
IterationExtern
External slot populated by materialize_wiring_from_outer from an
enclosing for_each / for_combinations clause —
effectively-const for the duration of one scope activation.
ExternalWrite
External port declared by extern name: type = default —
written by capture extraction during op execution; dynamic
across cycle boundaries within a stanza.
Trait Implementations§
impl Copy for InputKind
impl Eq for InputKind
impl StructuralPartialEq for InputKind
Auto Trait Implementations§
impl Freeze for InputKind
impl RefUnwindSafe for InputKind
impl Send for InputKind
impl Sync for InputKind
impl Unpin for InputKind
impl UnsafeUnpin for InputKind
impl UnwindSafe for InputKind
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.