Trait 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.

Required 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, G, Arg: ?Sized> TypeFunction<Arg> for ComposeF<F, G>

where G: TypeFunction<Arg> + ?Sized, F: TypeFunction<G::Result> + ?Sized,

type Result = <F as TypeFunction<<G as TypeFunction<Arg>>::Result>>::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>