Struct Tuple 

pub struct Tuple { /* private fields */ }

Tuple with named values

Names are optional, which means Identifiers can be empty.

Implementations

impl Tuple

pub fn new_named(named: HashMap<Identifier, Value>, src_ref: SrcRef) -> Self

Create new named tuple.

pub fn insert(&mut self, id: Identifier, value: Value)

Insert new (or overwrite existing) value into tuple

pub fn named_iter(&self) -> Iter<'_, Identifier, Value>

Return an iterator over all named values

pub fn tuple_type(&self) -> TupleType

Return the tuple type.

pub fn combine( self, rhs: Tuple, op: impl Fn(Value, Value) -> Result<Value, ValueError>, ) -> Result<Self, ValueError>

Combine two tuples of the same type with an operation.

This function is used for + and - builtin operators.

pub fn apply( self, value: Value, op: impl Fn(Value, Value) -> Result<Value, ValueError>, ) -> Result<Self, ValueError>

Apply value with an operation to a tuple.

This function is used for * and / builtin operators.

pub fn transform( self, op: impl Fn(Value) -> Result<Value, ValueError>, ) -> Result<Self, ValueError>

Transform each value in the tuple.

pub fn ray(&mut self)

Dissolve unnamed them.

Transparent tuples are unnamed tuple items of a tuple.

assert_eq!( (x=0, (y=0, z=0)), (x=0, y=0, z=0) );
///               ^ unnamed tuple

pub fn multiplicity<P: FnMut(Tuple)>(&self, ids: IdentifierList, p: P)

Call a predicate for each tuple multiplicity.

• ids: Items to multiply.
• p: Predicate to call for each resulting tuple.

Example

Input	Predicate’s Parameters
([x₀, x₁], y)	(x₀, y), (x₁, y)

Trait Implementations

impl Add for Tuple

type Output = Result<Tuple, ValueError>

The resulting type after applying the + operator.

fn add(self, rhs: Tuple) -> Self::Output

Performs the + operation.

impl Clone for Tuple

fn clone(&self) -> Tuple

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Tuple

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

Formats the value using the given formatter.

impl Default for Tuple

fn default() -> Tuple

Returns the “default value” for a type.

impl Display for Tuple

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

Formats the value using the given formatter.

impl Div<Value> for Tuple

type Output = Result<Tuple, ValueError>

The resulting type after applying the / operator.

fn div(self, rhs: Value) -> Self::Output

Performs the / operation.

impl From<Color> for Tuple

fn from(color: Color) -> Self

Converts to this type from the input type.

impl<T> From<Iter<'_, (&'static str, T)>> for Tuple

where T: Into<Value> + Clone + Debug,

fn from(iter: Iter<'_, (&'static str, T)>) -> Self

Converts to this type from the input type.

impl From<Size2> for Tuple

fn from(size: Size2) -> Self

Converts to this type from the input type.

impl From<Tuple> for Value

fn from(tuple: Tuple) -> Self

Converts to this type from the input type.

impl From<Vector2<f64>> for Tuple

fn from(v: Vec2) -> Self

Converts to this type from the input type.

impl From<Vector3<f64>> for Tuple

fn from(v: Vec3) -> Self

Converts to this type from the input type.

impl FromIterator<(Identifier, Value)> for Tuple

fn from_iter<T: IntoIterator<Item = (Identifier, Value)>>(iter: T) -> Self

Creates a value from an iterator.

impl FromIterator<Tuple> for Tuple

fn from_iter<T: IntoIterator<Item = Tuple>>(iter: T) -> Self

Creates a value from an iterator.

impl Hash for Tuple

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 IntoIterator for Tuple

type Item = (Identifier, Value)

The type of the elements being iterated over.

type IntoIter = IntoIter<Identifier, Value>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl Mul<Value> for Tuple

type Output = Result<Tuple, ValueError>

The resulting type after applying the * operator.

fn mul(self, rhs: Value) -> Self::Output

Performs the * operation.

impl Neg for Tuple

type Output = Result<Value, ValueError>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl PartialEq for Tuple

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

fn src_ref(&self) -> SrcRef

Return source code reference.

fn source_hash(&self) -> u64

Return source code hash.

impl Sub for Tuple

type Output = Result<Tuple, ValueError>

The resulting type after applying the - operator.

fn sub(self, rhs: Tuple) -> Self::Output

Performs the - operation.

impl TryFrom<&Tuple> for Color

type Error = ValueError

The type returned in the event of a conversion error.

fn try_from(tuple: &Tuple) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<&Tuple> for Size2

type Error = ValueError

The type returned in the event of a conversion error.

fn try_from(tuple: &Tuple) -> Result<Self, Self::Error>

Performs the conversion.

impl<'a> TryFrom<&'a Value> for &'a Tuple

type Error = ValueError

The type returned in the event of a conversion error.

fn try_from(value: &'a Value) -> Result<Self, Self::Error>

Performs the conversion.

impl Ty for Tuple

fn ty(&self) -> Type

Return type

impl ValueAccess for Tuple

fn by_id(&self, id: &Identifier) -> Option<&Value>

Find named value by identifier.

fn by_ty(&self, ty: &Type) -> Option<&Value>

Find unnamed value by type.

fn by_str<'a, T>(&'a self, id: &str) -> Result<T, ValueError>

where T: TryFrom<&'a Value>, T::Error: Debug,

Helper function to fetch an argument by string.

fn get<'a, T>(&'a self, id: &str) -> T

where T: TryFrom<&'a Value>, T::Error: Debug,

Fetch an argument value by name as &str.

fn get_value(&self, id: &str) -> Result<&Value, ValueError>

Fetch an argument value by name as &str.

fn contains_id(&self, id: &Identifier) -> bool

Return true, if tuple contains a value with that name

impl StructuralPartialEq for Tuple