Liking cljdoc? Tell your friends :D
All platforms.

clojure.test.check.properties


for-allclj/smacro

(for-all bindings & body)

Macro sugar for for-all*. for-all lets you name the parameter and use them in expression, without wrapping them in a lambda. Like for-all*, it returns a property.

Examples

(for-all [a gen/int b gen/int] (>= (+ a b) a))

Macro sugar for `for-all*`. `for-all` lets you name the parameter
and use them in expression, without wrapping them in a lambda. Like
`for-all*`, it returns a property.

Examples

(for-all [a gen/int
          b gen/int]
  (>= (+ a b) a))
raw docstring

for-all*clj/s

(for-all* args function)

Creates a property (properties are also generators). A property is a generator that generates the result of applying the function under test with the realized arguments. Once realized, the arguments will be applied to function with apply.

Example:

(for-all* [gen/int gen/int] (fn [a b] (>= (+ a b) a)))

Creates a property (properties are also generators). A property
is a generator that generates the result of applying the function
under test with the realized arguments. Once realized, the arguments
will be applied to `function` with `apply`.

Example:

(for-all* [gen/int gen/int] (fn [a b] (>= (+ a b) a)))
raw docstring

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close