Struct DeclinePeel 

pub struct DeclinePeel { /* private fields */ }

The layer-peeling walk behind a declined chord.

Hold one across the re-resolution loop: each peel removes the single layer that produced the declining binding and hands back the reduced set to re-translate against. The caller translates and applies; this decides what to translate against and when to stop.

Implementations

impl DeclinePeel

pub fn new( modal: ModalState, prefix: Vec<KeyChord>, chord: KeyChord, layers: Vec<ModeId>, ) -> Self

prefix is the partial chord as it stood before the declined dispatch — the sequence this chord completes, not what the dispatch left behind.

pub fn peel(&mut self, keymap: &KeymapHandle) -> Option<&[ModeId]>

Drop the layer that produced the declining binding, and yield the reduced layer set to re-translate against.

None means there is nothing left to peel: the winning binding came from the always-on Builtin / User layers, which cannot decline. The walk is bounded — every pass removes exactly one layer.

pub fn prefix(&self) -> &[KeyChord]

The sequence this chord completes. Re-translation uses it, so a declined multi-key chord re-resolves as the sequence it was.

pub fn chord(&self) -> KeyChord

pub fn layers(&self) -> &[ModeId]

pub fn binding_mode(&self) -> BindingMode

pub fn exhausted(&self) -> bool

True when no mode layers remain, so a further decline has nowhere to go and the caller should stop.

Trait Implementations

impl Clone for DeclinePeel

fn clone(&self) -> DeclinePeel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeclinePeel

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

Formats the value using the given formatter.