Trait Receiver 

pub trait Receiver<'a, T: 'a>: Sized {
    type Hkt: ReceiverHkt<'a, Apply<T>: Identity<Type = Self>>;

    const RECEIVER_WIT: ReceiverWit<'a, Self, T> = _;
}

Trait that abstracts over T/&'a T/&'a mut T

Provided Associated Constants

const RECEIVER_WIT: ReceiverWit<'a, Self, T> = _

Witness for whether Self is a T,&'a T, or &'a mut T.

Required Associated Types

type Hkt: ReceiverHkt<'a, Apply<T>: Identity<Type = Self>>

Marker type for abstractly representing values/references/mutable references

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<'a, T: 'a> Receiver<'a, T> for &'a T

type Hkt = RefHkt<'a>

impl<'a, T: 'a> Receiver<'a, T> for &'a mut T

type Hkt = RefMutHkt<'a>

Implementors

impl<'a, T: 'a> Receiver<'a, T> for T

type Hkt = ValueHkt<'a>