Struct FactKey 

pub struct FactKey {
    pub identifier: Identifier,
    pub value: HashableValue,
}

One labeled value in a fact key. A sequence of FactKeys mapped to a sequence of FactValues comprises a Fact.

Fields

identifier: Identifier

key name

value: HashableValue

key value

Implementations

impl FactKey

pub fn new(name: Identifier, value: HashableValue) -> Self

Creates a new fact key.

Trait Implementations

impl Archive for FactKey

where Identifier: Archive, HashableValue: Archive,

const COPY_OPTIMIZATION: CopyOptimization<Self>

An optimization flag that allows the bytes of this type to be copied directly to a writer instead of calling serialize.

type Archived = ArchivedFactKey

The archived representation of this type.

type Resolver = FactKeyResolver

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.

fn resolve(&self, resolver: Self::Resolver, out: Place<Self::Archived>)

Creates the archived version of this value at the given position and writes it to the given output.

impl Clone for FactKey

fn clone(&self) -> FactKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactKey

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FactKey

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<__D: Fallible + ?Sized> Deserialize<FactKey, __D> for Archived<FactKey>

where Identifier: Archive, <Identifier as Archive>::Archived: Deserialize<Identifier, __D>, HashableValue: Archive, <HashableValue as Archive>::Archived: Deserialize<HashableValue, __D>,

fn deserialize( &self, deserializer: &mut __D, ) -> Result<FactKey, <__D as Fallible>::Error>

Deserializes using the given deserializer

impl Display for FactKey

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

Formats the value using the given formatter.

impl From<FactKey> for KVPair

fn from(value: FactKey) -> Self

Converts to this type from the input type.

impl Hash for FactKey

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 FactKey

fn cmp(&self, other: &FactKey) -> 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 FactKey

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for FactKey

fn partial_cmp(&self, other: &FactKey) -> 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<__S: Fallible + ?Sized> Serialize<__S> for FactKey

where Identifier: Serialize<__S>, HashableValue: Serialize<__S>,

fn serialize( &self, serializer: &mut __S, ) -> Result<<Self as Archive>::Resolver, <__S as Fallible>::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.

impl Serialize for FactKey

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for FactKey

impl StructuralPartialEq for FactKey