Enum canrun::state::constraints::OneOfTwo

pub enum OneOfTwo<A: Debug, B: Debug> {
    A(Rc<A>, Val<B>),
    B(Val<A>, Rc<B>),
}

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

Variants

A

Returned when the first Val is successfully resolved.

Tuple Fields of A

0: Rc<A>1: Val<B>

B

Returned when the second Val is successfully resolved.

Tuple Fields of B

0: Val<A>1: Rc<B>

Implementations

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

pub fn resolve<'a, D>(
    a: &Val<A>,
    b: &Val<B>,
    state: &State<'a, D>
) -> Result<OneOfTwo<A, B>, VarWatch> where
    D: DomainType<'a, A> + DomainType<'a, B>, 

Attempt to resolve a OneOfTwo enum from a State.