Struct Exn 

pub struct Exn<'a, V>(/* private fields */);

Exception.

This is either an error, a runtime halt, or control flow data internal to jaq. Users should only be able to observe the first two cases.

Use crate::unwrap_valr to convert a crate::ValX to an error.

Implementations

impl<V> Exn<'_, V>

pub fn get_err(self) -> Result<Error<V>, Self>

If the exception is an error, yield it, else yield the exception.

pub fn get_halt(self) -> Result<i32, Self>

If the exception halts, yield the exit code, else yield the exception.

pub fn halt(exit_code: i32) -> Self

Create an exception intended to halt filter execution.

This is used by the halt/1 filter.

Trait Implementations

impl<'a, V: Clone> Clone for Exn<'a, V>

fn clone(&self) -> Exn<'a, V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, V: Debug> Debug for Exn<'a, V>

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

Formats the value using the given formatter.

impl<V> From<Error<V>> for Exn<'_, V>

fn from(e: Error<V>) -> Self

Converts to this type from the input type.