Trait UnConsMut

pub trait UnConsMut {
    type Head<'h>
       where Self: 'h;
    type Tail<'t>
       where Self: 't;

    // Required method
    fn uncons_mut<'a>(&'a mut self) -> (Self::Head<'a>, Self::Tail<'a>);
}

Required Associated Types

type Head<'h> where Self: 'h

type Tail<'t> where Self: 't

Required Methods

fn uncons_mut<'a>(&'a mut self) -> (Self::Head<'a>, Self::Tail<'a>)

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<T1, T2, T3, T4> UnConsMut for (T1, T2, T3, T4)

type Head<'h> = &'h mut T1 where T1: 'h, T2: 'h, T3: 'h, T4: 'h

type Tail<'t> = (&'t mut T2, &'t mut T3, &'t mut T4) where T1: 't, T2: 't, T3: 't, T4: 't

fn uncons_mut<'a>(&'a mut self) -> (Self::Head<'a>, Self::Tail<'a>)

impl<T2, T3, T4> UnConsMut for (T2, T3, T4)

type Head<'h> = &'h mut T2 where T2: 'h, T3: 'h, T4: 'h

type Tail<'t> = (&'t mut T3, &'t mut T4) where T2: 't, T3: 't, T4: 't

fn uncons_mut<'a>(&'a mut self) -> (Self::Head<'a>, Self::Tail<'a>)

impl<T3, T4> UnConsMut for (T3, T4)

type Head<'h> = &'h mut T3 where T3: 'h, T4: 'h

type Tail<'t> = (&'t mut T4,) where T3: 't, T4: 't

fn uncons_mut<'a>(&'a mut self) -> (Self::Head<'a>, Self::Tail<'a>)

impl<T4> UnConsMut for (T4,)

type Head<'h> = &'h mut T4 where T4: 'h

type Tail<'t> = () where T4: 't

fn uncons_mut<'a>(&'a mut self) -> (Self::Head<'a>, Self::Tail<'a>)

Implementors