Struct imap_types::core::NonEmptyVec
source · pub struct NonEmptyVec<T>(_);
Expand description
A Vec
that always contains >= 1 elements.
Some messages in IMAP require a list of at least one element. We encoded these situations in a non-empty vector type to not produce invalid messages.
The Debug
implementation equals Vec
with an attached +
at the end.
Implementations§
source§impl<T> NonEmptyVec<T>
impl<T> NonEmptyVec<T>
pub fn validate(value: &[T]) -> Result<(), NonEmptyVecError>
sourcepub fn unvalidated(inner: Vec<T>) -> Self
Available on crate feature unvalidated
only.
pub fn unvalidated(inner: Vec<T>) -> Self
unvalidated
only.Constructs a non-empty vector without validation.
Warning: IMAP conformance
The caller must ensure that inner
is valid according to Self::validate
. Failing to do
so may create invalid/unparsable IMAP messages, or even produce unintended protocol flows.
Do not call this constructor with untrusted data.
pub fn into_inner(self) -> Vec<T>
Trait Implementations§
source§impl<'a, T> Arbitrary<'a> for NonEmptyVec<T>where
T: Arbitrary<'a>,
impl<'a, T> Arbitrary<'a> for NonEmptyVec<T>where T: Arbitrary<'a>,
source§fn arbitrary(u: &mut Unstructured<'a>) -> Result<Self>
fn arbitrary(u: &mut Unstructured<'a>) -> Result<Self>
Generate an arbitrary value of
Self
from the given unstructured data. Read moresource§fn arbitrary_take_rest(u: Unstructured<'a>) -> Result<Self, Error>
fn arbitrary_take_rest(u: Unstructured<'a>) -> Result<Self, Error>
Generate an arbitrary value of
Self
from the entirety of the given
unstructured data. Read moresource§impl<T> AsRef<[T]> for NonEmptyVec<T>
impl<T> AsRef<[T]> for NonEmptyVec<T>
source§impl<T: Clone> Clone for NonEmptyVec<T>
impl<T: Clone> Clone for NonEmptyVec<T>
source§fn clone(&self) -> NonEmptyVec<T>
fn clone(&self) -> NonEmptyVec<T>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<T> Debug for NonEmptyVec<T>where
T: Debug,
impl<T> Debug for NonEmptyVec<T>where T: Debug,
source§impl<'de, T> Deserialize<'de> for NonEmptyVec<T>where
T: Deserialize<'de>,
impl<'de, T> Deserialize<'de> for NonEmptyVec<T>where T: Deserialize<'de>,
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl<T> From<T> for NonEmptyVec<T>
impl<T> From<T> for NonEmptyVec<T>
source§impl<T: Hash> Hash for NonEmptyVec<T>
impl<T: Hash> Hash for NonEmptyVec<T>
source§impl<T: IntoBoundedStatic> IntoBoundedStatic for NonEmptyVec<T>
impl<T: IntoBoundedStatic> IntoBoundedStatic for NonEmptyVec<T>
§type Static = NonEmptyVec<<T as IntoBoundedStatic>::Static>
type Static = NonEmptyVec<<T as IntoBoundedStatic>::Static>
The target type is bounded by the
'static
lifetime.source§fn into_static(self) -> Self::Static
fn into_static(self) -> Self::Static
Convert an owned
T
into an owned T
such that T: 'static
.source§impl<T> IntoIterator for NonEmptyVec<T>
impl<T> IntoIterator for NonEmptyVec<T>
source§impl<T: PartialEq> PartialEq<NonEmptyVec<T>> for NonEmptyVec<T>
impl<T: PartialEq> PartialEq<NonEmptyVec<T>> for NonEmptyVec<T>
source§fn eq(&self, other: &NonEmptyVec<T>) -> bool
fn eq(&self, other: &NonEmptyVec<T>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl<T> Serialize for NonEmptyVec<T>where
T: Serialize,
impl<T> Serialize for NonEmptyVec<T>where T: Serialize,
source§impl<T: ToBoundedStatic> ToBoundedStatic for NonEmptyVec<T>
impl<T: ToBoundedStatic> ToBoundedStatic for NonEmptyVec<T>
§type Static = NonEmptyVec<<T as ToBoundedStatic>::Static>
type Static = NonEmptyVec<<T as ToBoundedStatic>::Static>
The target type is bounded by the
'static
lifetime.impl<T: Eq> Eq for NonEmptyVec<T>
impl<T> StructuralEq for NonEmptyVec<T>
impl<T> StructuralPartialEq for NonEmptyVec<T>
Auto Trait Implementations§
impl<T> RefUnwindSafe for NonEmptyVec<T>where T: RefUnwindSafe,
impl<T> Send for NonEmptyVec<T>where T: Send,
impl<T> Sync for NonEmptyVec<T>where T: Sync,
impl<T> Unpin for NonEmptyVec<T>where T: Unpin,
impl<T> UnwindSafe for NonEmptyVec<T>where T: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more