Struct SegmentedControlPolicy 

pub struct SegmentedControlPolicy { /* private fields */ }

A one-shot control policy scoped to a named delimited segment.

Wraps an OneShotControlPolicy and tags it with a segment Ref, associating its capture/resume bookkeeping with one delimited region.

Implementations

impl SegmentedControlPolicy

pub fn new(segment: Ref) -> Self

Builds a segmented policy bound to segment.

pub fn segment(&self) -> &Ref

Returns the segment this policy is scoped to.

Trait Implementations

impl ControlPolicy for SegmentedControlPolicy

fn name(&self) -> &'static str

Stable name identifying the policy in diagnostics.

fn enter_prompt(&self, cx: &mut Cx, prompt: &ControlPrompt) -> Result<()>

Enter a prompt boundary; the default is a no-op.

fn capture(&self, cx: &mut Cx, capture: &ControlCapture) -> Result<Ref>

Capture the continuation up to a prompt; defaults to unsupported.

fn abort(&self, cx: &mut Cx, abort: &ControlAbort) -> Result<Ref>

Abort to a prompt with a value; defaults to unsupported.

fn resume(&self, cx: &mut Cx, resume: &ControlResume) -> Result<Ref>

Resume a captured continuation with a value; defaults to unsupported.