Trait microkelvin::First

pub trait First<'a, A> where
    Self: Compound<A>, {
    fn first(&'a self) -> Result<Option<Branch<'a, Self, A>>, CanonError>;
    fn first_mut(
        &'a mut self
    ) -> Result<Option<BranchMut<'a, Self, A>>, CanonError>
    where
        Self: MutableLeaves + Clone;
}

Trait that provides a first and first_mut method to any Compound with a Cardinality annotation

Required methods

fn first(&'a self) -> Result<Option<Branch<'a, Self, A>>, CanonError>

Construct a Branch pointing to the first element, if not empty

fn first_mut(&'a mut self) -> Result<Option<BranchMut<'a, Self, A>>, CanonError> where
    Self: MutableLeaves + Clone, 

Construct a BranchMut pointing to the first element, if not empty

Implementors

impl<'a, C, A> First<'a, A> for C where
    C: Compound<A>,
    A: Canon,