Test.Check

opaque Gen a

A deterministic generator that produces values from a seed.

opaque Property

A testable proposition with a failure report and counterexample.

for-all :: forall a. Gen a -> (a -> Bool) -> Property

Test a property over generated values.

check :: Nat -> Property ->{Io r} Result String Unit

Run a property for the requested number of examples.