Struct NonEmpty 

pub struct NonEmpty<T, C> {
    pub first: T,
    pub rest: C,
}

PositionalParameter wrapper for collection types that structurally guarantees that at least one argument is present.

Collections can be empty, so their Parameter implementations return success if no values were present on the command line. Wrapping them in this type (for instance, NonEmpty<String, Vec<String>>) ensures that at least one argument is present

Fields

first: T

rest: C

Implementations

impl<T, C> NonEmpty<T, C>

where for<'a> &'a C: IntoIterator<Item = &'a T>,

pub fn iter(&self) -> NonEmptyIter<<&C as IntoIterator>::IntoIter>

impl<T, C> NonEmpty<T, C>

where for<'a> &'a mut C: IntoIterator<Item = &'a mut T>,

pub fn iter_mut(&mut self) -> NonEmptyIter<<&mut C as IntoIterator>::IntoIter>

Trait Implementations

impl<T: Clone, C: Clone> Clone for NonEmpty<T, C>

fn clone(&self) -> NonEmpty<T, C>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug, C: Debug> Debug for NonEmpty<T, C>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, C> Extend<T> for NonEmpty<T, C>

where C: Extend<T>,

fn extend<I: IntoIterator<Item = T>>(&mut self, iter: I)

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, item: A)

🔬This is a nightly-only experimental API. (extend_one)

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)

🔬This is a nightly-only experimental API. (extend_one)

Reserves capacity in a collection for the given number of additional elements.

impl<T: Hash, C: Hash> Hash for NonEmpty<T, C>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<C> Index<usize> for NonEmpty<C::Output, C>

where C: Index<usize>, C::Output: Sized,

type Output = <C as Index<usize>>::Output

The returned type after indexing.

fn index(&self, index: usize) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<C> IndexMut<usize> for NonEmpty<C::Output, C>

where C: IndexMut<usize>, C::Output: Sized,

fn index_mut(&mut self, index: usize) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl<'a, T, C> IntoIterator for &'a NonEmpty<T, C>

where &'a C: IntoIterator<Item = &'a T>,

type Item = &'a T

The type of the elements being iterated over.

type IntoIter = NonEmptyIter<<&'a C as IntoIterator>::IntoIter>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'a, T, C> IntoIterator for &'a mut NonEmpty<T, C>

where &'a C: IntoIterator<Item = &'a mut T>,

type Item = &'a mut T

The type of the elements being iterated over.

type IntoIter = NonEmptyIter<<&'a C as IntoIterator>::IntoIter>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<C: IntoIterator> IntoIterator for NonEmpty<C::Item, C>

type Item = <C as IntoIterator>::Item

The type of the elements being iterated over.

type IntoIter = NonEmptyIter<<C as IntoIterator>::IntoIter>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<T: PartialEq, C: PartialEq> PartialEq for NonEmpty<T, C>

fn eq(&self, other: &NonEmpty<T, C>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'arg, T, C> PositionalParameter<'arg> for NonEmpty<T, C>

where T: Value<'arg>, C: Extend<T> + Default,

fn arg<E: Error<'arg>>(argument: &'arg Arg) -> Result<Self, E>

This parameter appeared on the command line, with an argument.

fn add_arg<E: Error<'arg>>(&mut self, argument: &'arg Arg) -> Result<(), E>

This parameter appeared more than once on the command line, with an argument.

fn absent() -> Result<Self, RequiredError>

This parameter was absent from the command line.

impl<T: Copy, C: Copy> Copy for NonEmpty<T, C>

impl<T: Eq, C: Eq> Eq for NonEmpty<T, C>

impl<T, C> StructuralPartialEq for NonEmpty<T, C>