Trait TupleOption 

pub trait TupleOption: TupleDefault {
    type Transposed: IntoTupleOption<IntoOptions = Self>;

    // Required method
    fn transpose(self) -> Option<Self::Transposed>;
}

A trait for transposing a tuple of options into an option of a tuple.

Required Associated Types

type Transposed: IntoTupleOption<IntoOptions = Self>

The transposed type: an option of the tuple of the inner types.

Required Methods

fn transpose(self) -> Option<Self::Transposed>

Transposes the tuple of options into an option of the tuple.

Returns Some((a, b, ...)) if all elements are Some, otherwise None.

Examples

use tuplities_option::TupleOption;

let tuple = (Some(1), Some(2));
let transposed: Option<(i32, i32)> = tuple.transpose();
assert_eq!(transposed, Some((1, 2)));

let tuple = (Some(1), None);
let transposed: Option<(i32, i32)> = tuple.transpose();
assert_eq!(transposed, None);

Part of the tuplities crate.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl TupleOption for ()

type Transposed = ()

fn transpose(self) -> Option<Self::Transposed>

impl<T1> TupleOption for (Option<T1>,)

type Transposed = (T1,)

fn transpose(self) -> Option<Self::Transposed>

impl<T1, T2> TupleOption for (Option<T1>, Option<T2>)

type Transposed = (T1, T2)

fn transpose(self) -> Option<Self::Transposed>

impl<T1, T2, T3> TupleOption for (Option<T1>, Option<T2>, Option<T3>)

type Transposed = (T1, T2, T3)

fn transpose(self) -> Option<Self::Transposed>

impl<T1, T2, T3, T4> TupleOption for (Option<T1>, Option<T2>, Option<T3>, Option<T4>)

type Transposed = (T1, T2, T3, T4)

fn transpose(self) -> Option<Self::Transposed>

impl<T1, T2, T3, T4, T5> TupleOption for (Option<T1>, Option<T2>, Option<T3>, Option<T4>, Option<T5>)

type Transposed = (T1, T2, T3, T4, T5)

fn transpose(self) -> Option<Self::Transposed>

impl<T1, T2, T3, T4, T5, T6> TupleOption for (Option<T1>, Option<T2>, Option<T3>, Option<T4>, Option<T5>, Option<T6>)

type Transposed = (T1, T2, T3, T4, T5, T6)

fn transpose(self) -> Option<Self::Transposed>

impl<T1, T2, T3, T4, T5, T6, T7> TupleOption for (Option<T1>, Option<T2>, Option<T3>, Option<T4>, Option<T5>, Option<T6>, Option<T7>)

type Transposed = (T1, T2, T3, T4, T5, T6, T7)

fn transpose(self) -> Option<Self::Transposed>

impl<T1, T2, T3, T4, T5, T6, T7, T8> TupleOption for (Option<T1>, Option<T2>, Option<T3>, Option<T4>, Option<T5>, Option<T6>, Option<T7>, Option<T8>)

type Transposed = (T1, T2, T3, T4, T5, T6, T7, T8)

fn transpose(self) -> Option<Self::Transposed>

Implementors