Struct Cont 

pub struct Cont<R: Clone, A: Clone> {
    pub label: String,
    /* private fields */
}

Continuation monad: Cont r a = (a -> r) -> r.

Fields

label: String

Implementations

impl<R: Clone, A: Clone> Cont<R, A>

pub fn new(label: &str) -> Self

pub fn run_cont_desc(&self) -> String

run_cont :: Cont r a -> (a -> r) -> r (represented symbolically).

Trait Implementations

impl<R: Clone + Clone, A: Clone + Clone> Clone for Cont<R, A>

fn clone(&self) -> Cont<R, A>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<R: Debug + Clone, A: Debug + Clone> Debug for Cont<R, A>

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

Formats the value using the given formatter.