[][src]Enum spaces::Card

pub enum Card {
    Finite(usize),
    Infinite,
}

Measure of the cardinality (#) of a set.

Card is used to represent the number of possible values that are contained by a space. Take, for example, a 2-dimensional space, each with a finite set of values. In this case we have the following:

use spaces::{
    Space, Card, PairSpace,
    discrete::Ordinal,
};

let d1 = Ordinal::new(5);
let d2 = Ordinal::new(10);
let space = PairSpace::new(d1, d2);

assert_eq!(space.card(), Card::Finite(50));

Internally, this above code does the following:

use spaces::Card;

let s1 = Card::Finite(5);
let s2 = Card::Finite(10);

assert_eq!(s1 * s2, Card::Finite(50));

Variants

Finite(usize)Infinite

Trait Implementations

impl Into<usize> for Card[src]

impl Clone for Card[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

impl PartialEq<Card> for Card[src]

impl Eq for Card[src]

impl Copy for Card[src]

impl Debug for Card[src]

impl Mul<Card> for Card[src]

type Output = Card

The resulting type after applying the * operator.

Auto Trait Implementations

impl Unpin for Card

impl Send for Card

impl Sync for Card

impl RefUnwindSafe for Card

impl UnwindSafe for Card

Blanket Implementations

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]