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 Collections

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

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

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

impl<'a> DomainType<'a, usize> for Collections

impl<'a> DomainType<'a, LMap<i32, i32>> for Collections

impl<'a> DomainType<'a, LVec<i32>> for Collections

impl<'a> DomainType<'a, Range<usize>> for Collections