Module lib::assert_ready

Assert macros for Ready(_) items.

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

Assert expression is Ready(_):

• assert_ready!(a) ≈ a is Ready(_)

Compare Ready(…) to another Ready(…):

• assert_ready_eq!(a, b) ≈ (a ⇒ Ready(a̅) ⇒ a̅) = (b ⇒ Ready(b̅) ⇒ b̅)

• assert_ready_ne!(a, b) ≈ (a ⇒ Ready(a̅) ⇒ a̅) ≠ (b ⇒ Ready(b̅) ⇒ b̅)

Compare Ready(…) to an expression:

• assert_ready_eq_expr!(a, expr) ≈ (a ⇒ Ready(a̅) ⇒ a̅) = b

• assert_ready_ne_expr!(a, b) ≈ (a ⇒ Ready(a̅) ⇒ a̅) ≠ b

Modules

• assert_ready
  Assert an expression is Ready(_).
• assert_ready_eq
  Assert two expressions are Ready(_) and their values are equal.
• assert_ready_eq_expr
  Assert an expression is Ready(_) and its value is equal to an expression.
• assert_ready_ne
  Assert two expressions are Ready(_) and their values are not equal.
• assert_ready_ne_expr
  Assert an expression is Ready(_) and its value is not equal to an expression.