Struct canrun::domains::example::I32

pub struct I32 { /* 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 I32

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 I32

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

Formats the value using the given formatter.

impl<'a> Domain<'a> for I32

type Value = I32Value

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, i32> for I32

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

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

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