Trait datafrog::JoinInput[−][src]

pub trait JoinInput<'me, Tuple: Ord>: Copy {
    type RecentTuples: Deref<Target = [Tuple]>;
    type StableTuples: Deref<Target = [Relation<Tuple>]>;
    fn recent(self) -> Self::RecentTuples;

    fn stable(self) -> Self::StableTuples;
}

An input that can be used with from_join; either a Variable or a Relation.

Associated Types

type RecentTuples: Deref<Target = [Tuple]>[src]

If we are on iteration N of the loop, these are the tuples added on iteration N-1. (For a Relation, this is always an empty slice.)

type StableTuples: Deref<Target = [Relation<Tuple>]>[src]

If we are on iteration N of the loop, these are the tuples added on iteration N - 2 or before. (For a Relation, this is just self.)

Loading content...

Required methods

fn recent(self) -> Self::RecentTuples[src]

Get the set of recent tuples.

fn stable(self) -> Self::StableTuples[src]

Get the set of stable tuples.

Loading content...

Implementors

impl<'me, Tuple: Ord> JoinInput<'me, Tuple> for &'me Relation<Tuple>[src]

type RecentTuples = &'me [Tuple]

type StableTuples = &'me [Relation<Tuple>]

impl<'me, Tuple: Ord> JoinInput<'me, Tuple> for &'me Variable<Tuple>[src]

type RecentTuples = Ref<'me, [Tuple]>

type StableTuples = Ref<'me, [Relation<Tuple>]>

Loading content...