Trait Encodes 

pub trait Encodes<Source> {
    type Output;

    // Required method
    fn encode(source: Source) -> Self::Output;
}

User-implemented schema-side encoding trait, in the From direction: the schema is the impl target, the source is the trait parameter.

impl Encodes<&str> for LongString {
    type Output = Blob<LongString>;
    fn encode(s: &str) -> Blob<LongString> { Blob::new(s.into()) }
}

This is the canonical orphan-rule shape (mirroring From<T> in std): downstream that defines a local MyBlobEncoding writes impl Encodes<ForeignType> for MyBlobEncoding — the local encoding sits at the impl-target position so Rust’s orphan checker trivially accepts the impl, no matter how foreign the source type is.

The user-facing source-side ergonomic — source.into_encoded() / source.to_inline() / source.to_blob() — is blanket-derived from this trait via IntoEncoded.

Required Associated Types

type Output

The concrete form this source produces when encoded for this schema. Inline<Self> for inline encodings, Blob<Self> for blob encodings, or Inline<Handle<Self>> for the precomputed-handle case where Self: BlobEncoding.

Required Methods

fn encode(source: Source) -> Self::Output

Run the encoding.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl Encodes<&'static str> for LongString

where Handle<LongString>: InlineEncoding,

type Output = Blob<LongString>

impl Encodes<&ExclusiveId> for GenId

type Output = Inline<GenId>

impl Encodes<&Id> for GenId

type Output = Inline<GenId>

impl Encodes<&OwnedId<'_>> for GenId

type Output = Inline<GenId>

impl Encodes<&String> for ShortString

type Output = Inline<ShortString>

impl Encodes<&TribleSet> for SimpleArchive

where Handle<SimpleArchive>: InlineEncoding,

type Output = Blob<SimpleArchive>

impl Encodes<&[u8; 16]> for GenId

type Output = Inline<GenId>

impl Encodes<&[u8]> for RawBytes

where Handle<RawBytes>: InlineEncoding,

type Output = Blob<RawBytes>

impl Encodes<&[u8]> for WasmCode

where Handle<WasmCode>: InlineEncoding,

type Output = Blob<WasmCode>

impl Encodes<&bool> for Boolean

type Output = Inline<Boolean>

impl Encodes<&str> for ShortString

type Output = Inline<ShortString>

impl Encodes<(u64, u64, u64, u64)> for LineLocation

type Output = Inline<LineLocation>

impl Encodes<(u128, u128)> for RangeInclusiveU128

type Output = Inline<RangeInclusiveU128>

impl Encodes<(u128, u128)> for RangeU128

type Output = Inline<RangeU128>

impl Encodes<Bytes> for RawBytes

where Handle<RawBytes>: InlineEncoding,

type Output = Blob<RawBytes>

impl Encodes<Bytes> for UnknownBlob

where Handle<UnknownBlob>: InlineEncoding,

type Output = Blob<UnknownBlob>

impl Encodes<Bytes> for WasmCode

where Handle<WasmCode>: InlineEncoding,

type Output = Blob<WasmCode>

impl Encodes<Duration> for NsDuration

type Output = Inline<NsDuration>

impl Encodes<ExclusiveId> for GenId

type Output = Inline<GenId>

impl Encodes<I256> for I256BE

type Output = Inline<I256BE>

impl Encodes<I256> for I256LE

type Output = Inline<I256LE>

impl Encodes<Id> for GenId

type Output = Inline<GenId>

impl Encodes<OwnedId<'_>> for GenId

type Output = Inline<GenId>

impl Encodes<Ratio<i128>> for R256BE

type Output = Inline<R256BE>

impl Encodes<Ratio<i128>> for R256LE

type Output = Inline<R256LE>

impl Encodes<Signature> for ED25519RComponent

type Output = Inline<ED25519RComponent>

impl Encodes<Signature> for ED25519SComponent

type Output = Inline<ED25519SComponent>

impl Encodes<Span> for LineLocation

type Output = Inline<LineLocation>

impl Encodes<String> for LongString

where Handle<LongString>: InlineEncoding,

type Output = Blob<LongString>

impl Encodes<String> for ShortString

type Output = Inline<ShortString>

impl Encodes<TribleSet> for SimpleArchive

where Handle<SimpleArchive>: InlineEncoding,

type Output = Blob<SimpleArchive>

impl Encodes<U256> for U256BE

type Output = Inline<U256BE>

impl Encodes<U256> for U256LE

type Output = Inline<U256LE>

impl Encodes<Vec<u8>> for RawBytes

where Handle<RawBytes>: InlineEncoding,

type Output = Blob<RawBytes>

impl Encodes<Vec<u8>> for WasmCode

where Handle<WasmCode>: InlineEncoding,

type Output = Blob<WasmCode>

impl Encodes<VerifyingKey> for ED25519PublicKey

type Output = Inline<ED25519PublicKey>

impl Encodes<View<str>> for LongString

where Handle<LongString>: InlineEncoding,

type Output = Blob<LongString>

impl Encodes<[u8; 16]> for GenId

type Output = Inline<GenId>

impl Encodes<[u8; 32]> for ED25519RComponent

type Output = Inline<ED25519RComponent>

impl Encodes<[u8; 32]> for ED25519SComponent

type Output = Inline<ED25519SComponent>

impl Encodes<bool> for Boolean

type Output = Inline<Boolean>

impl Encodes<f64> for F64

type Output = Inline<F64>

impl Encodes<f256> for F256BE

type Output = Inline<F256BE>

impl Encodes<f256> for F256LE

type Output = Inline<F256LE>

impl Encodes<i8> for I256BE

type Output = Inline<I256BE>

impl Encodes<i8> for I256LE

type Output = Inline<I256LE>

impl Encodes<i16> for I256LE

type Output = Inline<I256LE>

impl Encodes<i32> for I256BE

type Output = Inline<I256BE>

impl Encodes<i32> for I256LE

type Output = Inline<I256LE>

impl Encodes<i64> for I256BE

type Output = Inline<I256BE>

impl Encodes<i64> for I256LE

type Output = Inline<I256LE>

impl Encodes<i128> for I256BE

type Output = Inline<I256BE>

impl Encodes<i128> for I256LE

type Output = Inline<I256LE>

impl Encodes<i128> for NsDuration

type Output = Inline<NsDuration>

impl Encodes<i128> for R256BE

type Output = Inline<R256BE>

impl Encodes<i128> for R256LE

type Output = Inline<R256LE>

impl Encodes<u8> for U256BE

type Output = Inline<U256BE>

impl Encodes<u8> for U256LE

type Output = Inline<U256LE>

impl Encodes<u16> for U256BE

type Output = Inline<U256BE>

impl Encodes<u16> for U256LE

type Output = Inline<U256LE>

impl Encodes<u32> for U256BE

type Output = Inline<U256BE>

impl Encodes<u32> for U256LE

type Output = Inline<U256LE>

impl Encodes<u64> for U256BE

type Output = Inline<U256BE>

impl Encodes<u64> for U256LE

type Output = Inline<U256LE>

impl Encodes<u128> for U256BE

type Output = Inline<U256BE>

impl Encodes<u128> for U256LE

type Output = Inline<U256LE>

impl<S: BlobEncoding> Encodes<Blob<S>> for S

where Handle<S>: InlineEncoding,

Blob<S> is the identity source for [IntoEncoded<S>] in the blob path: it converts to itself with no allocation, and the cached handle inside lets every downstream step skip rehashing.

type Output = Blob<S>

impl<S: InlineEncoding> Encodes<&Inline<S>> for S

type Output = Inline<S>

impl<S: InlineEncoding> Encodes<Inline<S>> for S

type Output = Inline<S>

impl<T: ArrayElement> Encodes<Vec<<T as ArrayElement>::Native>> for Array<T>

where Handle<Array<T>>: InlineEncoding,

Store a Vec<T::Native> as an Array<T> blob (zero-copy via ByteSource).

type Output = Blob<Array<T>>

impl<T: BlobEncoding> Encodes<&Inline<Handle<T>>> for T

where Handle<T>: InlineEncoding,

Reference form of the precomputed-handle case.

type Output = Inline<Handle<T>>

impl<T: BlobEncoding> Encodes<Inline<Handle<T>>> for T

where Handle<T>: InlineEncoding,

Precomputed-handle case: a Inline<Handle<T>> can be passed as a IntoEncoded<T> source (T is the BlobEncoding, matching the Handle<T>-attributed field’s Encoding). Output is the value itself; no side-blob — caller asserts the bytes live somewhere resolvable.

type Output = Inline<Handle<T>>

impl<U> Encodes<&SuccinctArchive<U>> for SuccinctArchiveBlob

where U: Universe + Serializable, Handle<SuccinctArchiveBlob>: InlineEncoding,

type Output = Blob<SuccinctArchiveBlob>

impl<U> Encodes<SuccinctArchive<U>> for SuccinctArchiveBlob

where U: Universe + Serializable, Handle<SuccinctArchiveBlob>: InlineEncoding,

type Output = Blob<SuccinctArchiveBlob>