Struct starlark::values::ValueTyped

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

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

Implementations

impl<'v> ValueTyped<'v, StarlarkStr>

pub fn freeze(self, freezer: &Freezer) -> Result<FrozenStringValue>

Convert a value to a FrozenStringValue using a supplied Freezer.

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

Get self along with the hash.

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

Get the string reference along with the hash.

pub fn get_hashed_value(self) -> Hashed<Value<'v>>

Get the Value along with the hash.

pub fn unpack_frozen(self) -> Option<FrozenStringValue>

If this string value is frozen, return it.

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

pub fn new(value: Value<'v>) -> Option<ValueTyped<'v, T>>

Downcast.

pub fn new_err(value: Value<'v>) -> Result<ValueTyped<'v, T>>

Downcast.

pub unsafe fn new_unchecked(value: Value<'v>) -> ValueTyped<'v, T>

Construct typed value without checking the value is of type <T>.

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

Erase the type.

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

Get the reference to the pointed value.

pub fn hashed(self) -> Result<Hashed<Self>>

Compute the hash value.

impl<'v> ValueTyped<'v, StarlarkStr>

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

Get the Rust string reference.

Trait Implementations

impl<'v, T: StarlarkValue<'v>> AllocValue<'v> for ValueTyped<'v, 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 ValueTyped<'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 ValueTyped<'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 ValueTyped<'v, T>

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

Formats the value using the given formatter.

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

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

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

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

Formats the value using the given formatter.

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

fn dupe(&self) -> Self

impl<'v> Equivalent<ValueTyped<'v, StarlarkStr>> for FrozenStringValue

fn equivalent(&self, key: &StringValue<'v>) -> bool

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

impl<'v, T> From<ValueTyped<'v, T>> for ValueTypedComplex<'v, T>

where T: ComplexValue<'v>, T::Frozen: StarlarkValue<'static>,

fn from(t: ValueTyped<'v, T>) -> Self

Converts to this type from the input type.

impl<'v> PartialEq<ValueTyped<'v, StarlarkStr>> for FrozenStringValue

fn eq(&self, other: &StringValue<'v>) -> 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 ValueTyped<'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 ValueTyped<'v, T>

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

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

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

impl<'v, T: StarlarkValue<'v>> Serialize for ValueTyped<'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 ValueTyped<'v, T>

fn starlark_type_repr() -> Ty

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

impl<'v, T: StarlarkValue<'v>> Trace<'v> for ValueTyped<'v, T>

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

Recursively “trace” the value.

impl<'v, T: StarlarkValue<'v>> UnpackValue<'v> for ValueTyped<'v, T>

fn expected() -> String

Description of values acceptable by unpack_value, e. g. list or str.

fn unpack_value(value: Value<'v>) -> Option<Self>

Given a Value, try and unpack it into the given type, which may involve some element of conversion.

fn unpack_value_err(value: Value<'v>) -> Result<Self>

Unpack a value, but return error instead of None if unpacking fails.

fn unpack_param(value: Value<'v>) -> Result<Self>

Unpack value, but instead of None return error about incorrect argument type.

fn unpack_named_param(value: Value<'v>, param_name: &str) -> Result<Self>

Unpack value, but instead of None return error about incorrect named argument type.

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

impl<'v> Coerce<ValueTyped<'v, StarlarkStr>> for FrozenStringValue

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

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

impl<'v> CoerceKey<ValueTyped<'v, StarlarkStr>> for FrozenStringValue

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

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

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