Enum Implemented

pub enum Implemented<'a, G>
where
    G: Scope,
    G::Timestamp: Lattice + ExchangeData,
{
    Attribute(AttributeBinding),
    Collection(CollectionRelation<'a, G>),
}

@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,

fn variables(&self) -> Vec<u32>

All variables bound by this binding.

fn binds(&self, variable: u32) -> Option<usize>

Iff the binding has opinions about the given variable, this will return the offset, otherwise None.

fn ready_to_extend(&self, prefix: &dyn AsBinding) -> Option<u32>

Returns an optional variable by which this binding could extend the given prefix.

fn required_to_extend( &self, prefix: &dyn AsBinding, target: u32, ) -> Option<Option<u32>>

Returns an optional variable which must be bound by the prefix in order for this binding to extend the prefix. If None, then this binding can never be used to extend the prefix to the specified variable (e.g. because it doesn’t even bind it).

fn can_extend(&self, prefix: &dyn AsBinding, target: u32) -> bool

Returns true iff the binding is ready to participate in the extension of a set of prefix variables to a new variable.