penumbra_tct::internal::interface

Trait Focus

Source
pub trait Focus: Height<Height = <Self::Complete as Height>::Height> + GetHash {
    type Complete: Complete<Focus = Self>;

    // Required method
    fn finalize_owned(self) -> Insert<Self::Complete>;
}
Available on crate feature internal only.
Expand description

A type which can be the focus of an Frontier tree: it can be finalized to make a Complete tree.

Required Associated Types§

Source

type Complete: Complete<Focus = Self>

The Complete of this Frontier.

Required Methods§

Source

fn finalize_owned(self) -> Insert<Self::Complete>

Transition from an Frontier to being Complete.

Implementors§

Source§

impl Focus for Item

Source§

impl<Child: Focus + Clone> Focus for Node<Child>
where Child::Complete: Clone,

Source§

type Complete = Node<<Child as Focus>::Complete>

Source§

impl<Item: Focus + Clone> Focus for Tier<Item>
where Item::Complete: Clone,

Source§

type Complete = Tier<<Item as Focus>::Complete>

Source§

impl<Item: Focus> Focus for Leaf<Item>

Source§

type Complete = Leaf<<Item as Focus>::Complete>