Struct RcPredicate 

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

An Rc-based predicate with single-threaded shared ownership.

This type is suitable for scenarios where the predicate needs to be reused in a single-threaded context. Composition methods borrow &self, allowing the original predicate to remain usable after composition.

Examples

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

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

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

Author

Haixing Hu

Implementations

impl<T: 'static> RcPredicate<T>

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

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

pub fn always_false() -> Self

Creates a predicate that always returns false.

Returns

A new RcPredicate that always returns false.

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

where P: Predicate<T> + '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) -> RcPredicate<T>

where P: Predicate<T> + '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) -> RcPredicate<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) -> RcPredicate<T>

where P: Predicate<T> + '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) -> RcPredicate<T>

where P: Predicate<T> + '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) -> RcPredicate<T>

where P: Predicate<T> + '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 RcPredicate<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 RcPredicate<T>

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

Formats the value using the given formatter.

impl<T> Display for RcPredicate<T>

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

Formats the value using the given formatter.

impl<T: 'static> Predicate<T> for RcPredicate<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_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_fn(&self) -> impl Fn(&T) -> bool

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

fn into_arc(self) -> ArcPredicate<T>

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

Converts this predicate into an ArcPredicate.

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

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

Converts a reference to this predicate into an ArcPredicate.