[−][src]Enum declarative_dataflow::Implemented
@TODO
Variants
Attribute(AttributeBinding)
A relation backed by an attribute.
Collection(CollectionRelation<'a, G>)
A relation backed by a Differential collection.
Trait Implementations
impl<'a, G: Scope> AsBinding for Implemented<'a, G> where
G::Timestamp: Lattice + ExchangeData,
[src]
G::Timestamp: Lattice + ExchangeData,
fn variables(&self) -> Vec<u32>
[src]
fn binds(&self, variable: u32) -> Option<usize>
[src]
fn ready_to_extend(&self, prefix: &dyn AsBinding) -> Option<u32>
[src]
fn required_to_extend(
&self,
prefix: &dyn AsBinding,
target: u32
) -> Option<Option<u32>>
[src]
&self,
prefix: &dyn AsBinding,
target: u32
) -> Option<Option<u32>>
fn can_extend(&self, prefix: &dyn AsBinding, target: u32) -> bool
[src]
Returns true iff the binding is ready to participate in the extension of a set of prefix variables to a new variable. Read more
Auto Trait Implementations
impl<'a, G> Unpin for Implemented<'a, G> where
G: Unpin,
<G as ScopeParent>::Timestamp: Timestamp,
G: Unpin,
<G as ScopeParent>::Timestamp: Timestamp,
impl<'a, G> !Send for Implemented<'a, G>
impl<'a, G> !Sync for Implemented<'a, G>
impl<'a, G> !UnwindSafe for Implemented<'a, G>
impl<'a, G> !RefUnwindSafe for Implemented<'a, G>
Blanket Implementations
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for 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,