Struct ArcBiPredicate 

pub struct ArcBiPredicate<T, U> { /* private fields */ }

An Arc-based bi-predicate with thread-safe shared ownership.

This type is suitable for scenarios where the bi-predicate needs to be shared across threads. Composition methods borrow &self, allowing the original bi-predicate to remain usable after composition.

Examples

use prism3_function::bi_predicate::{BiPredicate, ArcBiPredicate};

let pred = ArcBiPredicate::new(|x: &i32, y: &i32| x + y > 0);
assert!(pred.test(&5, &3));

// Original bi-predicate remains usable after composition
let combined = pred.and(ArcBiPredicate::new(|x, y| x > y));
assert!(pred.test(&5, &3));  // Still works

// Can be cloned and sent across threads
let pred_clone = pred.clone();
std::thread::spawn(move || {
    assert!(pred_clone.test(&10, &5));
}).join().unwrap();

Author

Haixing Hu

Implementations

impl<T: 'static, U: 'static> ArcBiPredicate<T, U>

pub fn new<F>(f: F) -> Self

where F: Fn(&T, &U) -> bool + Send + Sync + 'static,

Creates a new bi-predicate.

Wraps the provided closure in the appropriate smart pointer type for this bi-predicate implementation.

pub fn new_with_name<F>(name: &str, f: F) -> Self

where F: Fn(&T, &U) -> bool + Send + Sync + 'static,

Creates a new named bi-predicate.

Wraps the provided closure and assigns it a name, which is useful for debugging and logging purposes.

pub fn new_with_optional_name<F>(f: F, name: Option<String>) -> Self

where F: Fn(&T, &U) -> bool + Send + Sync + 'static,

Creates a new named bi-predicate with an optional name.

Wraps the provided closure and assigns it an optional name.

pub fn name(&self) -> Option<&str>

Gets the name of this bi-predicate.

Returns

Returns Some(&str) if a name was set, None otherwise.

pub fn set_name(&mut self, name: &str)

Sets the name of this bi-predicate.

Parameters

• name - The name to set for this bi-predicate

pub fn always_true() -> Self

Creates a bi-predicate that always returns true.

Returns

A new ArcBiPredicate that always returns true.

pub fn always_false() -> Self

Creates a bi-predicate that always returns false.

Returns

A new ArcBiPredicate that always returns false.

pub fn and<P>(&self, other: P) -> ArcBiPredicate<T, U>

where P: BiPredicate<T, U> + Send + Sync + 'static,

Returns a bi-predicate that represents the logical AND of this bi-predicate and another.

This method consumes self due to single-ownership semantics.

Parameters

• other - The other bi-predicate to combine with.

Returns

A new bi-predicate representing the logical AND.

pub fn or<P>(&self, other: P) -> ArcBiPredicate<T, U>

where P: BiPredicate<T, U> + Send + Sync + 'static,

Returns a bi-predicate that represents the logical OR of this bi-predicate and another.

This method consumes self due to single-ownership semantics.

Parameters

• other - The other bi-predicate to combine with.

Returns

A new bi-predicate representing the logical OR.

pub fn not(&self) -> ArcBiPredicate<T, U>

Returns a bi-predicate that represents the logical negation of this bi-predicate.

This method consumes self due to single-ownership semantics.

Returns

A new bi-predicate representing the logical negation.

pub fn nand<P>(&self, other: P) -> ArcBiPredicate<T, U>

where P: BiPredicate<T, U> + Send + Sync + 'static,

Returns a bi-predicate that represents the logical NAND (NOT AND) of this bi-predicate and another.

NAND returns true unless both bi-predicates are true. Equivalent to !(self AND other).

This method consumes self due to single-ownership semantics.

Parameters

• other - The other bi-predicate to combine with.

Returns

A new bi-predicate representing the logical NAND.

pub fn xor<P>(&self, other: P) -> ArcBiPredicate<T, U>

where P: BiPredicate<T, U> + Send + Sync + 'static,

Returns a bi-predicate that represents the logical XOR (exclusive OR) of this bi-predicate and another.

XOR returns true if exactly one of the bi-predicates is true.

This method consumes self due to single-ownership semantics.

Parameters

• other - The other bi-predicate to combine with.

Returns

A new bi-predicate representing the logical XOR.

pub fn nor<P>(&self, other: P) -> ArcBiPredicate<T, U>

where P: BiPredicate<T, U> + Send + Sync + 'static,

Returns a bi-predicate that represents the logical NOR (NOT OR) of this bi-predicate and another.

NOR returns true only when both bi-predicates are false. Equivalent to !(self OR other).

This method consumes self due to single-ownership semantics.

Parameters

• other - The other bi-predicate to combine with.

Returns

A new bi-predicate representing the logical NOR.

Trait Implementations

impl<T: 'static, U: 'static> BiPredicate<T, U> for ArcBiPredicate<T, U>

fn test(&self, first: &T, second: &U) -> bool

Tests whether the given values satisfy this bi-predicate.

fn into_box(self) -> BoxBiPredicate<T, U>

where T: 'static, U: 'static,

Converts this bi-predicate into a BoxBiPredicate.

fn into_rc(self) -> RcBiPredicate<T, U>

where T: 'static, U: 'static,

Converts this bi-predicate into an RcBiPredicate.

fn into_arc(self) -> ArcBiPredicate<T, U>

where T: 'static, U: 'static,

Converts this bi-predicate into an ArcBiPredicate.

fn into_fn(self) -> impl Fn(&T, &U) -> bool

Converts this bi-predicate into a closure that can be used directly with standard library methods.

fn to_box(&self) -> BoxBiPredicate<T, U>

where T: 'static, U: 'static,

fn to_rc(&self) -> RcBiPredicate<T, U>

where T: 'static, U: 'static,

fn to_arc(&self) -> ArcBiPredicate<T, U>

where T: 'static, U: 'static,

fn to_fn(&self) -> impl Fn(&T, &U) -> bool

impl<T, U> Clone for ArcBiPredicate<T, U>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T, U> Debug for ArcBiPredicate<T, U>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, U> Display for ArcBiPredicate<T, U>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.