pub struct IfExistsBuilder<S, A, B, K, EA, EB, KA, KB, FA, W, Sc>where
Sc: Score,{ /* private fields */ }Expand description
Zero-erasure builder for finalizing an if_exists constraint.
Implementations§
Source§impl<S, A, B, K, EA, EB, KA, KB, FA, W, Sc> IfExistsBuilder<S, A, B, K, EA, EB, KA, KB, FA, W, Sc>where
S: Send + Sync + 'static,
A: Clone + Send + Sync + 'static,
B: Clone + Send + Sync + 'static,
K: Eq + Hash + Clone + Send + Sync,
EA: Fn(&S) -> &[A] + Send + Sync,
EB: Fn(&S) -> Vec<B> + Send + Sync,
KA: Fn(&A) -> K + Send + Sync,
KB: Fn(&B) -> K + Send + Sync,
FA: UniFilter<S, A>,
W: Fn(&A) -> Sc + Send + Sync,
Sc: Score + 'static,
impl<S, A, B, K, EA, EB, KA, KB, FA, W, Sc> IfExistsBuilder<S, A, B, K, EA, EB, KA, KB, FA, W, Sc>where
S: Send + Sync + 'static,
A: Clone + Send + Sync + 'static,
B: Clone + Send + Sync + 'static,
K: Eq + Hash + Clone + Send + Sync,
EA: Fn(&S) -> &[A] + Send + Sync,
EB: Fn(&S) -> Vec<B> + Send + Sync,
KA: Fn(&A) -> K + Send + Sync,
KB: Fn(&B) -> K + Send + Sync,
FA: UniFilter<S, A>,
W: Fn(&A) -> Sc + Send + Sync,
Sc: Score + 'static,
Sourcepub fn as_constraint(
self,
name: &str,
) -> IfExistsUniConstraint<S, A, B, K, EA, EB, KA, KB, impl Fn(&S, &A) -> bool + Send + Sync, W, Sc>
pub fn as_constraint( self, name: &str, ) -> IfExistsUniConstraint<S, A, B, K, EA, EB, KA, KB, impl Fn(&S, &A) -> bool + Send + Sync, W, Sc>
Finalizes the builder into a zero-erasure IfExistsUniConstraint.
Trait Implementations§
Auto Trait Implementations§
impl<S, A, B, K, EA, EB, KA, KB, FA, W, Sc> Freeze for IfExistsBuilder<S, A, B, K, EA, EB, KA, KB, FA, W, Sc>
impl<S, A, B, K, EA, EB, KA, KB, FA, W, Sc> RefUnwindSafe for IfExistsBuilder<S, A, B, K, EA, EB, KA, KB, FA, W, Sc>where
EA: RefUnwindSafe,
EB: RefUnwindSafe,
KA: RefUnwindSafe,
KB: RefUnwindSafe,
FA: RefUnwindSafe,
W: RefUnwindSafe,
S: RefUnwindSafe,
A: RefUnwindSafe,
B: RefUnwindSafe,
K: RefUnwindSafe,
Sc: RefUnwindSafe,
impl<S, A, B, K, EA, EB, KA, KB, FA, W, Sc> Send for IfExistsBuilder<S, A, B, K, EA, EB, KA, KB, FA, W, Sc>
impl<S, A, B, K, EA, EB, KA, KB, FA, W, Sc> Sync for IfExistsBuilder<S, A, B, K, EA, EB, KA, KB, FA, W, Sc>
impl<S, A, B, K, EA, EB, KA, KB, FA, W, Sc> Unpin for IfExistsBuilder<S, A, B, K, EA, EB, KA, KB, FA, W, Sc>
impl<S, A, B, K, EA, EB, KA, KB, FA, W, Sc> UnwindSafe for IfExistsBuilder<S, A, B, K, EA, EB, KA, KB, FA, W, Sc>where
EA: UnwindSafe,
EB: UnwindSafe,
KA: UnwindSafe,
KB: UnwindSafe,
FA: UnwindSafe,
W: UnwindSafe,
S: UnwindSafe,
A: UnwindSafe,
B: UnwindSafe,
K: UnwindSafe,
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