[][src]Enum rustupolis::tuple::E

pub enum E {
    I(i32),
    D(f64),
    S(String),
    T(Tuple),
    Any,
    None,
}

E represents a tuple element.

Variants

I(i32)

Integer data type.

Implemented as 32-bit integer (i32).

D(f64)

Floating point data type.

Implemented as double precision (f64).

String data type.

Implemented as String.

Tuple data type.

Implemented as vector of tuple types (Vec).

Any

Any data type.

In context of this tuple, Any stands for the wild card that is used for pattern matching when querying the tuple space for certain tuples, and marks the beginning of a matching range when searching for matching tuples.

None

None data type.

In context of this tuple, None represents "no match" when searching, and marks the end of a matching range when searching for matching tuples. All defined values will fall between Any..None.

Implementations

impl E[src]

pub fn str<S: Into<String>>(s: S) -> E[src]

pub fn is_defined(&self) -> bool[src]

Returns true if one or more elements are the wildcard E::Any, recursively.

pub fn matches(&self, other: &E) -> bool[src]

Returns true if the other tuple matches this one. Tuples match when elements in each respective position are equal, or one or both of them in a given position is the wildcard E::Any.

Trait Implementations

impl Clone for E[src]

impl Debug for E[src]

impl Display for E[src]

impl Eq for E[src]

impl Ord for E[src]

fn cmp(&self, other: &E) -> Ordering[src]

Tuple elements have a well-defined ordering. Ordering among values of the same variant is consistent with its contained type. Ordering among variants of different types is mathematically and logically arbitrary but strongly consistent for the purpose of storage and retrieval in data structures.

impl PartialEq<E> for E[src]

impl PartialOrd<E> for E[src]

impl StructuralPartialEq for E[src]

Auto Trait Implementations

impl RefUnwindSafe for E

impl Send for E

impl Sync for E

impl Unpin for E

impl UnwindSafe for E

Blanket Implementations

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

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

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

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> ToString for T where
    T: Display + ?Sized
[src]

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<V, T> VZip<V> for T where
    V: MultiLane<T>,