Struct ArcPredicate 

pub struct ArcPredicate<T> { /* private fields */ }

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

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

Examples

use prism3_function::predicate::{Predicate, ArcPredicate};

let pred = ArcPredicate::new(|x: &i32| *x > 0);
assert!(pred.test(&5));

// Original predicate remains usable after composition
let combined = pred.and(ArcPredicate::new(|x| x % 2 == 0));
assert!(pred.test(&5));  // Still works

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

Author

Haixing Hu

Implementations

impl<T: 'static> ArcPredicate<T>

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

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

Creates a new predicate.

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

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

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

Creates a new named 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) -> bool + Send + Sync + 'static,

Creates a new named 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 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 predicate.

Parameters

• name - The name to set for this predicate

pub fn always_true() -> Self

Creates a predicate that always returns true.

Returns

A new ArcPredicate that always returns true.

pub fn always_false() -> Self

Creates a predicate that always returns false.

Returns

A new ArcPredicate that always returns false.

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

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

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

This method consumes self due to single-ownership semantics.

Parameters

• other - The other predicate to combine with.

Returns

A new predicate representing the logical AND.

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

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

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

This method consumes self due to single-ownership semantics.

Parameters

• other - The other predicate to combine with.

Returns

A new predicate representing the logical OR.

pub fn not(&self) -> ArcPredicate<T>

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

This method consumes self due to single-ownership semantics.

Returns

A new predicate representing the logical negation.

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

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

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

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

This method consumes self due to single-ownership semantics.

Parameters

• other - The other predicate to combine with.

Returns

A new predicate representing the logical NAND.

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

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

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

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

This method consumes self due to single-ownership semantics.

Parameters

• other - The other predicate to combine with.

Returns

A new predicate representing the logical XOR.

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

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

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

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

This method consumes self due to single-ownership semantics.

Parameters

• other - The other predicate to combine with.

Returns

A new predicate representing the logical NOR.

Trait Implementations

impl<T> Clone for ArcPredicate<T>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for ArcPredicate<T>

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

Formats the value using the given formatter.

impl<T> Display for ArcPredicate<T>

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

Formats the value using the given formatter.

impl<T: 'static> Predicate<T> for ArcPredicate<T>

fn test(&self, value: &T) -> bool

Tests whether the given value satisfies this predicate.

fn into_box(self) -> BoxPredicate<T>

where T: 'static,

Converts this predicate into a BoxPredicate.

fn into_rc(self) -> RcPredicate<T>

where T: 'static,

Converts this predicate into an RcPredicate.

fn into_arc(self) -> ArcPredicate<T>

where T: 'static,

Converts this predicate into an ArcPredicate.

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

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

fn to_box(&self) -> BoxPredicate<T>

where T: 'static,

Converts a reference to this predicate into a BoxPredicate.

fn to_rc(&self) -> RcPredicate<T>

where T: 'static,

Converts a reference to this predicate into an RcPredicate.

fn to_arc(&self) -> ArcPredicate<T>

where T: 'static,

Converts a reference to this predicate into an ArcPredicate.

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

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