Enum GoalRef 

pub enum GoalRef {
    Charter(String),
    Task(String),
    Setpoint(String),
}

What a piece of work serves.

Variants

Charter(String)

A standing commitment from the charter (see crate::charter). The id is a crate::charter::CharterLine’s own id.

Rank is the charter’s line order, and is deliberately not carried here. Standing commitments conflict — protecting the owner against not letting a colleague down — and value conflict is the measured cause of goal drift, so the resolution has to be a total order rather than weights: no quantity of a lower commitment outranks a higher one, which is what makes “this is urgent for very many people” a non-argument. Order in the file is that order, on TASK-AGENT-DESIGN.md R1’s rule one noun over — priority derives from the record and is never a field anybody maintains, because a second statement of urgency disagrees with the first the moment either is edited.

Task(String)

A task on the GTD board, by the graph’s own uid.

Setpoint(String)

A homeostatic setpoint, by name. No store yet.

Implementations

impl GoalRef

pub fn kind(&self) -> &'static str

The kind word used on the wire.

pub fn id(&self) -> &str

The identifier this points at, without its kind.

pub fn parse_lenient(s: &str) -> Option<GoalRef>

Parse leniently: anything unrecognised is no reference.

The reader for records. See the module note — a transcript written by a newer binary must not cost the plan that surrounds it.

Trait Implementations

impl Clone for GoalRef

fn clone(&self) -> GoalRef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GoalRef

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

Formats the value using the given formatter.

impl Display for GoalRef

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

Formats the value using the given formatter.

impl Eq for GoalRef

impl FromStr for GoalRef

type Err = ParseGoalRefError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl PartialEq for GoalRef

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for GoalRef

Serialised as the same kind:id string the model writes, never as an object.

One spelling on every wire this type crosses. A derived impl would give a stored record a second shape — {"Task": "01J8ZK"} — and then “what does a goal reference look like” would have two answers depending on which file you opened, which is how a reader written against one silently mis-reads the other.

fn serialize<S: Serializer>(&self, s: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for GoalRef