Struct canrun::example::TupleI32

pub struct TupleI32 { /* fields omitted */ }

A custom Domain generated by the domain! macro. TODO: Figure out how to interpolate something useful here

Trait Implementations

impl<'a> Clone for TupleI32

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TupleI32

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

Formats the value using the given formatter.

impl<'a> Domain<'a> for TupleI32

type Value = TupleI32Value

An individual value that may contain any of the valid types in this domain.

fn new() -> Self

Create a new, valid domain.

fn unify_domain_values(
    state: State<'a, Self>,
    a: Self::Value,
    b: Self::Value
) -> Option<State<Self>>

Apply .unify() to two domain level values.

impl<'a> DomainType<'a, (Val<i32>, Val<i32>)> for TupleI32

fn values_as_ref(&self) -> &DomainValues<(Val<i32>, Val<i32>)>

fn values_as_mut(&mut self) -> &mut DomainValues<(Val<i32>, Val<i32>)>

fn into_domain_val(val: Val<(Val<i32>, Val<i32>)>) -> TupleI32Value

impl<'a> DomainType<'a, i32> for TupleI32

fn values_as_ref(&self) -> &DomainValues<i32>

fn values_as_mut(&mut self) -> &mut DomainValues<i32>

fn into_domain_val(val: Val<i32>) -> TupleI32Value