Struct Pred 

pub struct Pred { /* private fields */ }

Predicate of a selective receive: test decides which payloads it accepts, and repr is a human-readable tag used for Debug/Display and the graph’s canonical key.

repr tags a receive by its program-order position, so the same event gets the same repr across replays. It is not a global identity: two predicates at the same position on different branches or threads can share a repr, so never rely on Pred equality across threads or branches.

Implementations

impl Pred

pub fn new( repr: impl Into<String>, test: impl Fn(&str) -> bool + Send + Sync + 'static, ) -> Self

pub fn any() -> Self

Predicate true: accepts any message (the default recv()).

pub fn eq(v: impl Into<String>) -> Self

Predicate x == v. Records the interned target so test_sym can match by handle without resolving.

pub fn test(&self, v: &str) -> bool

Whether v satisfies the predicate.

pub fn test_sym(&self, v: Val) -> bool

Whether the interned payload v satisfies the predicate. Equality predicates match by handle (no resolve); a general predicate resolves v and runs its closure.

pub fn repr(&self) -> &str

Trait Implementations

impl Clone for Pred

fn clone(&self) -> Pred

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Pred

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

Formats the value using the given formatter.

impl Display for Pred

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

Formats the value using the given formatter.

impl Eq for Pred

impl PartialEq for Pred

Two predicates are equal when their tags match; enough to tell events apart.

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.