Trait microkelvin::First
source · [−]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;
}
Expand description
Trait that provides a first
and first_mut
method to any Compound with a
Cardinality annotation
Required methods
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,
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