[−][src]Struct verified::vec::Vec
Implementations
impl<Element> Vec<U0, Element>
[src]
impl<Size: Unsigned, Element> Vec<Size, Element>
[src]
pub fn append<OtherSize: Unsigned>(
self,
other: Vec<OtherSize, Element>
) -> Vec<<Size as Add<OtherSize>>::Output, Element> where
<Size as Add<OtherSize>>::Output: Unsigned,
<Size as Add<OtherSize>>::Output: Cmp,
<Size as Add<OtherSize>>::Output: IsEqual<<Size as Add<OtherSize>>::Output>,
Size: Add<OtherSize>,
[src]
self,
other: Vec<OtherSize, Element>
) -> Vec<<Size as Add<OtherSize>>::Output, Element> where
<Size as Add<OtherSize>>::Output: Unsigned,
<Size as Add<OtherSize>>::Output: Cmp,
<Size as Add<OtherSize>>::Output: IsEqual<<Size as Add<OtherSize>>::Output>,
Size: Add<OtherSize>,
pub fn pop(self) -> (Vec<<Size as Sub<U1>>::Output, Element>, Element) where
Size: IsGreater<U0, Output = B1>,
Size: Cmp<U0>,
Size: IsGreaterOrEqual<U0>,
Size: IsGreater<U0>,
<Size as Sub<U1>>::Output: Unsigned,
<Size as Sub<U1>>::Output: Cmp,
<Size as Sub<U1>>::Output: IsEqual<<Size as Sub<U1>>::Output>,
Size: Sub<U1>,
[src]
Size: IsGreater<U0, Output = B1>,
Size: Cmp<U0>,
Size: IsGreaterOrEqual<U0>,
Size: IsGreater<U0>,
<Size as Sub<U1>>::Output: Unsigned,
<Size as Sub<U1>>::Output: Cmp,
<Size as Sub<U1>>::Output: IsEqual<<Size as Sub<U1>>::Output>,
Size: Sub<U1>,
pub fn push(self, e: Element) -> Vec<<Size as Add<U1>>::Output, Element> where
<Size as Add<U1>>::Output: Unsigned,
<Size as Add<U1>>::Output: Cmp,
<Size as Add<U1>>::Output: IsEqual<<Size as Add<U1>>::Output>,
Size: Add<U1>,
[src]
<Size as Add<U1>>::Output: Unsigned,
<Size as Add<U1>>::Output: Cmp,
<Size as Add<U1>>::Output: IsEqual<<Size as Add<U1>>::Output>,
Size: Add<U1>,
pub fn insert<Index: Unsigned>(
self,
_: Index,
e: Element
) -> Vec<<Size as Add<U1>>::Output, Element> where
<Size as Add<U1>>::Output: Unsigned,
<Size as Add<U1>>::Output: Cmp,
<Size as Add<U1>>::Output: IsEqual<<Size as Add<U1>>::Output>,
Size: Add<U1>,
[src]
self,
_: Index,
e: Element
) -> Vec<<Size as Add<U1>>::Output, Element> where
<Size as Add<U1>>::Output: Unsigned,
<Size as Add<U1>>::Output: Cmp,
<Size as Add<U1>>::Output: IsEqual<<Size as Add<U1>>::Output>,
Size: Add<U1>,
pub fn remove<Index: Unsigned>(
self,
_: Index
) -> (Vec<<Size as Sub<U1>>::Output, Element>, Element) where
Size: IsGreater<U0, Output = B1>,
Size: Cmp<U0>,
Size: IsGreaterOrEqual<U0>,
Size: IsGreater<U0>,
<Size as Sub<U1>>::Output: Unsigned,
<Size as Sub<U1>>::Output: Cmp,
<Size as Sub<U1>>::Output: IsEqual<<Size as Sub<U1>>::Output>,
Size: Sub<U1>,
[src]
self,
_: Index
) -> (Vec<<Size as Sub<U1>>::Output, Element>, Element) where
Size: IsGreater<U0, Output = B1>,
Size: Cmp<U0>,
Size: IsGreaterOrEqual<U0>,
Size: IsGreater<U0>,
<Size as Sub<U1>>::Output: Unsigned,
<Size as Sub<U1>>::Output: Cmp,
<Size as Sub<U1>>::Output: IsEqual<<Size as Sub<U1>>::Output>,
Size: Sub<U1>,
pub fn truncate<NewSize: Unsigned>(self, _: NewSize) -> Vec<NewSize, Element> where
NewSize: IsLess<Size, Output = B1>,
NewSize: Cmp<Size>,
NewSize: IsLessOrEqual<Size>,
NewSize: IsLess<Size>,
[src]
NewSize: IsLess<Size, Output = B1>,
NewSize: Cmp<Size>,
NewSize: IsLessOrEqual<Size>,
NewSize: IsLess<Size>,
impl<Size: Unsigned, Element: Clone> Vec<Size, Element>
[src]
Trait Implementations
impl<SizeL: Unsigned, SizeR: Unsigned, Element> Add<Vec<SizeR, Element>> for Vec<SizeL, Element> where
<SizeL as Add<SizeR>>::Output: Unsigned,
<SizeL as Add<SizeR>>::Output: Cmp,
<SizeL as Add<SizeR>>::Output: IsEqual<<SizeL as Add<SizeR>>::Output>,
SizeL: Add<SizeR>,
[src]
<SizeL as Add<SizeR>>::Output: Unsigned,
<SizeL as Add<SizeR>>::Output: Cmp,
<SizeL as Add<SizeR>>::Output: IsEqual<<SizeL as Add<SizeR>>::Output>,
SizeL: Add<SizeR>,
type Output = Vec<<SizeL as Add<SizeR>>::Output, Element>
The resulting type after applying the +
operator.
fn add(self, Vec: Vec<SizeR, Element>) -> Self::Output
[src]
impl<Size: Clone + Unsigned, Element: Clone> Clone for Vec<Size, Element>
[src]
impl<Size: Debug + Unsigned, Element: Debug> Debug for Vec<Size, Element>
[src]
impl<Size: Default + Unsigned, Element: Default> Default for Vec<Size, Element>
[src]
impl<Size: Eq + Unsigned, Element: Eq> Eq for Vec<Size, Element>
[src]
impl<Size: Unsigned, Element> From<(Vec<Size, Element>, Element)> for Vec<<Size as Add<U1>>::Output, Element> where
<Size as Add<U1>>::Output: Unsigned,
<Size as Add<U1>>::Output: Cmp,
<Size as Add<U1>>::Output: IsEqual<<Size as Add<U1>>::Output>,
Size: Add<U1>,
[src]
<Size as Add<U1>>::Output: Unsigned,
<Size as Add<U1>>::Output: Cmp,
<Size as Add<U1>>::Output: IsEqual<<Size as Add<U1>>::Output>,
Size: Add<U1>,
impl<Size: Unsigned, Element> From<Vec<Size, Element>> for (Vec<<Size as Sub<U1>>::Output, Element>, Element) where
Size: IsGreater<U0, Output = B1>,
Size: Cmp<U0>,
Size: IsGreaterOrEqual<U0>,
Size: IsGreater<U0>,
<Size as Sub<U1>>::Output: Unsigned,
<Size as Sub<U1>>::Output: Cmp,
<Size as Sub<U1>>::Output: IsEqual<<Size as Sub<U1>>::Output>,
Size: Sub<U1>,
[src]
Size: IsGreater<U0, Output = B1>,
Size: Cmp<U0>,
Size: IsGreaterOrEqual<U0>,
Size: IsGreater<U0>,
<Size as Sub<U1>>::Output: Unsigned,
<Size as Sub<U1>>::Output: Cmp,
<Size as Sub<U1>>::Output: IsEqual<<Size as Sub<U1>>::Output>,
Size: Sub<U1>,
impl<Size: Unsigned, Element, I: Unsigned> Index<I> for Vec<Size, Element> where
I: IsLess<Size, Output = B1>,
I: Cmp<Size>,
I: IsLessOrEqual<Size>,
I: IsLess<Size>,
[src]
I: IsLess<Size, Output = B1>,
I: Cmp<Size>,
I: IsLessOrEqual<Size>,
I: IsLess<Size>,
impl<Size: Unsigned, Element, I: Unsigned> IndexMut<I> for Vec<Size, Element> where
I: IsLess<Size, Output = B1>,
I: Cmp<Size>,
I: IsLessOrEqual<Size>,
I: IsLess<Size>,
[src]
I: IsLess<Size, Output = B1>,
I: Cmp<Size>,
I: IsLessOrEqual<Size>,
I: IsLess<Size>,
impl<Size: Ord + Unsigned, Element: Ord> Ord for Vec<Size, Element>
[src]
fn cmp(&self, other: &Vec<Size, Element>) -> Ordering
[src]
#[must_use]fn max(self, other: Self) -> Self
1.21.0[src]
#[must_use]fn min(self, other: Self) -> Self
1.21.0[src]
#[must_use]fn clamp(self, min: Self, max: Self) -> Self
[src]
impl<Size: PartialEq + Unsigned, Element: PartialEq> PartialEq<Vec<Size, Element>> for Vec<Size, Element>
[src]
fn eq(&self, other: &Vec<Size, Element>) -> bool
[src]
fn ne(&self, other: &Vec<Size, Element>) -> bool
[src]
impl<Size: PartialOrd + Unsigned, Element: PartialOrd> PartialOrd<Vec<Size, Element>> for Vec<Size, Element>
[src]
fn partial_cmp(&self, other: &Vec<Size, Element>) -> Option<Ordering>
[src]
fn lt(&self, other: &Vec<Size, Element>) -> bool
[src]
fn le(&self, other: &Vec<Size, Element>) -> bool
[src]
fn gt(&self, other: &Vec<Size, Element>) -> bool
[src]
fn ge(&self, other: &Vec<Size, Element>) -> bool
[src]
impl<Size: Unsigned, Element> StructuralEq for Vec<Size, Element>
[src]
impl<Size: Unsigned, Element> StructuralPartialEq for Vec<Size, Element>
[src]
impl<Size: Unsigned, Element> TryFrom<Vec<Element>> for Vec<Size, Element>
[src]
Auto Trait Implementations
impl<Size, Element> RefUnwindSafe for Vec<Size, Element> where
Element: RefUnwindSafe,
Size: RefUnwindSafe,
Element: RefUnwindSafe,
Size: RefUnwindSafe,
impl<Size, Element> Send for Vec<Size, Element> where
Element: Send,
Size: Send,
Element: Send,
Size: Send,
impl<Size, Element> Sync for Vec<Size, Element> where
Element: Sync,
Size: Sync,
Element: Sync,
Size: Sync,
impl<Size, Element> Unpin for Vec<Size, Element> where
Element: Unpin,
Size: Unpin,
Element: Unpin,
Size: Unpin,
impl<Size, Element> UnwindSafe for Vec<Size, Element> where
Element: UnwindSafe,
Size: UnwindSafe,
Element: UnwindSafe,
Size: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Same<T> for T
[src]
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,