pub struct PollUntil {
pub field: String,
pub terminal: Vec<String>,
}Expand description
until = { field, terminal } — the poll’s terminal predicate (CCR-3).
Non-emptiness is enforced at deserialize so an unpollable predicate is
KEEL-E001 at configure, never a silent never-terminal loop.
Fields§
§field: String§terminal: Vec<String>Trait Implementations§
Source§impl<'de> Deserialize<'de> for PollUntil
impl<'de> Deserialize<'de> for PollUntil
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for PollUntil
impl StructuralPartialEq for PollUntil
Auto Trait Implementations§
impl Freeze for PollUntil
impl RefUnwindSafe for PollUntil
impl Send for PollUntil
impl Sync for PollUntil
impl Unpin for PollUntil
impl UnsafeUnpin for PollUntil
impl UnwindSafe for PollUntil
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