pub struct BoxedGoal<T> { /* fields omitted */ }
Expand description
A boxed goal for type erasure, constructed from Goal::boxed
.
Performs copy-assignment from source
. Read more
The state iterator returned by the goal.
Apply this goal to an initial state, returning a stream of satisfying states.
Take the conjunction of this goal with another. Read more
Take the disjunction of this goal with another. Read more
Box this goal into a trait object, making it easier to name the type. Read more
Evaluate this goal on an empty state, returning a stream of results. Read more
impl<T> Any for T where
T: 'static + ?Sized,
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more
impl<T, U> Into<U> for T where
U: From<T>,
The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more
The type returned in the event of a conversion error.
The type returned in the event of a conversion error.