eryon-core 0.0.4

/*
    appellation: halted <module>
    authors: @FL03
*/
use crate::state::{RawState, State};

/// The [`Haltable`] trait defines a contract for types that can be checked for a halted state.
pub trait Haltable<Q>
where
    Q: RawState,
{
    private!();

    fn is_halted(&self) -> bool;
}

/*
 ************* Implementations *************
*/
impl<Q> Haltable<Q> for State<Option<Q>>
where
    Q: RawState,
{
    seal!();

    fn is_halted(&self) -> bool {
        self.0.is_none()
    }
}

impl<Q> Haltable<Q> for Option<State<Q>>
where
    Q: RawState,
{
    seal!();

    fn is_halted(&self) -> bool {
        self.is_none()
    }
}