Trait canrun::domains::DomainType

pub trait DomainType<'a, T: Debug>: Domain<'a> { }

Allows a State to retrieve values of a specific type from a domain.

This trait is automatically implemented by the domain! macro.

As of now there shouldn't be much of a need to use this trait's functionality in user facing code. The trait itself may need to be used as a constraint, though UnifyIn is often the better, higher level choice.

Implementors

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

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

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

Loading content...