Enum zfc::Cardinality
source · pub enum Cardinality {
Finite(BigUint),
Transfinite(BigUint),
}
Expand description
Represents the quantity of elements in a Set
.
Variants§
Finite(BigUint)
The contained BigUint
represents the quantity of elements in a finite Set
.
Transfinite(BigUint)
The contained BigUint
represents the aleph number of a transfinite Set
.
Implementations§
source§impl Cardinality
impl Cardinality
sourcepub const fn as_biguint(&self) -> &BigUint
pub const fn as_biguint(&self) -> &BigUint
Returns a reference to the contained BigUint
.
sourcepub const fn from_biguint(value: BigUint) -> Self
pub const fn from_biguint(value: BigUint) -> Self
Creates a Cardinality::Finite
containing value
.
sourcepub fn cmp_u8(&self, value: &u8) -> Ordering
pub fn cmp_u8(&self, value: &u8) -> Ordering
Cardinality::Transfinite
is always greater.
For Cardinality::Finite
the contained BigUint
is compared to value
.
sourcepub fn cmp_u16(&self, value: &u16) -> Ordering
pub fn cmp_u16(&self, value: &u16) -> Ordering
Cardinality::Transfinite
is always greater.
For Cardinality::Finite
the contained BigUint
is compared to value
.
sourcepub fn cmp_u32(&self, value: &u32) -> Ordering
pub fn cmp_u32(&self, value: &u32) -> Ordering
Cardinality::Transfinite
is always greater.
For Cardinality::Finite
the contained BigUint
is compared to value
.
sourcepub fn cmp_u64(&self, value: &u64) -> Ordering
pub fn cmp_u64(&self, value: &u64) -> Ordering
Cardinality::Transfinite
is always greater.
For Cardinality::Finite
the contained BigUint
is compared to value
.
sourcepub fn cmp_u128(&self, value: &u128) -> Ordering
pub fn cmp_u128(&self, value: &u128) -> Ordering
Cardinality::Transfinite
is always greater.
For Cardinality::Finite
the contained BigUint
is compared to value
.
sourcepub fn cmp_usize(&self, value: &usize) -> Ordering
pub fn cmp_usize(&self, value: &usize) -> Ordering
Cardinality::Transfinite
is always greater.
For Cardinality::Finite
the contained BigUint
is compared to value
.
sourcepub fn cmp_biguint(&self, value: &BigUint) -> Ordering
pub fn cmp_biguint(&self, value: &BigUint) -> Ordering
Cardinality::Transfinite
is always greater.
For Cardinality::Finite
the contained BigUint
is compared to value
.
Trait Implementations§
source§impl Clone for Cardinality
impl Clone for Cardinality
source§fn clone(&self) -> Cardinality
fn clone(&self) -> Cardinality
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for Cardinality
impl Debug for Cardinality
source§impl Display for Cardinality
impl Display for Cardinality
source§impl From<BigUint> for Cardinality
impl From<BigUint> for Cardinality
source§impl From<Cardinality> for BigUint
impl From<Cardinality> for BigUint
source§fn from(value: Cardinality) -> Self
fn from(value: Cardinality) -> Self
source§impl From<Cardinality> for BoundedCardinality
impl From<Cardinality> for BoundedCardinality
source§fn from(value: Cardinality) -> Self
fn from(value: Cardinality) -> Self
source§impl Hash for Cardinality
impl Hash for Cardinality
source§impl Ord for Cardinality
impl Ord for Cardinality
source§fn cmp(&self, other: &Cardinality) -> Ordering
fn cmp(&self, other: &Cardinality) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
source§impl PartialEq<BigUint> for Cardinality
impl PartialEq<BigUint> for Cardinality
source§impl PartialEq<u128> for Cardinality
impl PartialEq<u128> for Cardinality
source§impl PartialEq<u16> for Cardinality
impl PartialEq<u16> for Cardinality
source§impl PartialEq<u32> for Cardinality
impl PartialEq<u32> for Cardinality
source§impl PartialEq<u64> for Cardinality
impl PartialEq<u64> for Cardinality
source§impl PartialEq<u8> for Cardinality
impl PartialEq<u8> for Cardinality
source§impl PartialEq<usize> for Cardinality
impl PartialEq<usize> for Cardinality
source§impl PartialEq for Cardinality
impl PartialEq for Cardinality
source§fn eq(&self, other: &Cardinality) -> bool
fn eq(&self, other: &Cardinality) -> bool
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd<BigUint> for Cardinality
impl PartialOrd<BigUint> for Cardinality
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresource§impl PartialOrd<u128> for Cardinality
impl PartialOrd<u128> for Cardinality
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresource§impl PartialOrd<u16> for Cardinality
impl PartialOrd<u16> for Cardinality
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresource§impl PartialOrd<u32> for Cardinality
impl PartialOrd<u32> for Cardinality
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresource§impl PartialOrd<u64> for Cardinality
impl PartialOrd<u64> for Cardinality
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresource§impl PartialOrd<u8> for Cardinality
impl PartialOrd<u8> for Cardinality
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresource§impl PartialOrd<usize> for Cardinality
impl PartialOrd<usize> for Cardinality
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresource§impl PartialOrd for Cardinality
impl PartialOrd for Cardinality
source§fn partial_cmp(&self, other: &Cardinality) -> Option<Ordering>
fn partial_cmp(&self, other: &Cardinality) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read more