Trait microkelvin::Annotation

pub trait Annotation<C, S> where
    C: Compound<S>,
    S: Store, {
    fn identity() -> Self;
    fn from_leaf(leaf: &C::Leaf) -> Self;
    fn from_node(node: &C) -> Self;
}

The main Annotation trait

Required methods

fn identity() -> Self

The empty annotation.

fn from_leaf(leaf: &C::Leaf) -> Self

Creates annotation from a leaf.

fn from_node(node: &C) -> Self

Creates annotation from a node.

Loading content...

Implementors

impl<C, S> Annotation<C, S> for Cardinality where
    C: Compound<S>,
    C::Annotation: Borrow<Cardinality>,
    S: Store, 

fn identity() -> Self

fn from_leaf(_leaf: &C::Leaf) -> Self

fn from_node(node: &C) -> Self

impl<C, S, K> Annotation<C, S> for Max<K> where
    C: Compound<S>,
    S: Store,
    K: PartialOrd + Clone,
    C::Leaf: Borrow<K>,
    C::Annotation: Borrow<K>, 

fn identity() -> Self

fn from_leaf(leaf: &C::Leaf) -> Self

fn from_node(node: &C) -> Self

Loading content...