Trait datafrog::JoinInput

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.

Required Associated Types

type RecentTuples: Deref<Target = [Tuple]>

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>]>

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.)

Required Methods

fn recent(self) -> Self::RecentTuples

Get the set of recent tuples.

fn stable(self) -> Self::StableTuples

Get the set of stable tuples.

Implementors

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

type RecentTuples = &'me [Tuple]

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

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

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

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