[−][src]Struct differential_dataflow::difference::Present
A zero-sized difference that indicates the presence of a record.
This difference type has no negation, and present records cannot be retracted. Addition and multiplication maintain presence, and zero does not inhabit the type.
The primary feature of this type is that it has zero size, which reduces the overhead of differential dataflow's representations for settings where collections either do not change, or for which records are only added (for example, derived facts in Datalog).
Trait Implementations
impl Semigroup for Present
[src]
impl Clone for Present
[src]
impl Copy for Present
[src]
impl Eq for Present
[src]
impl Ord for Present
[src]
fn cmp(&self, other: &Present) -> Ordering
[src]
fn max(self, other: Self) -> Self
1.21.0[src]
fn min(self, other: Self) -> Self
1.21.0[src]
fn clamp(self, min: Self, max: Self) -> Self
[src]
impl PartialEq<Present> for Present
[src]
impl PartialOrd<Present> for Present
[src]
fn partial_cmp(&self, other: &Present) -> Option<Ordering>
[src]
#[must_use]
fn lt(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]
fn le(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]
fn gt(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]
fn ge(&self, other: &Rhs) -> bool
1.0.0[src]
impl Debug for Present
[src]
impl<T> Mul<T> for Present
[src]
impl<'a> AddAssign<&'a Present> for Present
[src]
fn add_assign(&mut self, _rhs: &'a Self)
[src]
impl Hash for Present
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl StructuralPartialEq for Present
[src]
impl StructuralEq for Present
[src]
impl Abomonation for Present
[src]
unsafe fn entomb<W: Write>(&self, _write: &mut W) -> Result<()>
[src]
fn extent(&self) -> usize
[src]
unsafe fn exhume<'a, 'b>(
&'a mut self,
bytes: &'b mut [u8]
) -> Option<&'b mut [u8]>
[src]
&'a mut self,
bytes: &'b mut [u8]
) -> Option<&'b mut [u8]>
impl Serialize for Present
[src]
fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
__S: Serializer,
[src]
__S: Serializer,
impl<'de> Deserialize<'de> for Present
[src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
__D: Deserializer<'de>,
Auto Trait Implementations
impl Send for Present
impl Sync for Present
impl Unpin for Present
impl UnwindSafe for Present
impl RefUnwindSafe for Present
Blanket Implementations
impl<T> Data for T where
T: Ord + Debug + Data,
[src]
T: Ord + Debug + Data,
impl<T> ExchangeData for T where
T: Ord + Debug + ExchangeData,
[src]
T: Ord + Debug + ExchangeData,
impl<T> Hashable for T where
T: Hash,
[src]
T: Hash,
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for T
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Data for T where
T: 'static + Send + Sync + Any + Abomonation,
T: 'static + Send + Sync + Any + Abomonation,
impl<T> Data for T where
T: 'static + Clone,
[src]
T: 'static + Clone,
impl<T> ExchangeData for T where
T: Data + Data,
[src]
T: Data + Data,
impl<T> DeserializeOwned for T where
T: Deserialize<'de>,
[src]
T: Deserialize<'de>,