Struct ukanren::Or [−][src]
pub struct Or<G1, G2>(_, _);
Expand description
A goal constructed from the disjunction of two goals.
Trait Implementations
type Iter = Interleave<I1, I2>
type Iter = Interleave<I1, I2>
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.
Take the disjunction of this goal with another.
Box this goal, which simplifies types at the expense of performance.
Auto Trait Implementations
impl<G1, G2> RefUnwindSafe for Or<G1, G2> where
G1: RefUnwindSafe,
G2: RefUnwindSafe,
impl<G1, G2> UnwindSafe for Or<G1, G2> where
G1: UnwindSafe,
G2: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more