Enum BoolReflect 

pub enum BoolReflect {
    IsTrue,
    IsFalse,
}

Reflection between bool and decidable propositions.

Given a Decision<()>, BoolReflect bridges the computational Bool world and the propositional Prop world.

Variants

IsTrue

The boolean is true and the proposition holds.

IsFalse

The boolean is false and the proposition does not hold.

Implementations

impl BoolReflect

pub fn from_decision(d: &Decision<()>) -> Self

Convert from a Decision<()>.

pub fn to_bool(&self) -> bool

Convert to a plain bool.

Trait Implementations

impl Clone for BoolReflect

fn clone(&self) -> BoolReflect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoolReflect

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

Formats the value using the given formatter.

impl From<bool> for BoolReflect

fn from(b: bool) -> Self

Converts to this type from the input type.

impl PartialEq for BoolReflect

fn eq(&self, other: &BoolReflect) -> 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 Eq for BoolReflect

impl StructuralPartialEq for BoolReflect