cotis_modules_debug::serialize_targets::leaf_serialization

Struct LeafConfigList

pub struct LeafConfigList<Head, Tail>(/* private fields */);

Expand description

A type-level cons-list of leaf config types used for replay deserialization.

This is a phantom type: it carries no runtime data. Use new to start a one-element list, extend to prepend another type, or new_long when the full Head/Tail types are already known.

Implementations§

Source §

impl<Head, Tail> LeafConfigList<Head, Tail>

Source

pub fn new() -> LeafConfigList<Head, LeafConfigListNil>

Creates a one-element list with Head as the only leaf type.

Source

pub fn extend<Head2, Tail2>() -> LeafConfigList<Head, LeafConfigList<Head2, Tail2>>

Prepends Head to an existing Head2/Tail2 list.

Source

pub fn new_long() -> LeafConfigList<Head, Tail>

Creates a list with the Head and Tail types already specified in the struct.

Trait Implementations§

Source §

impl<Head, Tail> Clone for LeafConfigList<Head, Tail>

Source §

fn clone(&self) -> Self

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

Source §

impl<Head, Tail> Copy for LeafConfigList<Head, Tail>

Source §

impl<Head: Debug, Tail: Debug> Debug for LeafConfigList<Head, Tail>

Source §

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Source §

impl<Head, Tail, Configurer, ConfigType> LeafConfigListCompatible<Configurer, ConfigType> for LeafConfigList<Head, Tail>
where Configurer: ConfigureLeafElements<Head> + ConfigureElements<ConfigType>, Tail: LeafConfigListCompatible<Configurer, ConfigType>, Head: DeserializeOwned,

Source §

fn configure( data: &LeafConfigData, configurer: &mut OpenLeafElement<'_, Configurer, ConfigType>, )

Applies a leaf config blob to an open leaf element.

Source §

fn configure_open( data: &LeafConfigData, configurer: OpenElement<'_, Configurer, ConfigType>, )

Applies a leaf config blob to an open element (consuming it).

Auto Trait Implementations§

§

impl<Head, Tail> Freeze for LeafConfigList<Head, Tail>

§

impl<Head, Tail> RefUnwindSafe for LeafConfigList<Head, Tail>
where Head: RefUnwindSafe, Tail: RefUnwindSafe,

§

impl<Head, Tail> Send for LeafConfigList<Head, Tail>
where Head: Send, Tail: Send,

§

impl<Head, Tail> Sync for LeafConfigList<Head, Tail>
where Head: Sync, Tail: Sync,

§

impl<Head, Tail> Unpin for LeafConfigList<Head, Tail>
where Head: Unpin, Tail: Unpin,

§

impl<Head, Tail> UnsafeUnpin for LeafConfigList<Head, Tail>

§

impl<Head, Tail> UnwindSafe for LeafConfigList<Head, Tail>
where Head: UnwindSafe, Tail: UnwindSafe,

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

Source §

impl<T> CloneToUninit for T
where T: Clone,

Source §

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> ToOwned for T
where T: Clone,

Source §

type Owned = T

The resulting type after obtaining ownership.

Source §

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

Source §

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

Source §

impl<T, U> TryFrom for T
where U: Into<T>,

Source §

type Error = Infallible

The type returned in the event of a conversion error.

Source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

Source §

impl<T, U> TryInto for T
where U: TryFrom<T>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

LeafConfigList

Struct LeafConfigList Copy item path

Implementations§

impl<Head, Tail> LeafConfigList<Head, Tail>

pub fn new() -> LeafConfigList<Head, LeafConfigListNil>

pub fn extend<Head2, Tail2>() -> LeafConfigList<Head, LeafConfigList<Head2, Tail2>>

pub fn new_long() -> LeafConfigList<Head, Tail>

Trait Implementations§

impl<Head, Tail> Clone for LeafConfigList<Head, Tail>

fn clone(&self) -> Self

fn clone_from(&mut self, source: &Self)

impl<Head, Tail> Copy for LeafConfigList<Head, Tail>

impl<Head: Debug, Tail: Debug> Debug for LeafConfigList<Head, Tail>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl<Head, Tail, Configurer, ConfigType> LeafConfigListCompatible<Configurer, ConfigType> for LeafConfigList<Head, Tail>where Configurer: ConfigureLeafElements<Head> + ConfigureElements<ConfigType>, Tail: LeafConfigListCompatible<Configurer, ConfigType>, Head: DeserializeOwned,

fn configure( data: &LeafConfigData, configurer: &mut OpenLeafElement<'_, Configurer, ConfigType>, )

fn configure_open( data: &LeafConfigData, configurer: OpenElement<'_, Configurer, ConfigType>, )

Auto Trait Implementations§

impl<Head, Tail> Freeze for LeafConfigList<Head, Tail>

impl<Head, Tail> RefUnwindSafe for LeafConfigList<Head, Tail>where Head: RefUnwindSafe, Tail: RefUnwindSafe,

impl<Head, Tail> Send for LeafConfigList<Head, Tail>where Head: Send, Tail: Send,

impl<Head, Tail> Sync for LeafConfigList<Head, Tail>where Head: Sync, Tail: Sync,

impl<Head, Tail> Unpin for LeafConfigList<Head, Tail>where Head: Unpin, Tail: Unpin,

impl<Head, Tail> UnsafeUnpin for LeafConfigList<Head, Tail>

impl<Head, Tail> UnwindSafe for LeafConfigList<Head, Tail>where Head: UnwindSafe, Tail: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct LeafConfigList

impl<Head, Tail, Configurer, ConfigType> LeafConfigListCompatible<Configurer, ConfigType> for LeafConfigList<Head, Tail>
where Configurer: ConfigureLeafElements<Head> + ConfigureElements<ConfigType>, Tail: LeafConfigListCompatible<Configurer, ConfigType>, Head: DeserializeOwned,

impl<Head, Tail> RefUnwindSafe for LeafConfigList<Head, Tail>
where Head: RefUnwindSafe, Tail: RefUnwindSafe,

impl<Head, Tail> Send for LeafConfigList<Head, Tail>
where Head: Send, Tail: Send,

impl<Head, Tail> Sync for LeafConfigList<Head, Tail>
where Head: Sync, Tail: Sync,

impl<Head, Tail> Unpin for LeafConfigList<Head, Tail>
where Head: Unpin, Tail: Unpin,

impl<Head, Tail> UnwindSafe for LeafConfigList<Head, Tail>
where Head: UnwindSafe, Tail: UnwindSafe,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,