Trait ena::unify::UnifyValue
[−]
[src]
pub trait UnifyValue: Clone + Debug { fn unify_values(value1: &Self, value2: &Self) -> Result<Self, (Self, Self)>; }
Required Methods
fn unify_values(value1: &Self, value2: &Self) -> Result<Self, (Self, Self)>
Given two values, produce a new value that combines them. If that is not possible, produce an error.
Implementors
impl UnifyValue for ()
impl<V: UnifyValue> UnifyValue for Option<V>