Trait penumbra_tct::internal::interface::Focus

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.

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

Required Associated Types

type Complete: Complete<Focus = Self>

The Complete of this Frontier.

Required Methods

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

Transition from an Frontier to being Complete.

Implementors

impl Focus for Item

type Complete = Item

impl<Child: Focus + Clone> Focus for Node<Child>

where Child::Complete: Clone,

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

impl<Item: Focus + Clone> Focus for Tier<Item>

where Item::Complete: Clone,

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

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

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