Type Alias SmExtra 

pub type SmExtra<M> = SmExtra<M>;

Aliased Type

pub enum SmExtra<M> {}

Trait Implementations

impl<M> ByteOrd for SmExtra<M>

fn bytes_cmp(&self, _: &Self) -> Ordering

impl<M> FromSized for SmExtra<M>

fn from_sized(data: &GenericArray<u8, Self::Size>) -> Self

impl<M> InlineOutput for SmExtra<M>

fn slice_to_output(slice: &[Self], output: &mut (impl ?Sized + Output))

where Self: Sized,

Specialisation point to allow types like u8 to provide better serialisation implementation for containers like Vec<u8>.

impl<M> ListHashes for SmExtra<M>

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<M: StaticMap<E, Mapped: 'static + Clone>, E: 'static + Clone> Map<E> for SmExtra<M>

type Mapped = <M as StaticMap<E>>::Mapped

fn map(&self, e: E) -> Self::Mapped

impl<M> MaybeHasNiche for SmExtra<M>

type MnArray = NoNiche<ZeroNoNiche<<SmExtra<M> as Size>::Size>>

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

impl<M> Monostate for SmExtra<M>

impl<M, I: ParseInput> Parse<I> for SmExtra<M>

fn parse(input: I) -> Result<Self>

Parse consuming the whole stream.

impl<M, I: ParseInput> ParseInline<I> for SmExtra<M>

fn parse_inline(_: &mut I) -> Result<Self>

Parse without consuming the whole stream. Errors on unexpected EOF.

fn parse_as_inline(input: I) -> Result<Self>

For implementing Parse::parse.

fn parse_vec(input: I) -> Result<Vec<Self>>

Parse a Vec of Self. Customisable for optimisations.

fn parse_vec_n(input: &mut I, n: usize) -> Result<Vec<Self>>

Parse a Vec of Self of length n. Customisable for optimisations.

fn parse_array<const N: usize>(input: &mut I) -> Result<[Self; N]>

Parse an array of Self. Customisable for optimisations.

fn parse_generic_array<N: ArrayLength>( input: &mut I, ) -> Result<GenericArray<Self, N>>

Parse a GenericArray of Self. Customisable for optimisations.

impl<M> Size for SmExtra<M>

const SIZE: usize = 0

type Size = UTerm

impl<M: StaticMap<T>, T> StaticMap<T> for SmExtra<M>

type Mapped = <M as StaticMap<T>>::Mapped

fn static_map(x: T) -> Self::Mapped

impl<M> Tagged for SmExtra<M>

const TAGS: Tags = _

const HASH: Hash = _

impl<M> ToOutput for SmExtra<M>

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).

impl<M> Topological for SmExtra<M>

fn traverse(&self, visitor: &mut (impl ?Sized + PointVisitor))

List what objects this one refers to.

fn topology(&self) -> TopoVec

Collect references into a dynamically-typed list.

fn byte_node(&self) -> ByteNode

where Self: ToOutput,

Useful in Resolve::resolve and FetchBytes::fetch_bytes.

fn to_resolve(&self) -> Arc<dyn Resolve>

Reconstruct a Resolve usable for Parse::parseing this object based on references.