Trait StaticStackValue

pub trait StaticStackValue: StackValue {
    type DynRef<'a>;

    // Required methods
    fn known_ty() -> StackValueType;
    fn from_dyn(value: Rc<dyn StackValue>) -> VmResult<Rc<Self>>;
    fn from_dyn_ref(value: &dyn StackValue) -> VmResult<Self::DynRef<'_>>;
}

Static-dispatch type extension for StackValue.

Required Associated Types

type DynRef<'a>

Required Methods

fn known_ty() -> StackValueType

fn from_dyn(value: Rc<dyn StackValue>) -> VmResult<Rc<Self>>

fn from_dyn_ref(value: &dyn StackValue) -> VmResult<Self::DynRef<'_>>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl StaticStackValue for BigInt

type DynRef<'a> = &'a BigInt

fn known_ty() -> StackValueType

fn from_dyn(value: Rc<dyn StackValue>) -> VmResult<Rc<Self>>

fn from_dyn_ref(value: &dyn StackValue) -> VmResult<Self::DynRef<'_>>

impl StaticStackValue for CellBuilder

type DynRef<'a> = &'a CellBuilder

fn known_ty() -> StackValueType

fn from_dyn(value: Rc<dyn StackValue>) -> VmResult<Rc<Self>>

fn from_dyn_ref(value: &dyn StackValue) -> VmResult<Self::DynRef<'_>>

impl StaticStackValue for Cell

type DynRef<'a> = &'a Cell

fn known_ty() -> StackValueType

fn from_dyn(value: Rc<dyn StackValue>) -> VmResult<Rc<Self>>

fn from_dyn_ref(value: &dyn StackValue) -> VmResult<Self::DynRef<'_>>

Implementors

impl StaticStackValue for OwnedCellSlice

type DynRef<'a> = &'a OwnedCellSlice

impl StaticStackValue for Tuple

type DynRef<'a> = &'a [SafeRc<dyn StackValue>]

impl StaticStackValue for dyn Cont

type DynRef<'a> = &'a (dyn Cont + 'static)