Trait penumbra_tct::internal::interface::Frontier

pub trait Frontier: Focus + Sized {
    type Item;

    // Required methods
    fn new(item: Self::Item) -> Self;
    fn insert_owned(self, item: Self::Item) -> Result<Self, Full<Self>>;
    fn update<T>(&mut self, f: impl FnOnce(&mut Self::Item) -> T) -> Option<T>;
    fn focus(&self) -> Option<&Self::Item>;
    fn is_full(&self) -> bool;
}

Available on crate feature internal only.

A frontier of a tree supporting the insertion of new elements and the updating of the most-recently-inserted element.

Required Associated Types

type Item

The type of item to persist in each witnessed leaf of the frontier.

Required Methods

fn new(item: Self::Item) -> Self

Make a new Frontier containing a single Hash or Self::Item.

fn insert_owned(self, item: Self::Item) -> Result<Self, Full<Self>>

Insert a new Hash or Self::Item into this Frontier, returning either Self with the thing inserted, or the un-inserted thing and the Complete of this Frontier.

fn update<T>(&mut self, f: impl FnOnce(&mut Self::Item) -> T) -> Option<T>

Update the currently focused Insert<Self::Item> (i.e. the most-recently insert one), returning the result of the function.

fn focus(&self) -> Option<&Self::Item>

Get a reference to the focused Insert<Self::Item> (i.e. the most-recently insert one).

fn is_full(&self) -> bool

Check whether this frontier is full.

Object Safety

This trait is not object safe.

Implementors

impl<Child> Frontier for Node<Child>

where Child: Focus + Frontier + GetHash + Clone, Child::Complete: Clone,

type Item = <Child as Frontier>::Item

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

type Item = Item