pub enum LvalueSpec {
Wildcard,
Explicit(String),
}Expand description
Workload-author lvalue assertion attached to a BindPoint::Reference.
Spelled as a :<spec> suffix inside the brace pair:
{meta}— no marker; strict match. The adapter consults cluster-side metadata and the binder verifies the wire’s rvalue type matches that.{meta:*}— wildcard. Polydat is licensed to fuse / coerce; the binder treats the slot asStr-lvalue (which permits any rvalue per the load-bearing rule).{meta:<type>}— explicit polydatPortTypeassertion. The binder uses the asserted type as the lvalue for verification, overriding what cluster-side metadata would say. The type name is the lower-snake-case form (u64,i32,f64,vec_f32,str,bytes, etc.) — matchesPortType’sDisplayform.
Variants§
Wildcard
:* — workload-author opt-in to type fusion.
Explicit(String)
:<typename> — workload-author asserts a polydat
PortType by name. The string is preserved verbatim;
adapters parse it to PortType at construction time and
error on unknown names.
Trait Implementations§
Source§impl Clone for LvalueSpec
impl Clone for LvalueSpec
Source§impl Debug for LvalueSpec
impl Debug for LvalueSpec
impl Eq for LvalueSpec
Source§impl PartialEq for LvalueSpec
impl PartialEq for LvalueSpec
impl StructuralPartialEq for LvalueSpec
Auto Trait Implementations§
impl Freeze for LvalueSpec
impl RefUnwindSafe for LvalueSpec
impl Send for LvalueSpec
impl Sync for LvalueSpec
impl Unpin for LvalueSpec
impl UnsafeUnpin for LvalueSpec
impl UnwindSafe for LvalueSpec
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
Mutably borrows from an owned value. Read more
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
Compare self to
key and return true if they are equal.