monadic_unsafe.rs

#[derive(Copy, Clone, Debug, Eq, PartialEq)]
pub struct Danger<T> {
    value: T,
}

impl<T> Danger<T> {
    pub fn block<A>(a: A, f: unsafe fn(A) -> T) -> Self {
        Danger {
            value: unsafe { f(a) },
        }
    }

    pub unsafe fn unwrap(self) -> T {
        self.value
    }

    pub fn id(self) -> Self {
        Danger::block(self, Self::unwrap)
    }

    pub fn and_then<F, U>(self, f: F) -> Danger<U>
    where
        F: FnOnce(T) -> Danger<U>,
    {
        f(self.value)
    }
}