Trait TypeApp
haskell_bits::typeapp
pub trait TypeApp<TCon: ?Sized, T>: Is<Type = <TCon as WithTypeArg<T>>::Type> + TypeAppParam where TCon: WithTypeArg<T>, T: ?Sized, { }
impl<T> TypeApp<TypeCon, T> for Option<T>
impl<T> TypeApp<TypeCon, T> for Vec<T>
impl<T, E> TypeApp<TypeCon<E>, T> for Result<T, E>