Trait microkelvin::Annotation

pub trait Annotation<Leaf>: Default + Clone + Combine<Self> + Primitive {
    fn from_leaf(leaf: &Leaf) -> Self;

    fn from_node<C, S>(node: &C) -> Self
    where
        C: Compound<Self, S, Leaf = Leaf>,
        C::Leaf: Archive,
    { ... }
}

The trait defining an annotation type over a leaf

Required Methods

fn from_leaf(leaf: &Leaf) -> Self

Creates an annotation from the leaf type

Provided Methods

fn from_node<C, S>(node: &C) -> Self where
    C: Compound<Self, S, Leaf = Leaf>,
    C::Leaf: Archive, 

Create an annotation from a node

Implementations on Foreign Types

impl<L> Annotation<L> for ()

fn from_leaf(_: &L) -> Self

Implementors

impl<K, L> Annotation<L> for MaxKey<K> where
    L: Keyed<K>,
    K: Primitive + Clone + Ord, 

impl<L> Annotation<L> for Cardinality