Type Alias NextResult 

pub type NextResult<T> = Result<AgdaResult<T>>;

Return type of next_* functions.

Aliased Type

pub enum NextResult<T> {
    Ok(Result<T, String>),
    Err(Error),
}

Variants

Ok(Result<T, String>)

Contains the success value

Err(Error)

Contains the error value