Property -is:module
A property test, along with some configurable limits like how many
times to run the test.
The type of properties over the monad m.
The type of properties over the monad m
Properties of the obligation target to be checked.
A property is a temporal or basic assertion that's specified to either
used as an _assert_ or _cover_ statement. See
assert and
cover.
A property is a temporal or basic assertion that's specified to either
used as an _assert_ or _cover_ statement. See
assert and
cover.
A property describes a quality of a
Program. It is a
Term yields a boolean value.
Properties exposed by LevelDB
Local definition of a Property: intended to be a proxy for a
QuickCheck Property or a Hedgehog Property. The
toNativeProperty implementation function converts from these
proxy Properties to the native Property implementation.
Tests should only use the
Property type as an output; the
constructors and internals should be used only by the test
concretization.
A read- and writable property on a UD object.
A property to run, with optional configuration settings specified up
front.
Settings should be specified before any other
Property calls;
any settings specified afterwards are ignored.