Enum holochain_types::dht_op::DhtOp

source ·
pub enum DhtOp {
    StoreRecord(Signature, Action, RecordEntry),
    StoreEntry(Signature, NewEntryAction, Entry),
    RegisterAgentActivity(Signature, Action),
    RegisterUpdatedContent(Signature, Update, RecordEntry),
    RegisterUpdatedRecord(Signature, Update, RecordEntry),
    RegisterDeletedBy(Signature, Delete),
    RegisterDeletedEntryAction(Signature, Delete),
    RegisterAddLink(Signature, CreateLink),
    RegisterRemoveLink(Signature, DeleteLink),
}
Expand description

A unit of DHT gossip. Used to notify an authority of new (meta)data to hold as well as changes to the status of already held data.

Variants§

§

StoreRecord(Signature, Action, RecordEntry)

Used to notify the authority for an action that it has been created.

Conceptually, authorities receiving this DhtOp do three things:

  • Ensure that the record passes validation.
  • Store the action into their DHT shard.
  • Store the entry into their CAS.
    • Note: they do not become responsible for keeping the set of references from that entry up-to-date.
§

StoreEntry(Signature, NewEntryAction, Entry)

Used to notify the authority for an entry that it has been created anew. (The same entry can be created more than once.)

Conceptually, authorities receiving this DhtOp do four things:

  • Ensure that the record passes validation.
  • Store the entry into their DHT shard.
  • Store the action into their CAS.
    • Note: they do not become responsible for keeping the set of references from that action up-to-date.
  • Add a “created-by” reference from the entry to the hash of the action.

TODO: document how those “created-by” references are stored in reality.

§

RegisterAgentActivity(Signature, Action)

Used to notify the authority for an agent’s public key that that agent has committed a new action.

Conceptually, authorities receiving this DhtOp do three things:

  • Ensure that the action alone passes surface-level validation.
  • Store the action into their DHT shard.
    • FIXME: @artbrock, do they?
  • Add an “agent-activity” reference from the public key to the hash of the action.

TODO: document how those “agent-activity” references are stored in reality.

§

RegisterUpdatedContent(Signature, Update, RecordEntry)

Op for updating an entry. This is sent to the entry authority.

§

RegisterUpdatedRecord(Signature, Update, RecordEntry)

Op for updating a record. This is sent to the record authority.

§

RegisterDeletedBy(Signature, Delete)

Op for registering an action deletion with the Action authority

§

RegisterDeletedEntryAction(Signature, Delete)

Op for registering an action deletion with the Entry authority, so that the Entry can be marked Dead if all of its Actions have been deleted

Op for adding a link

Op for removing a link

Implementations§

source§

impl DhtOp

source

pub fn author_mut(&mut self) -> &mut AgentPubKey

Mutable access to the Author

source

pub fn timestamp(&self) -> Timestamp

Access to the Timestamp

source

pub fn timestamp_mut(&mut self) -> &mut Timestamp

Mutable access to the Timestamp

source

pub fn signature_mut(&mut self) -> &mut Signature

Mutable access to the Signature

source

pub fn action_seq_mut(&mut self) -> Option<&mut u32>

Mutable access to the seq of the Action, if applicable

source

pub fn action_entry_data_mut( &mut self ) -> Option<(&mut EntryHash, &mut EntryType)>

Mutable access to the entry data of the Action, if applicable

source§

impl DhtOp

source

pub fn dht_basis(&self) -> OpBasis

Returns the basis hash which determines which agents will receive this DhtOp

source

pub fn to_light(&self) -> DhtOpLight

Convert a DhtOp to a DhtOpLight and basis

source

pub fn signature(&self) -> &Signature

Get the signature for this op

source

pub fn action(&self) -> Action

Get the action from this op This requires cloning and converting the action as some ops don’t hold the Action type

source

pub fn entry(&self) -> RecordEntryRef<'_>

Get the entry from this op, if one exists

source

pub fn get_type(&self) -> DhtOpType

Get the type as a unit enum, for Display purposes

source

pub fn from_type( op_type: DhtOpType, action: SignedAction, entry: Option<Entry> ) -> DhtOpResult<Self>

From a type, action and an entry (if there is one)

source

pub fn enzymatic_countersigning_enzyme(&self) -> Option<&AgentPubKey>

Enzymatic countersigning session ops need special handling so that they arrive at the enzyme and not elsewhere. If this isn’t an enzymatic countersigning session then the return will be None so can be used as a boolean for filtering with is_some().

Trait Implementations§

source§

impl<'arbitrary> Arbitrary<'arbitrary> for DhtOp

source§

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data. Read more
source§

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data. Read more
source§

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself. Read more
source§

impl Clone for DhtOp

source§

fn clone(&self) -> DhtOp

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for DhtOp

source§

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

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for DhtOp

source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl Display for DhtOp

source§

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

Formats the value using the given formatter. Read more
source§

impl Hash for DhtOp

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

impl HashableContent for DhtOp

§

type HashType = DhtOp

The HashType which this content will be hashed to
source§

fn hash_type(&self) -> Self::HashType

The HashType which this content will be hashed to
source§

fn hashable_content(&self) -> HashableContentBytes

Return a subset of the content, either as SerializedBytes “content”, which will be used to compute the hash, or as an already precomputed hash which will be used directly
source§

impl OpRegion for DhtOp

source§

fn loc(&self) -> Loc

The op’s Location
source§

fn timestamp(&self) -> Timestamp

The op’s Timestamp
source§

fn region_data(&self) -> RegionData

The RegionData that would be produced if this op were the only op in the region. The sum of these produces the RegionData for the whole region.
source§

fn bound(_timestamp: Timestamp, _loc: Loc) -> Self

Create an Op with arbitrary data but that has the given timestamp and location. Used for bounded range queries based on the PartialOrd impl of the op.
source§

fn coords(&self, topo: &Topology) -> SpacetimeQuantumCoords

The quantized space and time coordinates, based on the location and timestamp.
source§

impl Ord for DhtOp

source§

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

This method returns an Ordering between self and other. Read more
1.21.0 · source§

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

Compares and returns the maximum of two values. Read more
1.21.0 · source§

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

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized + PartialOrd,

Restrict a value to a certain interval. Read more
source§

impl PartialEq for DhtOp

source§

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

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd for DhtOp

source§

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

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

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

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

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

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

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

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

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

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more
source§

impl Serialize for DhtOp

source§

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

Serialize this value into the given Serde serializer. Read more
source§

impl TryFrom<&DhtOp> for SerializedBytes

§

type Error = SerializedBytesError

The type returned in the event of a conversion error.
source§

fn try_from(t: &DhtOp) -> Result<SerializedBytes, SerializedBytesError>

Performs the conversion.
source§

impl TryFrom<DhtOp> for SerializedBytes

§

type Error = SerializedBytesError

The type returned in the event of a conversion error.
source§

fn try_from(t: DhtOp) -> Result<SerializedBytes, SerializedBytesError>

Performs the conversion.
source§

impl TryFrom<SerializedBytes> for DhtOp

§

type Error = SerializedBytesError

The type returned in the event of a conversion error.
source§

fn try_from(sb: SerializedBytes) -> Result<DhtOp, SerializedBytesError>

Performs the conversion.
source§

impl Eq for DhtOp

source§

impl StructuralPartialEq for DhtOp

Auto Trait Implementations§

§

impl Freeze for DhtOp

§

impl RefUnwindSafe for DhtOp

§

impl Send for DhtOp

§

impl Sync for DhtOp

§

impl Unpin for DhtOp

§

impl UnwindSafe for DhtOp

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> ArchivePointee for T

§

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.
source§

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CallHasher for T
where T: Hash + ?Sized,

source§

default fn get_hash<H, B>(value: &H, build_hasher: &B) -> u64
where H: Hash + ?Sized, B: BuildHasher,

source§

impl<Q, K> Comparable<K> for Q
where Q: Ord + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn compare(&self, key: &K) -> Ordering

Compare self to key and return their ordering.
source§

impl<F, W, T, D> Deserialize<With<T, W>, D> for F
where W: DeserializeWith<F, T, D>, D: Fallible + ?Sized, F: ?Sized,

source§

fn deserialize( &self, deserializer: &mut D ) -> Result<With<T, W>, <D as Fallible>::Error>

Deserializes using the given deserializer
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> FutureExt for T

source§

fn with_context(self, otel_cx: Context) -> WithContext<Self>

Attaches the provided Context to this type, returning a WithContext wrapper. Read more
source§

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more
source§

impl<T, C> HashableContentExtSync<T> for C
where T: HashTypeSync, C: HashableContent<HashType = T>,

source§

fn to_hash(&self) -> HoloHash<T>

Construct a HoloHash from a reference
source§

fn into_hashed(self) -> HoloHashed<C>

Move into a HoloHashed
source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<T> LayoutRaw for T

source§

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Gets the layout of the type.
source§

impl<T> Pointable for T

source§

const ALIGN: usize = _

The alignment of pointer.
§

type Init = T

The type for initializers.
source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

impl<T> Pointee for T

§

type Metadata = ()

The type for metadata in pointers and references to Self.
source§

impl<T> Same for T

§

type Output = T

Should always be Self
source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
source§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T> ToString for T
where T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> Upcastable for T
where T: Any + Send + Sync + 'static,

source§

fn upcast_any_ref(&self) -> &(dyn Any + 'static)

upcast ref
source§

fn upcast_any_mut(&mut self) -> &mut (dyn Any + 'static)

upcast mut ref
source§

fn upcast_any_box(self: Box<T>) -> Box<dyn Any>

upcast boxed dyn
source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

impl<T> AutoBTreeMapKey for T

source§

impl<T> AutoHashMapKey for T

source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

source§

impl<T> State for T
where T: Debug + Clone + Send + Sync,

source§

impl<'a, T> Target<'a> for T
where T: 'a + Debug + Clone + Send + Sync + PartialEq + Arbitrary<'a>,