Struct BoxedStop 

pub struct BoxedStop(/* private fields */);

A heap-allocated Stop implementation.

This type provides dynamic dispatch for Stop, avoiding monomorphization bloat when you don’t need the performance of generics.

Example

use almost_enough::{BoxedStop, StopSource, Stopper, Unstoppable, Stop};

fn process(stop: BoxedStop) {
    for i in 0..1000 {
        if i % 100 == 0 && stop.should_stop() {
            return;
        }
        // process...
    }
}

// Works with any Stop implementation
process(BoxedStop::new(Unstoppable));
process(BoxedStop::new(StopSource::new()));
process(BoxedStop::new(Stopper::new()));

Implementations

impl BoxedStop

pub fn new<T: Stop + 'static>(stop: T) -> Self

Create a new boxed stop from any Stop implementation.

pub fn active_stop(&self) -> Option<&dyn Stop>

Returns the effective inner stop if it may stop, collapsing indirection.

The returned &dyn Stop points directly to the concrete type inside the box, bypassing the BoxedStop wrapper. In a hot loop, subsequent check() calls go through one vtable dispatch instead of two.

Returns None if the inner stop is a no-op (e.g., Unstoppable).

Example

use almost_enough::{BoxedStop, Stopper, Unstoppable, Stop, StopReason};

fn hot_loop(stop: &BoxedStop) -> Result<(), StopReason> {
    let stop = stop.active_stop(); // Option<&dyn Stop>, collapsed
    for i in 0..1000 {
        stop.check()?;
    }
    Ok(())
}

// Unstoppable: returns None, check() is always Ok(())
assert!(hot_loop(&BoxedStop::new(Unstoppable)).is_ok());

// Stopper: returns Some(&Stopper), one vtable dispatch per check()
assert!(hot_loop(&BoxedStop::new(Stopper::new())).is_ok());

Trait Implementations

impl Debug for BoxedStop

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

Formats the value using the given formatter.

impl Stop for BoxedStop

fn check(&self) -> Result<(), StopReason>

Check if the operation should stop.

fn should_stop(&self) -> bool

Returns true if the operation should stop.

fn may_stop(&self) -> bool

Returns true if this stop can ever signal a stop.