Trait WithArgsImpl 

pub trait WithArgsImpl<F: FnPtr = Self> {
    type F<Args: Tuple>: FnPtr<Args = Args, Output = F::Output, Safety = F::Safety, Abi = F::Abi>;
}

Helper trait used by WithArgs (use it instead). This trait is required to allow FnPtr to be a subtrait of WithArgs, which eliminates the need for a type bound when using a fixed args type. Using WithArgs directly would result in a cyclic supertrait error.

Required Associated Types

type F<Args: Tuple>: FnPtr<Args = Args, Output = F::Output, Safety = F::Safety, Abi = F::Abi>

The function pointer type with the requested argument type(s) (preserving all other properties).

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<Output> WithArgsImpl for fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output> WithArgsImpl for extern "C" fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output> WithArgsImpl for extern "C-unwind" fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output> WithArgsImpl for extern "efiapi" fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output> WithArgsImpl for extern "system" fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output> WithArgsImpl for extern "system-unwind" fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output> WithArgsImpl for unsafe fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output> WithArgsImpl for unsafe extern "C" fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output> WithArgsImpl for unsafe extern "C-unwind" fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output> WithArgsImpl for unsafe extern "efiapi" fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output> WithArgsImpl for unsafe extern "system" fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output> WithArgsImpl for unsafe extern "system-unwind" fn() -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for extern "C" fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for extern "C-unwind" fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for extern "efiapi" fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for extern "system" fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for extern "system-unwind" fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for unsafe fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for unsafe extern "C" fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for unsafe extern "C-unwind" fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for unsafe extern "efiapi" fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for unsafe extern "system" fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A> WithArgsImpl for unsafe extern "system-unwind" fn(A) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for extern "C" fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for extern "C-unwind" fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for extern "efiapi" fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for extern "system" fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for extern "system-unwind" fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for unsafe fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for unsafe extern "C" fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for unsafe extern "C-unwind" fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for unsafe extern "efiapi" fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for unsafe extern "system" fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A, B> WithArgsImpl for unsafe extern "system-unwind" fn(A, B) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for extern "C" fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for extern "C-unwind" fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for extern "efiapi" fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for extern "system" fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for extern "system-unwind" fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for unsafe fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for unsafe extern "C" fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for unsafe extern "C-unwind" fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for unsafe extern "efiapi" fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for unsafe extern "system" fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A, B, C> WithArgsImpl for unsafe extern "system-unwind" fn(A, B, C) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for extern "C" fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for extern "C-unwind" fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for extern "efiapi" fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for extern "system" fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for extern "system-unwind" fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for unsafe fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for unsafe extern "C" fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for unsafe extern "C-unwind" fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for unsafe extern "efiapi" fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for unsafe extern "system" fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D> WithArgsImpl for unsafe extern "system-unwind" fn(A, B, C, D) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for extern "C" fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for extern "C-unwind" fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for extern "efiapi" fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for extern "system" fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for extern "system-unwind" fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for unsafe fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for unsafe extern "C" fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for unsafe extern "C-unwind" fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for unsafe extern "efiapi" fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for unsafe extern "system" fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E> WithArgsImpl for unsafe extern "system-unwind" fn(A, B, C, D, E) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for extern "C" fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for extern "C-unwind" fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for extern "efiapi" fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for extern "system" fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for extern "system-unwind" fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Safe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for unsafe fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<Rust>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for unsafe extern "C" fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<C>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for unsafe extern "C-unwind" fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<CUnwind>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for unsafe extern "efiapi" fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<EfiApi>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for unsafe extern "system" fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<System>>::F as WithOutput<Output>>::F

impl<Output, A, B, C, D, E, F> WithArgsImpl for unsafe extern "system-unwind" fn(A, B, C, D, E, F) -> Output

type F<Args: Tuple> = <<<<Args as Tuple>::BaseFn as WithSafety<Unsafe>>::F as WithAbi<SystemUnwind>>::F as WithOutput<Output>>::F

Implementors