Struct differential_dataflow::difference::Present [−][src]
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 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<'a> AddAssign<&'a Present> for Present
[src]
fn add_assign(&mut self, _rhs: &'a Self)
[src]
impl Clone for Present
[src]
impl Copy for Present
[src]
impl Debug for Present
[src]
impl<'de> Deserialize<'de> for Present
[src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
__D: Deserializer<'de>,
impl Eq for Present
[src]
impl Hash for Present
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
pub fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl<T> Mul<T> for Present
[src]
impl Ord for Present
[src]
fn cmp(&self, other: &Present) -> Ordering
[src]
#[must_use]pub fn max(self, other: Self) -> Self
1.21.0[src]
#[must_use]pub fn min(self, other: Self) -> Self
1.21.0[src]
#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self
1.50.0[src]
impl PartialEq<Present> for Present
[src]
fn eq(&self, other: &Present) -> bool
[src]
#[must_use]pub fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
impl PartialOrd<Present> for Present
[src]
fn partial_cmp(&self, other: &Present) -> Option<Ordering>
[src]
#[must_use]pub fn lt(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]pub fn le(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]pub fn gt(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]pub fn ge(&self, other: &Rhs) -> bool
1.0.0[src]
impl Semigroup for Present
[src]
impl Serialize for Present
[src]
fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
__S: Serializer,
[src]
__S: Serializer,
impl StructuralEq for Present
[src]
impl StructuralPartialEq for Present
[src]
Auto Trait Implementations
impl RefUnwindSafe for Present
impl Send for Present
impl Sync for Present
impl Unpin for Present
impl UnwindSafe for Present
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Data for T where
T: Ord + Debug + Data,
[src]
T: Ord + Debug + Data,
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> DeserializeOwned for T where
T: for<'de> Deserialize<'de>,
[src]
T: for<'de> Deserialize<'de>,
impl<T> ExchangeData for T where
T: Ord + Debug + ExchangeData,
[src]
T: Ord + Debug + ExchangeData,
impl<T> ExchangeData for T where
T: Data + Data,
[src]
T: Data + Data,
impl<T> From<T> for T
[src]
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> ProgressEventTimestamp for T where
T: Data + Any + Debug,
[src]
T: Data + Any + Debug,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub 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.
pub 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>,