Trait penumbra_tct::internal::height::Height

pub trait Height {
    type Height: Path;
}

Available on crate feature internal only.

Trait identifying the statically-known height of a given tree element.

This is used to differentiate the hashes at each level of the tree.

Required Associated Types

type Height: Path

The height of this type above the leaves of the tree.

Implementors

impl Height for penumbra_tct::internal::complete::Item

type Height = Zero

impl Height for penumbra_tct::internal::frontier::Item

type Height = Zero

impl<Child: Focus> Height for penumbra_tct::internal::frontier::Node<Child>

type Height = Succ<<Child as Height>::Height>

impl<Child: Height + Clone> Height for penumbra_tct::internal::complete::Node<Child>

type Height = Succ<<Child as Height>::Height>

impl<Item: Focus + Clone> Height for penumbra_tct::internal::frontier::Tier<Item>

where Item::Complete: Clone,

type Height = <Node<Node<Node<Node<Node<Node<Node<Node<Leaf<Item>>>>>>>>> as Height>::Height

impl<Item: Focus + Clone> Height for penumbra_tct::internal::frontier::Top<Item>

where Item::Complete: Clone,

type Height = <Node<Node<Node<Node<Node<Node<Node<Node<Leaf<Item>>>>>>>>> as Height>::Height

impl<Item: GetHash + Height + Clone> Height for penumbra_tct::internal::complete::Tier<Item>

type Height = <Node<Node<Node<Node<Node<Node<Node<Node<Leaf<Item>>>>>>>>> as Height>::Height

impl<Item: GetHash + Height + Clone> Height for penumbra_tct::internal::complete::Top<Item>

type Height = <Node<Node<Node<Node<Node<Node<Node<Node<Leaf<Item>>>>>>>>> as Height>::Height

impl<Item: Height> Height for penumbra_tct::internal::complete::Leaf<Item>

type Height = <Item as Height>::Height

impl<Item: Height> Height for penumbra_tct::internal::frontier::Leaf<Item>

type Height = <Item as Height>::Height

impl<T: Height> Height for Insert<T>

type Height = <T as Height>::Height