Struct BoxBiPredicate 

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

A Box-based bi-predicate with single ownership.

This type is suitable for one-time use scenarios where the bi-predicate does not need to be cloned or shared. Composition methods consume self, reflecting the single-ownership model.

Examples

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

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

// Chaining consumes the bi-predicate
let combined = pred.and(BoxBiPredicate::new(|x, y| x > y));
assert!(combined.test(&10, &5));

Author

Haixing Hu

Implementations

impl<T, U> BoxBiPredicate<T, U>

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

where F: Fn(&T, &U) -> bool + '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 + '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 + '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 BoxBiPredicate that always returns true.

pub fn always_false() -> Self

Creates a bi-predicate that always returns false.

Returns

A new BoxBiPredicate that always returns false.

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

where P: BiPredicate<T, U> + 'static, T: 'static, U: '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) -> BoxBiPredicate<T, U>

where P: BiPredicate<T, U> + 'static, T: 'static, U: '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) -> BoxBiPredicate<T, U>

where T: 'static, U: 'static,

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) -> BoxBiPredicate<T, U>

where P: BiPredicate<T, U> + 'static, T: 'static, U: '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) -> BoxBiPredicate<T, U>

where P: BiPredicate<T, U> + 'static, T: 'static, U: '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) -> BoxBiPredicate<T, U>

where P: BiPredicate<T, U> + 'static, T: 'static, U: '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, U> BiPredicate<T, U> for BoxBiPredicate<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_fn(self) -> impl Fn(&T, &U) -> bool

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

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

where Self: Sized + Send + Sync + 'static, T: 'static, U: 'static,

Converts this bi-predicate into an ArcBiPredicate.

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

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

Formats the value using the given formatter.

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

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

Formats the value using the given formatter.