Struct token_cell::monads::TokenMap

source ·

pub struct TokenMap<'a, T: ?Sized, U, F: FnOnce(TokenGuard<'a, T, Token>) -> U, Cell: TokenCellTrait<T, Token> + ?Sized, Token: TokenTrait + 'a> { /* private fields */ }

Implementations§

source §

impl<'a, T: ?Sized, U, F: FnOnce(TokenGuard<'a, T, Token>) -> U, Token: TokenTrait, Cell: TokenCellTrait<T, Token>> TokenMap<'a, T, U, F, Cell, Token>

source

pub fn try_apply(self, token: &'a Token) -> Result<U, Token::ComparisonError>

source

pub fn apply(self, token: &'a Token) -> Uwhere
Token: TokenTrait<ComparisonError = Infallible>,

Auto Trait Implementations§

§

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> RefUnwindSafe for TokenMap<'a, T, U, F, Cell, Token>where
 Cell: RefUnwindSafe,
 F: RefUnwindSafe,
 T: RefUnwindSafe,
 Token: RefUnwindSafe,
 U: RefUnwindSafe,

§

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Send for TokenMap<'a, T, U, F, Cell, Token>where
 F: Send,
 T: Sync,
 Token: Send,
 U: Send,

§

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Sync for TokenMap<'a, T, U, F, Cell, Token>where
 F: Sync,
 T: Sync,
 Token: Sync,
 U: Sync,

§

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Unpin for TokenMap<'a, T, U, F, Cell, Token>where
 F: Unpin,
 Token: Unpin,
 U: Unpin,

§

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> UnwindSafe for TokenMap<'a, T, U, F, Cell, Token>where
 Cell: RefUnwindSafe,
 F: UnwindSafe,
 T: RefUnwindSafe,
 Token: UnwindSafe,
 U: UnwindSafe,

Blanket Implementations§

source §

impl<T> Any for Twhere
T: 'static + ?Sized,

source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source §

impl<T> Borrow<T> for Twhere
T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source §

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source §

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source §

impl<T, U> Into for Twhere
U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source §

impl<T, U> TryFrom for Twhere
U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source §

impl<T, U> TryInto for Twhere
U: TryFrom<T>,

§

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source§

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct token_cell::monads::TokenMap

Implementations§

impl<'a, T: ?Sized, U, F: FnOnce(TokenGuard<'a, T, Token>) -> U, Token: TokenTrait, Cell: TokenCellTrait<T, Token>> TokenMap<'a, T, U, F, Cell, Token>

pub fn try_apply(self, token: &'a Token) -> Result<U, Token::ComparisonError>

pub fn apply(self, token: &'a Token) -> Uwhere
Token: TokenTrait<ComparisonError = Infallible>,

Auto Trait Implementations§

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> RefUnwindSafe for TokenMap<'a, T, U, F, Cell, Token>where
    Cell: RefUnwindSafe,
    F: RefUnwindSafe,
    T: RefUnwindSafe,
    Token: RefUnwindSafe,
    U: RefUnwindSafe,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Send for TokenMap<'a, T, U, F, Cell, Token>where
    F: Send,
    T: Sync,
    Token: Send,
    U: Send,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Sync for TokenMap<'a, T, U, F, Cell, Token>where
    F: Sync,
    T: Sync,
    Token: Sync,
    U: Sync,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Unpin for TokenMap<'a, T, U, F, Cell, Token>where
    F: Unpin,
    Token: Unpin,
    U: Unpin,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> UnwindSafe for TokenMap<'a, T, U, F, Cell, Token>where
    Cell: RefUnwindSafe,
    F: UnwindSafe,
    T: RefUnwindSafe,
    Token: UnwindSafe,
    U: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere
T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere
U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct token_cell::monads::TokenMap

Implementations§

impl<'a, T: ?Sized, U, F: FnOnce(TokenGuard<'a, T, Token>) -> U, Token: TokenTrait, Cell: TokenCellTrait<T, Token>> TokenMap<'a, T, U, F, Cell, Token>

pub fn try_apply(self, token: &'a Token) -> Result<U, Token::ComparisonError>

pub fn apply(self, token: &'a Token) -> Uwhere Token: TokenTrait<ComparisonError = Infallible>,

Auto Trait Implementations§

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> RefUnwindSafe for TokenMap<'a, T, U, F, Cell, Token>where Cell: RefUnwindSafe, F: RefUnwindSafe, T: RefUnwindSafe, Token: RefUnwindSafe, U: RefUnwindSafe,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Send for TokenMap<'a, T, U, F, Cell, Token>where F: Send, T: Sync, Token: Send, U: Send,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Sync for TokenMap<'a, T, U, F, Cell, Token>where F: Sync, T: Sync, Token: Sync, U: Sync,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Unpin for TokenMap<'a, T, U, F, Cell, Token>where F: Unpin, Token: Unpin, U: Unpin,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> UnwindSafe for TokenMap<'a, T, U, F, Cell, Token>where Cell: RefUnwindSafe, F: UnwindSafe, T: RefUnwindSafe, Token: UnwindSafe, U: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

pub fn apply(self, token: &'a Token) -> Uwhere
Token: TokenTrait<ComparisonError = Infallible>,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> RefUnwindSafe for TokenMap<'a, T, U, F, Cell, Token>where
Cell: RefUnwindSafe,
F: RefUnwindSafe,
T: RefUnwindSafe,
Token: RefUnwindSafe,
U: RefUnwindSafe,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Send for TokenMap<'a, T, U, F, Cell, Token>where
F: Send,
T: Sync,
Token: Send,
U: Send,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Sync for TokenMap<'a, T, U, F, Cell, Token>where
F: Sync,
T: Sync,
Token: Sync,
U: Sync,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> Unpin for TokenMap<'a, T, U, F, Cell, Token>where
F: Unpin,
Token: Unpin,
U: Unpin,

impl<'a, T: ?Sized, U, F, Cell: ?Sized, Token> UnwindSafe for TokenMap<'a, T, U, F, Cell, Token>where
Cell: RefUnwindSafe,
F: UnwindSafe,
T: RefUnwindSafe,
Token: UnwindSafe,
U: UnwindSafe,

impl<T> Any for Twhere
T: 'static + ?Sized,

impl<T> Borrow<T> for Twhere
T: ?Sized,

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

impl<T, U> Into<U> for Twhere
U: From<T>,

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,