Struct starlark::values::ValueOfUnchecked

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

Starlark value with type annotation.

Can be used in function signatures to provide types to the type checker.

Note this type does not actually check the type of the value. Providing incorrect type annotation will result in incorrect error reporting by the type checker.

Implementations

impl<'v, T: StarlarkTypeRepr> ValueOfUnchecked<'v, T>

pub fn new(value: Value<'v>) -> Self

New.

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

where T: UnpackValue<'v>,

Construct after checking the type.

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

Get the value.

Trait Implementations

impl<'v, T: StarlarkTypeRepr> AllocValue<'v> for ValueOfUnchecked<'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: StarlarkTypeRepr> Allocative for ValueOfUnchecked<'v, T>

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

impl<'v, T: StarlarkTypeRepr> Clone for ValueOfUnchecked<'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: StarlarkTypeRepr> Debug for ValueOfUnchecked<'v, T>

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

Formats the value using the given formatter.

impl<'v, T: StarlarkTypeRepr> Dupe for ValueOfUnchecked<'v, T>

fn dupe(&self) -> Self

impl<'v, T: StarlarkTypeRepr> StarlarkTypeRepr for ValueOfUnchecked<'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: StarlarkTypeRepr> Trace<'v> for ValueOfUnchecked<'v, T>

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

Recursively “trace” the value.

impl<'v, T: StarlarkTypeRepr> UnpackValue<'v> for ValueOfUnchecked<'v, T>

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 expected() -> String

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

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: StarlarkTypeRepr> Copy for ValueOfUnchecked<'v, T>