Module lib::assert_some

Assert macros for Some(_) items.

These macros help compare Some(…) items, such as std::Option::Some or similar.

Assert expression is Some(_):

• assert_some!(a) ≈ a is Some(_)

Compare Some(…) to another Some(…):

• assert_some_eq!(a, b) ≈ (a ⇒ Some(a̅) ⇒ a̅) = (b ⇒ Some(b̅) ⇒ b̅)

• assert_some_ne!(a, b) ≈ (a ⇒ Some(a̅) ⇒ a̅) ≠ (b ⇒ Some(b̅) ⇒ b̅)

Compare Some(…) to an expression:

• assert_some_eq_expr!(a, expr) ≈ (a ⇒ Some(a̅) ⇒ a̅) = b

• assert_some_ne_expr!(a, b) ≈ (a ⇒ Some(a̅) ⇒ a̅) ≠ b

Modules

• assert_some
  Assert expression is Some(_).
• assert_some_eq
  Assert two expressions are Some(_) and their values are equal.
• assert_some_eq_expr
  Assert an expression is Some(_) and its value is equal to an expression.
• assert_some_ne
  Assert two expressions are Some(_) and their values are not equal.
• assert_some_ne_expr
  Assert an expression is Some(_) and its value is not equal to an expression.