Struct Subject 

pub struct Subject {
    pub scope: Option<String>,
    pub order: Option<u64>,
    pub effect: Option<EffectId>,
    pub parent: Option<EffectId>,
    pub key: Option<HandlerKey>,
    pub family: Option<EffectFamily>,
}

What an observation is about. Every field is optional because facts exist before an effect has an id (a gate decides a pending intent), and some have no effect at all (a run ending). Correlation never depends on a runtime handle: scope is the program’s serde id, order the driver’s dispatch order, effect/parent the record’s ids.

Fields

scope: Option<String>

The program scope (the run or agent), as the record names it.

order: Option<u64>

The driver’s dispatch order for the effect, when it has one; stable before an id is issued, so a pre-dispatch decision correlates.

effect: Option<EffectId>

The effect’s id once issued.

parent: Option<EffectId>

The dispatch this one was made from, when a handler made it.

key: Option<HandlerKey>

The key the effect is routed to.

family: Option<EffectFamily>

The family of the effect, when known.

Implementations

impl Subject

pub fn scoped(scope: impl Into<String>) -> Self

A subject with nothing but a scope: a run-level fact.

Trait Implementations

impl Clone for Subject

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Subject

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

Formats the value using the given formatter.

impl Default for Subject

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Subject

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Subject

impl PartialEq for Subject

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Subject

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Subject