Trait linera_witty::JoinFlatLayouts

pub trait JoinFlatLayouts<Target> {
    // Required methods
    fn into_joined(self) -> Target;
    fn from_joined(joined: Target) -> Self;
}

Allows converting between the current flat layout and the joined Target flat layout, which may be longer or have some elements wider than the current elements.

Required Methods

fn into_joined(self) -> Target

Converts the current flat layout into a the joined Target flat layout.

fn from_joined(joined: Target) -> Self

Converts from the joined Target flat layout into the current flat layout.

Object Safety

This trait is not object safe.

Implementors

impl JoinFlatLayouts<HNil> for HNil

impl<SourceHead, SourceTail, TargetHead, TargetTail> JoinFlatLayouts<HCons<TargetHead, TargetTail>> for HCons<SourceHead, SourceTail>

where SourceHead: FlatType, TargetHead: FlatType, Either<SourceHead, TargetHead>: JoinFlatTypes<Flat = TargetHead>, SourceTail: JoinFlatLayouts<TargetTail>,

impl<TargetHead, TargetTail> JoinFlatLayouts<HCons<TargetHead, TargetTail>> for HNil

where TargetHead: Default, HNil: JoinFlatLayouts<TargetTail>,