Testing module

require_that

procedure · 1 overloadsince 0.30.0Source

assert_that, then returns from the procedure it is written in (which must return nothing) when the check fails.

require_that :: (value: $T, matcher: Matcher, loc := #caller_location)

assert_that, then returns from the procedure it is written in (which must return nothing) when the check fails.

Parameters

value: $T
the value to check.
matcher: Matcher
what it should be.
loc := #caller_location
where the check is written, shown when it fails. Leave the default.

See also