Skip to main content

ToOutput

Trait ToOutput

pub trait ToOutput {
    // Required method
    fn to_output(&self, output: &mut (impl ?Sized + Output));

    // Provided methods
    fn hasher(&self) -> Sha256 { ... }
    fn data_hash(&self) -> Hash { ... }
    fn mangle_hash(&self) -> Hash { ... }
    fn output<T: FromOutput<Output: Default>>(&self) -> T { ... }
    fn vec(&self) -> Vec<u8> ⓘ { ... }
}

Expand description

Values of this type can be uniquely represented as a Vec<u8>.

Required Methods§

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

Provide object’s byte representation to an Output.

Provided Methods§

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.

For an example of a FromOutput see [Hash].

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

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

Dyn Compatibility§

This trait is not dyn compatible.

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

Implementations on Foreign Types§

impl ToOutput for ()

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

impl ToOutput for Bytes

Available on crate feature bytes only.

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

impl ToOutput for BytesMut

Available on crate feature bytes only.

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

impl ToOutput for CStr

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

impl ToOutput for CString

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

impl ToOutput for Infallible

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

impl ToOutput for NonZero<i8>

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

impl ToOutput for NonZero<i16>

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

impl ToOutput for NonZero<i32>

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

impl ToOutput for NonZero<i64>

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

impl ToOutput for NonZero<i128>

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

impl ToOutput for NonZero<u8>

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

impl ToOutput for NonZero<u16>

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

impl ToOutput for NonZero<u32>

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

impl ToOutput for NonZero<u64>

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

impl ToOutput for NonZero<u128>

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

impl ToOutput for Ordering

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

impl ToOutput for String

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

impl ToOutput for Ulid

Available on crate feature ulid only.

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

impl ToOutput for bool

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

impl ToOutput for char

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

impl ToOutput for f32

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

impl ToOutput for f64

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

impl ToOutput for i8

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

impl ToOutput for i16

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

impl ToOutput for i32

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

impl ToOutput for i64

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

impl ToOutput for i128

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

impl ToOutput for str

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

impl ToOutput for u8

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

impl ToOutput for u16

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

impl ToOutput for u32

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

impl ToOutput for u64

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

impl ToOutput for u128

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

impl<'a, B: 'a + ToOwned + ToOutput + ?Sized> ToOutput for Cow<'a, B>

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

impl<A, O: BitOrder> ToOutput for BitArray<A, O>
where PhantomData<O>: InlineOutput, A: ToOutput + BitViewSized,

Available on crate feature bitvec only.

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

impl<A: InlineOutput, B: InlineOutput, C: InlineOutput, D: InlineOutput, E: InlineOutput, F: InlineOutput, G: InlineOutput, H: InlineOutput, I: InlineOutput, J: InlineOutput, K: InlineOutput, L: ToOutput> ToOutput for (A, B, C, D, E, F, G, H, I, J, K, L)

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

impl<A: InlineOutput, B: InlineOutput, C: InlineOutput, D: InlineOutput, E: InlineOutput, F: InlineOutput, G: InlineOutput, H: InlineOutput, I: InlineOutput, J: InlineOutput, K: ToOutput> ToOutput for (A, B, C, D, E, F, G, H, I, J, K)

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

impl<A: InlineOutput, B: InlineOutput, C: InlineOutput, D: InlineOutput, E: InlineOutput, F: InlineOutput, G: InlineOutput, H: InlineOutput, I: InlineOutput, J: ToOutput> ToOutput for (A, B, C, D, E, F, G, H, I, J)

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

impl<A: InlineOutput, B: InlineOutput, C: InlineOutput, D: InlineOutput, E: InlineOutput, F: InlineOutput, G: InlineOutput, H: InlineOutput, I: ToOutput> ToOutput for (A, B, C, D, E, F, G, H, I)

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

impl<A: InlineOutput, B: InlineOutput, C: InlineOutput, D: InlineOutput, E: InlineOutput, F: InlineOutput, G: InlineOutput, H: ToOutput> ToOutput for (A, B, C, D, E, F, G, H)

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

impl<A: InlineOutput, B: InlineOutput, C: InlineOutput, D: InlineOutput, E: InlineOutput, F: InlineOutput, G: ToOutput> ToOutput for (A, B, C, D, E, F, G)

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

impl<A: InlineOutput, B: InlineOutput, C: InlineOutput, D: InlineOutput, E: InlineOutput, F: ToOutput> ToOutput for (A, B, C, D, E, F)

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

impl<A: InlineOutput, B: InlineOutput, C: InlineOutput, D: InlineOutput, E: ToOutput> ToOutput for (A, B, C, D, E)

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

impl<A: InlineOutput, B: InlineOutput, C: InlineOutput, D: ToOutput> ToOutput for (A, B, C, D)

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

impl<A: InlineOutput, B: InlineOutput, C: ToOutput> ToOutput for (A, B, C)

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

impl<A: InlineOutput, B: ToOutput> ToOutput for (A, B)

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

impl<K: InlineOutput, V: InlineOutput> ToOutput for BTreeMap<K, V>

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

impl<K: InlineOutput, V: InlineOutput> ToOutput for IndexMap<K, V>

Available on crate feature indexmap only.

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

impl<T: ?Sized + ToOutput> ToOutput for &T

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

impl<T: ?Sized + ToOutput> ToOutput for Arc<T>

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

impl<T: ?Sized + ToOutput> ToOutput for Box<T>

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

impl<T: ?Sized> ToOutput for PhantomData<T>

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

impl<T: InlineOutput, N: ArrayLength> ToOutput for GenericArray<T, N>

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

impl<T: InlineOutput, const N: usize> ToOutput for [T; N]

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

impl<T: InlineOutput> ToOutput for BTreeSet<T>

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

impl<T: InlineOutput> ToOutput for IndexSet<T>

Available on crate feature indexmap only.

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

impl<T: InlineOutput> ToOutput for Vec<T>

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

impl<T: InlineOutput> ToOutput for VecDeque<T>

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

impl<T: InlineOutput> ToOutput for [T]

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

impl<T: ToOutput> ToOutput for (T,)

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

impl<T> ToOutput for Option<T>
where T: OptionOutput,

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

impl<T> ToOutput for dyn Send + Sync + ExtraFor<T>

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

impl<const S: usize> ToOutput for CidGeneric<S>

Available on crate feature cid only.

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

Implementors§

impl ToOutput for Address

The only valid connection between an Address and serialisation is in its [Hash].

impl ToOutput for AddressedBytes
where Address: InlineOutput,

impl ToOutput for Be<NonZero<i8>>

impl ToOutput for Be<NonZero<i16>>

impl ToOutput for Be<NonZero<i32>>

impl ToOutput for Be<NonZero<i64>>

impl ToOutput for Be<NonZero<i128>>

impl ToOutput for Be<NonZero<u8>>

impl ToOutput for Be<NonZero<u16>>

impl ToOutput for Be<NonZero<u32>>

impl ToOutput for Be<NonZero<u64>>

impl ToOutput for Be<NonZero<u128>>

impl ToOutput for Be<f32>

impl ToOutput for Be<f64>

impl ToOutput for Be<i8>

impl ToOutput for Be<i16>

impl ToOutput for Be<i32>

impl ToOutput for Be<i64>

impl ToOutput for Be<i128>

impl ToOutput for Be<u8>

impl ToOutput for Be<u16>

impl ToOutput for Be<u32>

impl ToOutput for Be<u64>

impl ToOutput for Be<u128>

impl ToOutput for DiffHashes
where Hash: InlineOutput,

impl ToOutput for Ff

impl ToOutput for Hash

impl ToOutput for Le<NonZero<i8>>

impl ToOutput for Le<NonZero<i16>>

impl ToOutput for Le<NonZero<i32>>

impl ToOutput for Le<NonZero<i64>>

impl ToOutput for Le<NonZero<i128>>

impl ToOutput for Le<NonZero<u8>>

impl ToOutput for Le<NonZero<u16>>

impl ToOutput for Le<NonZero<u32>>

impl ToOutput for Le<NonZero<u64>>

impl ToOutput for Le<NonZero<u128>>

impl ToOutput for Le<f32>

impl ToOutput for Le<f64>

impl ToOutput for Le<i8>

impl ToOutput for Le<i16>

impl ToOutput for Le<i32>

impl ToOutput for Le<i64>

impl ToOutput for Le<i128>

impl ToOutput for Le<u8>

impl ToOutput for Le<u16>

impl ToOutput for Le<u32>

impl ToOutput for Le<u64>

impl ToOutput for Le<u128>

impl ToOutput for LpBytes

impl ToOutput for LpString

impl ToOutput for NicheCut

impl ToOutput for OptionalHash

impl ToOutput for U63

impl ToOutput for dyn Resolve + '_

No-op matching the ParseInline.

impl ToOutput for dyn Singular + '_

impl<'a, T: ?Sized> ToOutput for WithHash<'a, T>
where Hash: InlineOutput, &'a T: ToOutput,

impl<A: InlineOutput + Default + PartialEq, B: ToOutput + Default> ToOutput for DefaultChain<A, B>

impl<A: ToOutput, B: ToOutput> ToOutput for TupleOfArrays<A, B>

impl<Extra> ToOutput for Extras<Extra>

impl<Extra> ToOutput for InlineExtra<Extra>
where Extra: ToOutput,

impl<F> ToOutput for FetchExtra<F>
where F: ToOutput,

impl<K> ToOutput for PartialByteTag<K>
where u8: InlineOutput, PhantomData<K>: ToOutput,

impl<M> ToOutput for SmExtra<M>

impl<T, A: Default + InlineOutput> ToOutput for Dt<T, A>
where for<'a> &'a T: IntoIterator<Item: InlineOutput>,

impl<T, E> ToOutput for Ent<T, E>
where for<'a> &'a T: EntOutput<E>,

impl<T, E> ToOutput for ExtraArray<T, E>
where MappedExtra<Extras<E>, Extra1>: InlineOutput, RuntimeArray<T>: ToOutput,

impl<T, Extra> ToOutput for Addressed<T, Extra>
where Extras<Extra>: InlineOutput, AddressedBytes: InlineOutput, ObjectMarker<T>: ToOutput,

impl<T, M> ToOutput for MappedExtra<T, M>
where M: InlineOutput, T: ToOutput,

impl<T, const MAX: usize> ToOutput for EnumTag<T, MAX>
where T: ToOutput,

impl<T: ?Sized + ToOutput> ToOutput for Mangled<T>

impl<T: ?Sized> ToOutput for ObjectMarker<T>
where PhantomData<fn() -> T>: ToOutput,

impl<T: AsRef<str>> ToOutput for NtString<T>

impl<T: ExtraNoneOutput<E>, E> ToOutput for ExtraOption<T, E>

impl<T: InlineOutput> ToOutput for LpVec<T>

impl<T: ListHashes> ToOutput for Hashes<T>

impl<T: ToOutput> ToOutput for Hashed<T>

impl<T: ToOutput> ToOutput for Lp<T>

impl<T: ToOutput> ToOutput for ParseExtra<T>

impl<T: ToOutput> ToOutput for WithRepr<T>

impl<T: ToOutput> ToOutput for Zt<T>

impl<T> ToOutput for AssertRefless<T>
where T: ToOutput,

impl<T> ToOutput for Local<T>
where T: ToOutput,

impl<T> ToOutput for Nt<T>
where for<'a> &'a T: IntoIterator, for<'a> Option<<&'a T as IntoIterator>::Item>: InlineOutput,

impl<T> ToOutput for RuntimeArray<T>
where Vec<T>: ToOutput,

impl<T> ToOutput for Sequence<T>
where for<'a> &'a T: IntoIterator<Item: InlineOutput>,

impl<T> ToOutput for dyn Fetch<T = T> + '_

Even though we refer to something, we don’t know [Hash] for it. To match correctness, we don’t implement Parse/ParseInline.

impl<T> ToOutput for dyn SingularFetch<T = T> + '_