Conditions

Conditions are expressions which evaluate to booleans (the Bool type).

Conditions include:

Comparison Chains

In Vine, you can chain comparison operators.

For example, a < b < c is equivalent to (a < b) & (b < c).

More generally, a() < b() < c() is equivalent to

do {
  let x = a();
  let y = b();
  let z = c();
  (x < y) & (y < z)
}

Note that comparison chains do not short-circuit; all of the subexpressions are evaluated exactly once.

All of the comparison operators can be chained. As a contrived example, these are equivalent:

1 == 1 < 2 <= 3 > 0 != 5 // true
(1 == 1) & (1 < 2) & (2 <= 3) & (3 > 0) & (0 != 5) // true

The is Operator

The is operator checks if an expression matches some pattern, and returns a boolean.

let option = Some(1);
option is Some(_); // true
option is None(); // false

Any variables bound by the patterns are in scope in subsequent true-paths including and chains, then-blocks of an if, and the body of a while.

let option = Some(1);

option is Some(value) and value > 0; // true

if option is Some(value) {
  value; // 1
} else {
  // `value` is not bound in this scope
}

A true-path is broken by negation (!) and disjunction (or).

// invalid:
!(option is Some(value)) and value > 0

// invalid:
option is Some(value) or value > 0

Implication

In logic, the statement “P implies Q” is true if, whenever P is true, Q is also true. This is equivalent to “P is false, or Q is true”. Vine has an implication operator, impl, with the same semantics.

true impl true // true
true impl false // false
false impl true // true
false impl false // true

The implies operator also continues the true-path; variables bound in the left-hand side are in scope in the right-hand side:

let x = Some(1);
x is Some(value) impl value > 0 // true
x is Some(value) impl value == 0 // false

let y = None;
y is Some(value) impl value > 0 // true
y is Some(value) impl value == 0 // true

A common pattern in other languages is to write value == null || validate(value) to validate a nullable value. In Vine, this is written with the implication operator:

value is Some(value) impl validate(value)