pub struct GraphAssertIn {
pub assertions: Option<Vec<GraphFact>>,
}Fields§
§assertions: Option<Vec<GraphFact>>Assertions is the batch. Each member is judged on its own: one refusal does not discard the rest, because a caller redelivering five facts must not lose four of them to one malformed fifth.
Implementations§
Source§impl GraphAssertIn
impl GraphAssertIn
pub fn new() -> GraphAssertIn
Trait Implementations§
Source§impl Clone for GraphAssertIn
impl Clone for GraphAssertIn
Source§fn clone(&self) -> GraphAssertIn
fn clone(&self) -> GraphAssertIn
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for GraphAssertIn
impl Debug for GraphAssertIn
Source§impl Default for GraphAssertIn
impl Default for GraphAssertIn
Source§fn default() -> GraphAssertIn
fn default() -> GraphAssertIn
Returns the “default value” for a type. Read more
Source§impl<'de> Deserialize<'de> for GraphAssertIn
impl<'de> Deserialize<'de> for GraphAssertIn
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
Source§impl PartialEq for GraphAssertIn
impl PartialEq for GraphAssertIn
Source§impl Serialize for GraphAssertIn
impl Serialize for GraphAssertIn
impl StructuralPartialEq for GraphAssertIn
Auto Trait Implementations§
impl Freeze for GraphAssertIn
impl RefUnwindSafe for GraphAssertIn
impl Send for GraphAssertIn
impl Sync for GraphAssertIn
impl Unpin for GraphAssertIn
impl UnsafeUnpin for GraphAssertIn
impl UnwindSafe for GraphAssertIn
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