Struct ukanren::BoxedGoal [−][src]
pub struct BoxedGoal<T> { /* fields omitted */ }
Expand description
A boxed goal for type erasure, constructed from Goal::boxed
.
Trait Implementations
Apply this goal to an initial state, returning a stream of satisfying states.
Take the conjunction of this goal with another.
Take the disjunction of this goal with another.
Box this goal, which simplifies types at the expense of performance.
Auto Trait Implementations
impl<T> !RefUnwindSafe for BoxedGoal<T>
impl<T> !UnwindSafe for BoxedGoal<T>
Blanket Implementations
Mutably borrows from an owned value. Read more