Trait Emit 

pub unsafe trait Emit<T>: Sized {
    // Required method
    unsafe fn write_at(self, p: &mut impl Patch, at: Pos);

    // Provided method
    fn emit(self, p: &mut impl Patch) -> Pos
       where T: Flat { ... }
}

Builder trait for constructing values in a Region.

Implementors describe how to serialize a value of type T into a region buffer. The #[derive(Flat)] macro generates builder types (e.g. Foo::make(...)) that implement this trait, enabling fully declarative, tree-shaped region construction via Region::new.

Safety

Implementations must correctly write exactly size_of::<T>() bytes at the given position, with correct field offsets and pointer patching. This invariant is upheld by the derive macro; manual implementations must ensure the same.

Key implementations

Type	Behavior
Primitives (u32, bool, …)	Self-emit via write_flat
&T where T: Flat	Deep-copy via Flat::deep_copy (blanket impl)
Ref<'id, T>	Deep-copy from existing buffer position
Infallible	Unreachable (used for empty NearList iterators)
Generated builders	Field-by-field construction with pointer patching

Required Methods

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

Write this builder’s data at position at.

Safety

at must be a position previously allocated for T in the same buffer.

Provided Methods

fn emit(self, p: &mut impl Patch) -> Pos

where T: Flat,

Reserve space for T, write this builder’s data, and return the position.

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.

Implementations on Foreign Types

impl Emit<bool> for bool

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

impl Emit<i32> for i32

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

impl Emit<i64> for i64

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

impl Emit<u8> for u8

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

impl Emit<u16> for u16

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

impl Emit<u32> for u32

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

impl Emit<u64> for u64

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

impl<A: Flat, B: Flat, BA: Emit<A>, BB: Emit<B>> Emit<(A, B)> for (BA, BB)

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

impl<T: Flat> Emit<Option<T>> for Option<T>

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

impl<T: Flat> Emit<T> for Infallible

unsafe fn write_at(self, _p: &mut impl Patch, _at: Pos)

impl<T: Flat> Emit<T> for &T

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

impl<T: Flat, B: Emit<T>, const N: usize> Emit<[T; N]> for [B; N]

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

Implementors

impl<T: Flat> Emit<T> for Ref<'_, T>