Enum MemoryCapability 

pub enum MemoryCapability {
    Remembering,
    Recalling,
    AnsweringQuestions,
    TravellingInTime,
    KeepingEvidence,
    KeepingReasons,
    FollowingReasons,
}

One thing a memory backend can do.

Variants

Remembering

Keeps what it is given.

Recalling

Gives back what it kept.

AnsweringQuestions

Answers a question put in words, rather than returning everything and leaving the caller to read it.

TravellingInTime

Reads memory as it stood at a moment, excluding what was learned afterwards.

KeepingEvidence

Keeps the evidence attached to an entry, not only the claim.

KeepingReasons

Keeps the reasons between entries, and gives them back.

The one capability a caller should look for before deciding this memory is worth writing to: entries without their edges can be read and not followed, and following is how a later session works out why something was done.

FollowingReasons

Finds the chain of reasons between two entries.

Keeping reasons and being able to follow them are not the same capability: one is storage, the other is search. A backend may hold every edge and still be unable to answer “how did this come from that”, which is the question the memory exists for.

Implementations

impl MemoryCapability

pub const fn as_label(self) -> &'static str

Trait Implementations

impl Clone for MemoryCapability

fn clone(&self) -> MemoryCapability

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MemoryCapability

impl Debug for MemoryCapability

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MemoryCapability

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for MemoryCapability

impl Hash for MemoryCapability

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for MemoryCapability

fn cmp(&self, other: &MemoryCapability) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for MemoryCapability

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for MemoryCapability

fn partial_cmp(&self, other: &MemoryCapability) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for MemoryCapability

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 MemoryCapability