Struct Prop

pub struct Prop(/* private fields */);

Represent a logical proposition, that may be not computable.

Implementations

impl Prop

pub const fn from_bool(b: bool) -> Self

Lifts a boolean to a logical proposition.

pub fn and(self, other: impl Into<Self>) -> Self

Conjuction of two propositions.

pub fn or(self, other: impl Into<Self>) -> Self

Disjunction of two propositions.

pub fn not(self) -> Self

Negation of a proposition.

pub fn eq(self, other: impl Into<Self>) -> Self

Equality between two propositions.

pub fn ne(self, other: impl Into<Self>) -> Self

Equality between two propositions.

pub fn implies(self, other: impl Into<Self>) -> Self

Logical implication.

Trait Implementations

impl<T: Into<Prop>> BitAnd<T> for Prop

type Output = Prop

The resulting type after applying the & operator.

fn bitand(self, rhs: T) -> Self::Output

Performs the & operation.

impl<T: Into<Prop>> BitOr<T> for Prop

type Output = Prop

The resulting type after applying the | operator.

fn bitor(self, rhs: T) -> Self::Output

Performs the | operation.

impl Clone for Prop

fn clone(&self) -> Prop

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Prop

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

Formats the value using the given formatter.

impl From<bool> for Prop

fn from(value: bool) -> Self

Converts to this type from the input type.

impl Not for Prop

type Output = Prop

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl Copy for Prop