Struct ukanren::BoxedGoal

pub struct BoxedGoal<T> { /* fields omitted */ }

A boxed goal for type erasure, constructed from Goal::boxed.

Trait Implementations

impl<T> Clone for BoxedGoal<T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T> Goal for BoxedGoal<T> where
    T: Iterator<Item = State> + 'static, 

type Iter = Box<dyn Iterator<Item = State>>

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 into a trait object, making it easier to name the type.

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

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