Struct LogosOpt 

pub struct LogosOpt<T>(pub Option<T>);

A value of T, or nothing.

Tuple Fields

0: Option<T>

Implementations

impl<T> LogosOpt<T>

pub const NOTHING: Self

nothing.

pub fn is_nothing(&self) -> bool

Whether it holds nothing.

pub fn held(&self, failure: &str) -> &T

The value it holds. Holding nothing, the program stops with failure.

pub fn held_mut(&mut self, failure: &str) -> &mut T

The value it holds, to change in place. Holding nothing, the program stops with failure.

pub fn into_held(self, failure: &str) -> T

The value it holds, taken. Holding nothing, the program stops with failure.

pub fn pair<U>( left: LogosOpt<T>, right: LogosOpt<U>, failures: [&str; 3], ) -> (T, U)

The values two operands hold, for an operation on both, each evaluated before either is read. Either holding nothing, the program stops with failures: the words for the left one alone, the right one alone, and both.

pub fn equals_with<U>( &self, other: &LogosOpt<U>, same: impl FnOnce(&T, &U) -> bool, ) -> bool

Whether self and other are one value: both nothing, or two values same finds equal.

Trait Implementations

impl<T: Clone> Clone for LogosOpt<T>

fn clone(&self) -> LogosOpt<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for LogosOpt<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for LogosOpt<T>

A place starts holding its type’s own first value, as the VM’s does.

fn default() -> Self

Returns the “default value” for a type.

impl<T> From<T> for LogosOpt<T>

fn from(value: T) -> Self

Converts to this type from the input type.

impl<T: Hash> Hash for LogosOpt<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: PartialEq> PartialEq for LogosOpt<T>

fn eq(&self, other: &LogosOpt<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Truthy> Truthy for LogosOpt<T>

nothing is false where a condition reads it, and a value is as true as it is.

fn truthy(&self) -> bool

impl<T: Eq> Eq for LogosOpt<T>

impl<T> StructuralPartialEq for LogosOpt<T>