Struct ClLiteControlScope 

pub struct ClLiteControlScope { /* private fields */ }

Condition-and-restart scope for CL-lite handler-case / restart-case.

Holds the active handler and restart stacks; all signaling delegates to the control organ.

Implementations

impl ClLiteControlScope

pub fn new() -> Self

Creates an empty control scope with no handlers or restarts.

pub fn push_handler(&mut self, handler: ConditionHandler)

Pushes a condition handler onto the handler stack.

pub fn pop_handler(&mut self) -> Option<ConditionHandler>

Pops the most recently pushed condition handler.

pub fn handler_case( &self, cx: &mut Cx, kind: Symbol, payload: Ref, ) -> Result<ContinuationValue>

Signals a condition to the nearest matching handler.

pub fn push_restart(&mut self, name: Symbol, continuation: ContinuationValue)

Pushes a named restart with its resumption continuation.

pub fn pop_restart(&mut self) -> Option<Restart>

Pops the most recently pushed restart.

pub fn restart_case( &self, cx: &mut Cx, name: &Symbol, value: Ref, ) -> Result<ControlResultValue>

Invokes a named restart with a resumption value.

Trait Implementations

impl Default for ClLiteControlScope

fn default() -> Self

Returns the “default value” for a type.