Trait TypeProvider 

pub trait TypeProvider<__Context__, Tag>: IsProviderFor<TypeProviderComponent, __Context__, Tag> {
    type Type;
}

Required Associated Types

type Type

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<__Context__, Tag, __Components__, __Delegate__> TypeProvider<__Context__, Tag> for UseDelegate<__Components__>

where __Components__: DelegateComponent<Tag, Delegate = __Delegate__>, __Delegate__: TypeProvider<__Context__, Tag>,

type Type = <__Delegate__ as TypeProvider<__Context__, Tag>>::Type

impl<__Context__, Tag, __Components__, __Path__> TypeProvider<__Context__, Tag> for RedirectLookup<__Components__, __Path__>

where __Path__: ConcatPath<PathCons<Tag, Nil>>, __Components__: DelegateComponent<<__Path__ as ConcatPath<PathCons<Tag, Nil>>>::Output>, <__Components__ as DelegateComponent<<__Path__ as ConcatPath<PathCons<Tag, Nil>>>::Output>>::Delegate: TypeProvider<__Context__, Tag>,

type Type = <<__Components__ as DelegateComponent<<__Path__ as ConcatPath<PathCons<Tag, Nil>>>::Output>>::Delegate as TypeProvider<__Context__, Tag>>::Type

impl<__Context__, Tag> TypeProvider<__Context__, Tag> for UseContext

where __Context__: HasType<Tag>,

type Type = <__Context__ as HasType<Tag>>::Type

Implementors

impl<Context, Tag, Components, Type> TypeProvider<Context, Tag> for UseDelegatedType<Components>

where Components: DelegateComponent<Tag, Delegate = Type>,

type Type = Type

impl<Context, Tag, Type> TypeProvider<Context, Tag> for UseType<Type>

type Type = Type

impl<__Provider__, __Context__, Tag> TypeProvider<__Context__, Tag> for __Provider__

where __Provider__: DelegateComponent<TypeProviderComponent> + IsProviderFor<TypeProviderComponent, __Context__, Tag>, <__Provider__ as DelegateComponent<TypeProviderComponent>>::Delegate: TypeProvider<__Context__, Tag>,

type Type = <<__Provider__ as DelegateComponent<TypeProviderComponent>>::Delegate as TypeProvider<__Context__, Tag>>::Type