Trait ena::unify::UnifyValue

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>