Enum canrun::core::constraints::OneOfTwo

pub enum OneOfTwo<A: Unify, B: Unify> {
    A(Rc<A>, Value<B>),
    B(Value<A>, Rc<B>),
}

Resolve one out of two Values or return an Err(VarWatch) in a Constraint.

Variants

A(Rc<A>, Value<B>)

Returned when the first Value is successfully resolved.

B(Value<A>, Rc<B>)

Returned when the second Value is successfully resolved.

Implementations

impl<A: Unify, B: Unify> OneOfTwo<A, B>

pub fn resolve(
    a: &Value<A>,
    b: &Value<B>,
    state: &State
) -> Result<OneOfTwo<A, B>, VarWatch>

Attempt to resolve a OneOfTwo enum from a State.