Struct starlark::values::ValueOfUnchecked
source · pub struct ValueOfUnchecked<'v, T: StarlarkTypeRepr>(/* private fields */);
Expand description
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§
source§impl<'v, T: StarlarkTypeRepr> ValueOfUnchecked<'v, T>
impl<'v, T: StarlarkTypeRepr> ValueOfUnchecked<'v, T>
Trait Implementations§
source§impl<'v, T: StarlarkTypeRepr> AllocValue<'v> for ValueOfUnchecked<'v, T>
impl<'v, T: StarlarkTypeRepr> AllocValue<'v> for ValueOfUnchecked<'v, T>
source§impl<'v, T: StarlarkTypeRepr> Allocative for ValueOfUnchecked<'v, T>
impl<'v, T: StarlarkTypeRepr> Allocative for ValueOfUnchecked<'v, T>
source§impl<'v, T: StarlarkTypeRepr> Clone for ValueOfUnchecked<'v, T>
impl<'v, T: StarlarkTypeRepr> Clone for ValueOfUnchecked<'v, T>
source§impl<'v, T: StarlarkTypeRepr> Debug for ValueOfUnchecked<'v, T>
impl<'v, T: StarlarkTypeRepr> Debug for ValueOfUnchecked<'v, T>
source§impl<'v, T: StarlarkTypeRepr> Dupe for ValueOfUnchecked<'v, T>
impl<'v, T: StarlarkTypeRepr> Dupe for ValueOfUnchecked<'v, T>
source§impl<'v, T: StarlarkTypeRepr> StarlarkTypeRepr for ValueOfUnchecked<'v, T>
impl<'v, T: StarlarkTypeRepr> StarlarkTypeRepr for ValueOfUnchecked<'v, T>
source§fn starlark_type_repr() -> Ty
fn starlark_type_repr() -> Ty
The representation of a type that a user would use verbatim in starlark type annotations
source§impl<'v, T: StarlarkTypeRepr> Trace<'v> for ValueOfUnchecked<'v, T>
impl<'v, T: StarlarkTypeRepr> Trace<'v> for ValueOfUnchecked<'v, T>
source§impl<'v, T: StarlarkTypeRepr> UnpackValue<'v> for ValueOfUnchecked<'v, T>
impl<'v, T: StarlarkTypeRepr> UnpackValue<'v> for ValueOfUnchecked<'v, T>
source§fn unpack_value(value: Value<'v>) -> Option<Self>
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.source§fn unpack_value_err(value: Value<'v>) -> Result<Self>
fn unpack_value_err(value: Value<'v>) -> Result<Self>
Unpack a value, but return error instead of
None
if unpacking fails.source§fn unpack_param(value: Value<'v>) -> Result<Self>
fn unpack_param(value: Value<'v>) -> Result<Self>
Unpack value, but instead of
None
return error about incorrect argument type.impl<'v, T: StarlarkTypeRepr> Copy for ValueOfUnchecked<'v, T>
Auto Trait Implementations§
impl<'v, T> !RefUnwindSafe for ValueOfUnchecked<'v, T>
impl<'v, T> Send for ValueOfUnchecked<'v, T>where
T: Send,
impl<'v, T> !Sync for ValueOfUnchecked<'v, T>
impl<'v, T> Unpin for ValueOfUnchecked<'v, T>where
T: Unpin,
impl<'v, T> UnwindSafe for ValueOfUnchecked<'v, T>where
T: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more