Trait penumbra_tct::internal::complete::Complete

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

Available on crate feature internal only.

Marker trait for a type which is the frozen completion of some Focused insertion point.

It is enforced by the type system that Complete and Focus are dual to one another.

Required Associated Types

type Focus: Focus<Complete = Self>

The corresponding Focus of this Complete (i.e. the type which will become this type when it is finalize_owned).

Implementors

impl Complete for Item

type Focus = Item

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

where Child::Focus: Clone,

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

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

where Item::Focus: Clone,

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

impl<Item: Complete> Complete for Leaf<Item>

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