Trait starlark::any::ProvidesStaticType

pub unsafe trait ProvidesStaticType<'a> {
    type StaticType: 'static + ?Sized;
}

Provides access to the same type as Self but with all lifetimes dropped to 'static (including lifetimes of parameters).

This type is usually implemented with #[derive(ProvidesStaticType)].

Required Associated Types

type StaticType: 'static + ?Sized

Same type as Self but with lifetimes dropped to 'static.

The trait is unsafe because if this is implemented incorrectly, the program might not work correctly.

Implementations on Foreign Types

impl<'a> ProvidesStaticType<'a> for bool

type StaticType = bool

impl<'a> ProvidesStaticType<'a> for f32

type StaticType = f32

impl<'a> ProvidesStaticType<'a> for f64

type StaticType = f64

impl<'a> ProvidesStaticType<'a> for i8

type StaticType = i8

impl<'a> ProvidesStaticType<'a> for i16

type StaticType = i16

impl<'a> ProvidesStaticType<'a> for i32

type StaticType = i32

impl<'a> ProvidesStaticType<'a> for i64

type StaticType = i64

impl<'a> ProvidesStaticType<'a> for i128

type StaticType = i128

impl<'a> ProvidesStaticType<'a> for isize

type StaticType = isize

impl<'a> ProvidesStaticType<'a> for str

type StaticType = str

impl<'a> ProvidesStaticType<'a> for u8

type StaticType = u8

impl<'a> ProvidesStaticType<'a> for u16

type StaticType = u16

impl<'a> ProvidesStaticType<'a> for u32

type StaticType = u32

impl<'a> ProvidesStaticType<'a> for u64

type StaticType = u64

impl<'a> ProvidesStaticType<'a> for u128

type StaticType = u128

impl<'a> ProvidesStaticType<'a> for ()

type StaticType = ()

impl<'a> ProvidesStaticType<'a> for usize

type StaticType = usize

impl<'a> ProvidesStaticType<'a> for String

type StaticType = String

impl<'a, K, V> ProvidesStaticType<'a> for BTreeMap<K, V>

where K: ProvidesStaticType<'a>, K::StaticType: Sized, V: ProvidesStaticType<'a>, V::StaticType: Sized,

type StaticType = BTreeMap<<K as ProvidesStaticType<'a>>::StaticType, <V as ProvidesStaticType<'a>>::StaticType>

impl<'a, K, V> ProvidesStaticType<'a> for HashMap<K, V>

where K: ProvidesStaticType<'a>, K::StaticType: Sized, V: ProvidesStaticType<'a>, V::StaticType: Sized,

type StaticType = HashMap<<K as ProvidesStaticType<'a>>::StaticType, <V as ProvidesStaticType<'a>>::StaticType>

impl<'a, T> ProvidesStaticType<'a> for Option<T>

where T: ProvidesStaticType<'a>, T::StaticType: Sized,

type StaticType = Option<<T as ProvidesStaticType<'a>>::StaticType>

impl<'a, T> ProvidesStaticType<'a> for [T]

where T: ProvidesStaticType<'a>, T::StaticType: Sized,

type StaticType = [<T as ProvidesStaticType<'a>>::StaticType]

impl<'a, T> ProvidesStaticType<'a> for Vec<T>

where T: ProvidesStaticType<'a>, T::StaticType: Sized,

type StaticType = Vec<<T as ProvidesStaticType<'a>>::StaticType>

impl<'a, T, E> ProvidesStaticType<'a> for Result<T, E>

where T: ProvidesStaticType<'a>, T::StaticType: Sized, E: ProvidesStaticType<'a>, E::StaticType: Sized,

type StaticType = Result<<T as ProvidesStaticType<'a>>::StaticType, <E as ProvidesStaticType<'a>>::StaticType>

impl<'a, T: ProvidesStaticType<'a> + ?Sized> ProvidesStaticType<'a> for *const T

type StaticType = *const <T as ProvidesStaticType<'a>>::StaticType

impl<'a, T: ProvidesStaticType<'a> + ?Sized> ProvidesStaticType<'a> for *mut T

type StaticType = *mut <T as ProvidesStaticType<'a>>::StaticType

impl<'a, T: ProvidesStaticType<'a> + ?Sized> ProvidesStaticType<'a> for &'a T

type StaticType = &'static <T as ProvidesStaticType<'a>>::StaticType

impl<'a, T: ProvidesStaticType<'a> + ?Sized> ProvidesStaticType<'a> for &'a mut T

type StaticType = &'static mut <T as ProvidesStaticType<'a>>::StaticType

impl<'a, T: ProvidesStaticType<'a> + ?Sized> ProvidesStaticType<'a> for Box<T>

type StaticType = Box<<T as ProvidesStaticType<'a>>::StaticType>

impl<'a, T: ProvidesStaticType<'a> + ?Sized> ProvidesStaticType<'a> for Rc<T>

type StaticType = Rc<<T as ProvidesStaticType<'a>>::StaticType>

impl<'a, T: ProvidesStaticType<'a> + ?Sized> ProvidesStaticType<'a> for Arc<T>

type StaticType = Arc<<T as ProvidesStaticType<'a>>::StaticType>

impl<'a, T: ProvidesStaticType<'a>> ProvidesStaticType<'a> for Cell<T>

type StaticType = Cell<<T as ProvidesStaticType<'a>>::StaticType>

impl<'a, T: ProvidesStaticType<'a>> ProvidesStaticType<'a> for RefCell<T>

type StaticType = RefCell<<T as ProvidesStaticType<'a>>::StaticType>

impl<'a, T: ProvidesStaticType<'a>> ProvidesStaticType<'a> for UnsafeCell<T>

type StaticType = UnsafeCell<<T as ProvidesStaticType<'a>>::StaticType>

Implementors

impl<'pst> ProvidesStaticType<'pst> for FrozenExportedName

type StaticType = FrozenExportedName

impl<'pst> ProvidesStaticType<'pst> for MutableExportedName

type StaticType = MutableExportedName

impl<'pst> ProvidesStaticType<'pst> for StarlarkFloat

type StaticType = StarlarkFloat

impl<'pst> ProvidesStaticType<'pst> for NativeFunction

type StaticType = NativeFunction

impl<'pst> ProvidesStaticType<'pst> for NoneType

type StaticType = NoneType

impl<'pst> ProvidesStaticType<'pst> for Range

type StaticType = Range

impl<'pst> ProvidesStaticType<'pst> for StarlarkStr

type StaticType = StarlarkStr

impl<'pst> ProvidesStaticType<'pst> for FrozenValue

type StaticType = FrozenValue

impl<'pst, T> ProvidesStaticType<'pst> for StarlarkAny<T>

where T: Debug + Display + Send + Sync + 'static + Sized,

type StaticType = StarlarkAny<T>

impl<'pst, V: ProvidesStaticType<'pst> + Sized> ProvidesStaticType<'pst> for TypeCompiled<V>

where V::StaticType: Sized,

type StaticType = TypeCompiled<<V as ProvidesStaticType<'pst>>::StaticType>

impl<'v> ProvidesStaticType<'v> for Dict<'v>

type StaticType = Dict<'static>

impl<'v> ProvidesStaticType<'v> for Value<'v>

type StaticType = Value<'static>

impl<'v, T: StarlarkValue<'v> + ProvidesStaticType<'v> + Sized> ProvidesStaticType<'v> for FrozenValueTyped<'v, T>

where T::StaticType: StarlarkValue<'static> + Sized,

type StaticType = FrozenValueTyped<'static, <T as ProvidesStaticType<'v>>::StaticType>

impl<'v, T: StarlarkValue<'v> + ProvidesStaticType<'v> + Sized> ProvidesStaticType<'v> for ValueTyped<'v, T>

where T::StaticType: StarlarkValue<'static> + Sized,

type StaticType = ValueTyped<'static, <T as ProvidesStaticType<'v>>::StaticType>