Trait Cont

pub trait Cont:
    Store
    + SafeDelete
    + DynClone
    + Debug {
    // Required methods
    fn rc_into_dyn(self: Rc<Self>) -> Rc<dyn StackValue>;
    fn as_stack_value(&self) -> &dyn StackValue;
    fn fmt(&self, f: &mut Formatter<'_>) -> Result;
    fn jump(
        self: Rc<Self>,
        state: &mut VmState<'_>,
        exit_code: &mut i32,
    ) -> VmResult<Option<RcCont>>;

    // Provided methods
    fn get_control_data(&self) -> Option<&ControlData> { ... }
    fn get_control_data_mut(&mut self) -> Option<&mut ControlData> { ... }
}

Continuation interface.

Required Methods

fn rc_into_dyn(self: Rc<Self>) -> Rc<dyn StackValue>

fn as_stack_value(&self) -> &dyn StackValue

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

fn jump( self: Rc<Self>, state: &mut VmState<'_>, exit_code: &mut i32, ) -> VmResult<Option<RcCont>>

Provided Methods

fn get_control_data(&self) -> Option<&ControlData>

fn get_control_data_mut(&mut self) -> Option<&mut ControlData>

Implementations

impl dyn Cont

pub fn has_c0(&self) -> bool

Trait Implementations

impl SafeRcMakeMut for dyn Cont

fn rc_make_mut(rc: &mut Rc<Self>) -> &mut Self

impl StackValue for dyn Cont

fn rc_into_dyn(self: Rc<Self>) -> Rc<dyn StackValue>

fn raw_ty(&self) -> u8

fn store_as_stack_value( &self, builder: &mut CellBuilder, context: &dyn CellContext, ) -> Result<(), Error>

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

fn as_cont(&self) -> Option<&dyn Cont>

fn rc_into_cont(self: Rc<Self>) -> VmResult<Rc<dyn Cont>>

fn as_int(&self) -> Option<&BigInt>

fn try_as_int(&self) -> VmResult<&BigInt>

fn rc_into_int(self: Rc<Self>) -> VmResult<Rc<BigInt>>

fn as_cell(&self) -> Option<&Cell>

fn try_as_cell(&self) -> VmResult<&Cell>

fn rc_into_cell(self: Rc<Self>) -> VmResult<Rc<Cell>>

fn as_cell_slice(&self) -> Option<&OwnedCellSlice>

fn try_as_cell_slice(&self) -> VmResult<&OwnedCellSlice>

fn rc_into_cell_slice(self: Rc<Self>) -> VmResult<Rc<OwnedCellSlice>>

fn as_cell_builder(&self) -> Option<&CellBuilder>

fn try_as_cell_builder(&self) -> VmResult<&CellBuilder>

fn rc_into_cell_builder(self: Rc<Self>) -> VmResult<Rc<CellBuilder>>

fn try_as_cont(&self) -> VmResult<&dyn Cont>

fn as_tuple(&self) -> Option<&[RcStackValue]>

fn try_as_tuple(&self) -> VmResult<&[RcStackValue]>

fn rc_into_tuple(self: Rc<Self>) -> VmResult<Rc<Tuple>>

impl StaticStackValue for dyn Cont

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

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 Cont for AgainCont

impl Cont for ArgContExt

impl Cont for ExcQuitCont

impl Cont for OrdCont

impl Cont for PushIntCont

impl Cont for QuitCont

impl Cont for RepeatCont

impl Cont for UntilCont

impl Cont for WhileCont