Trait Resolve 

pub trait Resolve:
    Send
    + Sync
    + AsAny {
    // Required methods
    fn resolve<'a>(
        &'a self,
        address: Address,
        this: &'a Arc<dyn Resolve>,
    ) -> FailFuture<'a, ByteNode>;
    fn resolve_data(&self, address: Address) -> FailFuture<'_, Vec<u8>>;

    // Provided methods
    fn try_resolve_local(
        &self,
        address: Address,
        this: &Arc<dyn Resolve>,
    ) -> Result<Option<ByteNode>> { ... }
    fn topology_hash(&self) -> Option<Hash> { ... }
    fn into_topovec(self: Arc<Self>) -> Option<TopoVec> { ... }
}

Something that can resolve Addresses to ByteNodes.

Required Methods

fn resolve<'a>( &'a self, address: Address, this: &'a Arc<dyn Resolve>, ) -> FailFuture<'a, ByteNode>

Resolve the address. For an Object, this is what gets used as PointInput.

this points to same thing as self. Provided for ease of cloning [Hash]-based Resolves.

fn resolve_data(&self, address: Address) -> FailFuture<'_, Vec<u8>>

Resolve data only (without a nested Resolve).

Provided Methods

fn try_resolve_local( &self, address: Address, this: &Arc<dyn Resolve>, ) -> Result<Option<ByteNode>>

Attempt resolving assuming something is local. Returns None when it’s not known to be local.

fn topology_hash(&self) -> Option<Hash>

Topology hash of the underyling sequence if this resolver is index-based.

fn into_topovec(self: Arc<Self>) -> Option<TopoVec>

Attempt unwrapping a TopoVec. Generally shouldn’t be implemented.

Trait Implementations

impl InlineOutput for dyn Resolve + '_

impl ListHashes for dyn Resolve + '_

fn list_hashes(&self, f: &mut (impl ?Sized + FnMut(Hash)))

[Hash]-only part of Topological::traverse.

fn topology_hash(&self) -> Hash

[Hash] of all [Hash]es the object refers to other objects by.

fn point_count(&self) -> usize

How many others this object refers to.

impl MaybeHasNiche for dyn Resolve + '_

type MnArray = NoNiche<ZeroNoNiche<<dyn Resolve + '_ as Size>::Size>>

Should implement [MnArray]. Not constraint explicitly, because that breaks things.

impl Size for dyn Resolve + '_

const SIZE: usize = 0

type Size = UTerm

impl Tagged for dyn Resolve + '_

const TAGS: Tags = _

const HASH: Hash = _

impl ToOutput for dyn Resolve + '_

No-op matching the ParseInline.

fn to_output(&self, _: &mut (impl ?Sized + Output))

Provide object’s byte representation to an Output.

fn hasher(&self) -> Sha256

Return a Sha256 hasher pre-filled with data of this object.

fn data_hash(&self) -> Hash

[Hash] of (real, i.e. serialized) data of this object.

fn mangle_hash(&self) -> Hash

“Mangle hash” of the object. This is used to introduce runtime distinction between data-identical objects similarly to compile-time Tagged::HASH.

fn output<T: FromOutput<Output: Default>>(&self) -> T

Construct an Output, possibly finalising it afterwards.

fn vec(&self) -> Vec<u8>

Collect this object’s data (serialize the object).

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl Resolve for TopoVec