pub struct ExistsConstraintBuilder<S, A, L, R, C, W, Sc>where
C: CompileCondition,
Sc: Score,{ /* private fields */ }Implementations§
Source§impl<S, A, L, R, C, W, Sc> ExistsConstraintBuilder<S, A, L, R, C, W, Sc>where
S: Send + Sync + 'static,
A: 'static,
for<'a> L: Operator<S> + Operator<S, View<'a> = Leaf<'a, A>>,
R: Operator<S>,
C: CompileCondition + 'static,
for<'a> C::Plan: IndexedPlan + 'static + ExecutablePlan<L::View<'a>, R::View<'a>>,
W: for<'a> Fn(&S, &Leaf<'a, A>) -> Sc + Send + Sync,
Sc: Score + 'static,
impl<S, A, L, R, C, W, Sc> ExistsConstraintBuilder<S, A, L, R, C, W, Sc>where
S: Send + Sync + 'static,
A: 'static,
for<'a> L: Operator<S> + Operator<S, View<'a> = Leaf<'a, A>>,
R: Operator<S>,
C: CompileCondition + 'static,
for<'a> C::Plan: IndexedPlan + 'static + ExecutablePlan<L::View<'a>, R::View<'a>>,
W: for<'a> Fn(&S, &Leaf<'a, A>) -> Sc + Send + Sync,
Sc: Score + 'static,
pub fn named( self, name: &str, ) -> OperatorTerminal<S, ExistenceNode<S, L, R, C::Plan>, impl for<'a> Fn(&S, &L::View<'a>) -> Sc + Send + Sync, Sc>
Trait Implementations§
Auto Trait Implementations§
impl<S, A, L, R, C, W, Sc> Freeze for ExistsConstraintBuilder<S, A, L, R, C, W, Sc>
impl<S, A, L, R, C, W, Sc> RefUnwindSafe for ExistsConstraintBuilder<S, A, L, R, C, W, Sc>where
L: RefUnwindSafe,
R: RefUnwindSafe,
C: RefUnwindSafe,
W: RefUnwindSafe,
PhantomData<(fn() -> S, fn() -> A, fn() -> Sc)>: RefUnwindSafe,
impl<S, A, L, R, C, W, Sc> Send for ExistsConstraintBuilder<S, A, L, R, C, W, Sc>
impl<S, A, L, R, C, W, Sc> Sync for ExistsConstraintBuilder<S, A, L, R, C, W, Sc>
impl<S, A, L, R, C, W, Sc> Unpin for ExistsConstraintBuilder<S, A, L, R, C, W, Sc>
impl<S, A, L, R, C, W, Sc> UnsafeUnpin for ExistsConstraintBuilder<S, A, L, R, C, W, Sc>where
L: UnsafeUnpin,
R: UnsafeUnpin,
C: UnsafeUnpin,
W: UnsafeUnpin,
PhantomData<(fn() -> S, fn() -> A, fn() -> Sc)>: UnsafeUnpin,
impl<S, A, L, R, C, W, Sc> UnwindSafe for ExistsConstraintBuilder<S, A, L, R, C, W, Sc>where
L: UnwindSafe,
R: UnwindSafe,
C: UnwindSafe,
W: UnwindSafe,
PhantomData<(fn() -> S, fn() -> A, fn() -> Sc)>: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more