Struct All 

pub struct All(pub bool);

Newtype wrapper for bool where join is logical AND.

All(bool) forms a join-semilattice under the dual boolean order (true < false):

• All(a).join(&All(b)) == All(a && b)
• Bottom element is All(true)

This is useful for combining boolean conditions where “all must be true”, such as validation checks, preconditions, or invariants.

Note: The dual order may seem counterintuitive, but it makes AND the join operation (least upper bound). This mirrors how Min uses the dual order to make min the join.

Example

use algebra::All;
use algebra::JoinSemilattice;

let a = All(true);
let b = All(false);
assert_eq!(a.join(&b), All(false));

Tuple Fields

0: bool

Trait Implementations

impl BoundedJoinSemilattice for All

fn bottom() -> Self

The bottom element of the lattice (⊥).

fn join_all_from_bottom<I>(it: I) -> Self

where I: IntoIterator<Item = Self>,

Join a finite iterator of values, starting from ⊥.

impl Clone for All

fn clone(&self) -> All

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for All

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for All

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<bool> for All

fn from(value: bool) -> Self

Converts to this type from the input type.

impl Hash for All

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 JoinSemilattice for All

fn join(&self, other: &Self) -> Self

The join (least upper bound).

fn join_assign(&mut self, other: &Self)

In-place variant.

fn leq(&self, other: &Self) -> bool

where Self: PartialEq,

Derived partial order: x ≤ y iff x ⊔ y = y.

fn join_all<I>(it: I) -> Option<Self>

where I: IntoIterator<Item = Self>,

Join a finite iterator of values. Returns None for empty iterators.

impl Named for All

fn typename() -> &'static str

The globally unique type name for the type. This should typically be the fully qualified Rust name of the type.

fn typehash() -> u64

A globally unique hash for this type. TODO: actually enforce perfect hashing

fn typeid() -> TypeId

The TypeId for this type. TypeIds are unique only within a binary, and should not be used for global identification.

fn port() -> u64

The globally unique port for this type. Typed ports are in the range of 1<<63..1<<64-1.

fn arm(&self) -> Option<&'static str>

If the named type is an enum, this returns the name of the arm of the value self.

unsafe fn arm_unchecked(self_: *const ()) -> Option<&'static str>

An unsafe version of ‘arm’, accepting a pointer to the value, for use in type-erased settings.

impl PartialEq for All

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for All

impl Eq for All

impl StructuralPartialEq for All