Struct ukanren::And

pub struct And<G1, G2>(_, _);

A goal constructed from the conjunction of two goals.

Trait Implementations

impl<G1: Clone, G2: Clone> Clone for And<G1, G2>

fn clone(&self) -> And<G1, G2>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<G1, G2, I1, I2> Goal for And<G1, G2> where
    G1: Goal<Iter = I1>,
    G2: Goal<Iter = I2> + Clone + 'static,
    I1: Iterator<Item = State>,
    I2: Iterator<Item = State>, 

type Iter = FlatMap<I1, I2, Box<dyn Fn(State) -> I2>>

The state iterator returned by the goal.

fn apply(&self, s: &State) -> Self::Iter

Apply this goal to an initial state, returning a stream of satisfying states.

fn and<G, I>(self, other: G) -> And<Self, G> where
    Self: Sized,
    G: Goal<Iter = I>,
    I: Iterator<Item = State>, 

Take the conjunction of this goal with another.

fn or<G, I>(self, other: G) -> Or<Self, G> where
    Self: Sized,
    G: Goal<Iter = I>,
    I: Iterator<Item = State>, 

Take the disjunction of this goal with another.

fn boxed(self) -> BoxedGoal<Self::Iter> where
    Self: Sized + 'static, 

Box this goal, which simplifies types at the expense of performance.

fn run(&self, k: usize) -> RunStream<Self::Iter>

Evaluate this goal on an empty state, returning a stream of results.

impl<G1: Copy, G2: Copy> Copy for And<G1, G2>