Struct typewit::type_fn::Invoke

source · 
pub struct Invoke<F>(/* private fields */);
Expand description

Type-level function which implements TypeFn by delegating to F

This is mostly a workaround to write F: TypeFn<T> bounds in Rust 1.57.0 (trait bounds in const fns were stabilized in Rust 1.61.0).

Because Foo<F>: Trait-style bounds unintentionally work in 1.57.0, this crate uses Invoke<F>: TypeFn<T> when the "rust_1_61" feature is disabled, and F: TypeFn<T> when it is enabled.

Implementations§

source§

impl<F> Invoke<F>

source

pub const NEW: Self = _

Constructs an Invoke

Trait Implementations§

source§

impl<F> Clone for Invoke<F>

source§

fn clone(&self) -> Self

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<F, R: ?Sized> RevTypeFn<R> for Invoke<F>
where F: RevTypeFn<R>,

§

type Arg = <F as RevTypeFn<R>>::Arg

The argument to this function with Ret as the return value.
source§

impl<F, T: ?Sized> TypeFn<T> for Invoke<F>
where F: TypeFn<T>,

§

type Output = <F as TypeFn<T>>::Output

The return value of the function
source§

const TYPE_FN_ASSERTS: () = ()

Helper constant for adding asserts in the TypeFn impl;
source§

impl<F> Copy for Invoke<F>

Auto Trait Implementations§

§

impl<F> RefUnwindSafe for Invoke<F>

§

impl<F> Send for Invoke<F>

§

impl<F> Sync for Invoke<F>

§

impl<F> Unpin for Invoke<F>

§

impl<F> UnwindSafe for Invoke<F>

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, W> HasTypeWitness<W> for T
where W: MakeTypeWitness<Arg = T>, T: ?Sized,

source§

const WITNESS: W = const WITNESS: W = W::MAKE;

A constant of the type witness
source§

impl<T> Identity for T
where T: ?Sized,

§

type Type = T

The same type as Self, used to emulate type equality bounds (T == U) with associated type equality constraints (T: Identity<Type = U>).
source§

const TYPE_EQ: TypeEq<T, <T as Identity>::Type> = const TYPE_EQ: TypeEq<Self, Self::Type> = TypeEq::NEW;

Proof that Self is the same type as Self::Type, provides methods for casting between Self and Self::Type.
source§

impl<F, A, R> InjTypeFn<A> for F
where F: RevTypeFn<R, Output = R, Arg = A> + TypeFn<A>, A: ?Sized, R: ?Sized,

§

type Ret = R

Return value of the function
source§

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

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> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

§

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

The type returned in the event of a conversion error.
source§

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

Performs the conversion.