Trait tuplez::Unwrap

pub trait Unwrap {
    type Output;

    // Required methods
    fn unwrap(self) -> Self::Output;
    fn has_value(&self) -> bool;
}

Indicate that a type is a wrapper of a value and can be unwrapped into it.

Only available if the unwrap feature is enabled (enabled by default).

Unwrap is implemented by default for four types:

• Option<T>
• Result<T, E>
• Unit
• Tuple<T0, T1, ... Tn> if all types T0, T1, … Tn implement Unwrap.

Implement Unwrap for your own wrapper types so that a Tuple containing your wrappers can be unwrap().

Required Associated Types

type Output

Type of the contained value.

Required Methods

fn unwrap(self) -> Self::Output

Get the contained value.

Because this function may panic, its use is generally discouraged. Instead, use unwrap_or_default() or try_unwrap().

Panic

Panic if self does not contain a value.

Example

use tuplez::*;

let tup = tuple!(Some(1), Ok::<f32, ()>(3.14), Some("hello"));
assert_eq!(tup.unwrap(), tuple!(1, 3.14, "hello"));

fn has_value(&self) -> bool

Check if self contains a value.

Soundess requirement: When has_value() returns true, unwrap() cannot panic.

Implementations on Foreign Types

impl<T> Unwrap for Option<T>

type Output = T

fn unwrap(self) -> Self::Output

fn has_value(&self) -> bool

impl<T, E: Debug> Unwrap for Result<T, E>

type Output = T

fn unwrap(self) -> Self::Output

fn has_value(&self) -> bool

Implementors

impl Unwrap for Unit

type Output = Unit

impl<First, Other> Unwrap for Tuple<First, Other>

where Other: TupleLike + Unwrap, First: Unwrap,

type Output = Tuple<<First as Unwrap>::Output, <Other as Unwrap>::Output>