Enum canrun::core::constraints::TwoOfThree

pub enum TwoOfThree<A: Unify, B: Unify, C: Unify> {
    AB(Rc<A>, Rc<B>, Value<C>),
    BC(Value<A>, Rc<B>, Rc<C>),
    AC(Rc<A>, Value<B>, Rc<C>),
}

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

Variants

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

Returned when the first and second Values are successfully resolved.

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

Returned when the second and third Values are successfully resolved.

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

Returned when the first and third Values are successfully resolved.

Implementations

impl<A: Unify, B: Unify, C: Unify> TwoOfThree<A, B, C>

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

Attempt to resolve a TwoOfThree enum from a State.