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", so this trait is not object safe.

Implementors

impl Encodes<&'static str> for LongString

where Handle<LongString>: InlineEncoding,

type Output = Blob<LongString>

impl Encodes<&bool> for Boolean

type Output = Inline<Boolean>

impl Encodes<&str> for ShortString

type Output = Inline<ShortString>

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<&TribleSet> for SimpleArchive

where Handle<SimpleArchive>: InlineEncoding,

type Output = Blob<SimpleArchive>

impl Encodes<&String> for ShortString

type Output = Inline<ShortString>

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<(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<bool> for Boolean

type Output = Inline<Boolean>

impl Encodes<f64> for F64

type Output = Inline<F64>

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 R256BE

type Output = Inline<R256BE>

impl Encodes<i128> for R256LE

type Output = Inline<R256LE>

impl Encodes<i128> for NsDuration

type Output = Inline<NsDuration>

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 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<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<View<str>> for LongString

where Handle<LongString>: InlineEncoding,

type Output = Blob<LongString>

impl Encodes<TribleSet> for SimpleArchive

where Handle<SimpleArchive>: InlineEncoding,

type Output = Blob<SimpleArchive>

impl Encodes<VerifyingKey> for ED25519PublicKey

type Output = Inline<ED25519PublicKey>

impl Encodes<String> for LongString

where Handle<LongString>: InlineEncoding,

type Output = Blob<LongString>

impl Encodes<String> for ShortString

type Output = Inline<ShortString>

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<Span> for LineLocation

type Output = Inline<LineLocation>

impl Encodes<Signature> for ED25519RComponent

type Output = Inline<ED25519RComponent>

impl Encodes<Signature> for ED25519SComponent

type Output = Inline<ED25519SComponent>

impl Encodes<I256> for I256BE

type Output = Inline<I256BE>

impl Encodes<I256> for I256LE

type Output = Inline<I256LE>

impl Encodes<U256> for U256BE

type Output = Inline<U256BE>

impl Encodes<U256> for U256LE

type Output = Inline<U256LE>

impl Encodes<f256> for F256BE

type Output = Inline<F256BE>

impl Encodes<f256> for F256LE

type Output = Inline<F256LE>

impl Encodes<Duration> for NsDuration

type Output = Inline<NsDuration>

impl Encodes<Ratio<i128>> for R256BE

type Output = Inline<R256BE>

impl Encodes<Ratio<i128>> for R256LE

type Output = Inline<R256LE>

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