abi_stable::type_level::impl_enum

Trait ImplFrom_

pub trait ImplFrom_<T: ?Sized> {
    type Impl: ?Sized + Implementability;
}

Expand description

Converts a type to either Unimplemented or Implemented.

The T type parameter represents the (un)required trait.

Required Associated Types§

type Impl: ?Sized + Implementability

Either Unimplemented or Implemented.

Implementors§

impl<T: ?Sized> ImplFrom_<T> for False

type Impl = Unimplemented<T>

impl<T: ?Sized> ImplFrom_<T> for True

type Impl = Implemented<T>

impl<T: ?Sized> ImplFrom_<T> for Implemented<T>

type Impl = Implemented<T>

impl<T: ?Sized> ImplFrom_<T> for Unimplemented<T>

type Impl = Unimplemented<T>