Struct starlark::values::FrozenValueTyped

pub struct FrozenValueTyped<'v, T: StarlarkValue<'v>>(/* private fields */);

FrozenValue wrapper which asserts contained value is of type <T>.

Implementations

impl FrozenValueTyped<'static, StarlarkStr>

pub fn get_hashed(self) -> Hashed<Self>

Get self along with the hash.

pub fn get_hashed_value(self) -> Hashed<FrozenValue>

Get the FrozenValue along with the hash.

pub fn get_hashed_str(self) -> Hashed<&'static str>

Get the string reference along with the hash.

impl<'v, T: StarlarkValue<'v>> FrozenValueTyped<'v, T>

pub unsafe fn new_unchecked(value: FrozenValue) -> FrozenValueTyped<'v, T>

Construct FrozenValueTyped without checking that the value is of correct type.

pub fn new(value: FrozenValue) -> Option<FrozenValueTyped<'v, T>>

Downcast.

pub fn to_frozen_value(self) -> FrozenValue

Erase the type.

pub fn to_value(self) -> Value<'v>

Convert to the value.

pub fn to_value_typed(self) -> ValueTyped<'v, T>

Convert to the value.

pub fn as_ref(self) -> &'v T

Get the reference to the pointed value.

impl<'v> FrozenValueTyped<'v, StarlarkStr>

pub fn as_str(self) -> &'v str

Get the Rust string reference.

Trait Implementations

impl<'v, T: StarlarkValue<'v>> AllocFrozenValue for FrozenValueTyped<'v, T>

fn alloc_frozen_value(self, _heap: &FrozenHeap) -> FrozenValue

Allocate a value in the frozen heap and return a reference to the allocated value.

impl<'v, 'f, T: StarlarkValue<'f>> AllocValue<'v> for FrozenValueTyped<'f, T>

fn alloc_value(self, _heap: &'v Heap) -> Value<'v>

Allocate the value on a heap and return a reference to the allocated value.

impl<'v, T: StarlarkValue<'v>> Allocative for FrozenValueTyped<'v, T>

fn visit<'allocative_a, 'allocative_b: 'allocative_a>( &self, visitor: &'allocative_a mut Visitor<'allocative_b> )

impl<'v, T: StarlarkValue<'v>> Clone for FrozenValueTyped<'v, T>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'v, T: StarlarkValue<'v>> Debug for FrozenValueTyped<'v, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'v, T: StarlarkValue<'v>> Deref for FrozenValueTyped<'v, T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl<'v, T: StarlarkValue<'v>> Display for FrozenValueTyped<'v, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'v, T: StarlarkValue<'v>> Dupe for FrozenValueTyped<'v, T>

fn dupe(&self) -> Self

impl<'v> Equivalent<FrozenValueTyped<'static, StarlarkStr>> for StringValue<'v>

fn equivalent(&self, key: &FrozenStringValue) -> bool

Compare self to key and return true if they are equal.

impl<T: StarlarkValue<'static>> Freeze for FrozenValueTyped<'static, T>

type Frozen = FrozenValueTyped<'static, T>

When type is frozen, it is frozen into this type.

fn freeze(self, _freezer: &Freezer) -> Result<Self::Frozen>

Freeze a value. The frozen value must be equal to the original, and produce the same hash.

impl<'v> PartialEq<FrozenValueTyped<'static, StarlarkStr>> for StringValue<'v>

fn eq(&self, other: &FrozenStringValue) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'v, T: StarlarkValue<'v>> PartialEq for FrozenValueTyped<'v, T>

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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>

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

impl<'v, T: StarlarkValue<'v>> Serialize for FrozenValueTyped<'v, T>

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl<'v, T: StarlarkValue<'v>> StarlarkTypeRepr for FrozenValueTyped<'v, T>

fn starlark_type_repr() -> Ty

The representation of a type that a user would use verbatim in starlark type annotations

impl<'v, 'f, T: StarlarkValue<'f>> Trace<'v> for FrozenValueTyped<'f, T>

fn trace(&mut self, _tracer: &Tracer<'v>)

Recursively “trace” the value.

impl<'v, T: StarlarkValue<'v>> Coerce<FrozenValueTyped<'v, T>> for FrozenValueTyped<'v, T>

impl<'v, T: StarlarkValue<'v>> Coerce<Value<'v>> for FrozenValueTyped<'v, T>

impl<'v, T: StarlarkValue<'v>> CoerceKey<FrozenValueTyped<'v, T>> for FrozenValueTyped<'v, T>

impl<'v, T: StarlarkValue<'v>> CoerceKey<Value<'v>> for FrozenValueTyped<'v, T>

impl<'v, T: StarlarkValue<'v>> Copy for FrozenValueTyped<'v, T>

impl<'v, T: StarlarkValue<'v>> Eq for FrozenValueTyped<'v, T>