Trait type_equalities::type_functions::TypeFunction

pub trait TypeFunction<Arg: ?Sized> {
    type Result: ?Sized;
}

A trait for type level functions, mapping type arguments to type results.

Note that Self is used only as a marker. See also substitute, which implements coercing of results.

Associated Types

type Result: ?Sized

The type that Arg is mapped to by the implementor.

Implementors

impl<'a, A: ?Sized + 'a> TypeFunction<A> for MutRefF<'a>

type Result = &'a mut A

impl<'a, A: ?Sized + 'a> TypeFunction<A> for RefF<'a>

type Result = &'a A

impl<A, const N: usize> TypeFunction<A> for SliceF<N>

type Result = [A; N]

impl<A: ?Sized> TypeFunction<A> for BoxF

type Result = Box<A>

impl<A: ?Sized> TypeFunction<A> for IdF

type Result = A

impl<F: ?Sized, G: ?Sized, Arg: ?Sized> TypeFunction<Arg> for ComposeF<F, G> where
    G: TypeFunction<Arg>,
    F: TypeFunction<G::Result>, 

type Result = F::Result

impl<T: ?Sized, Arg: ?Sized> TypeFunction<Arg> for LoefIdF<T>

type Result = TypeEq<T, Arg>

impl<T: ?Sized, Arg: ?Sized> TypeFunction<Arg> for LoefIdFlippedF<T>

type Result = TypeEq<Arg, T>