active.quickcheck — de.active-group/active-quickcheck 0.8.0

A QuickCheck clone for Clojure.

==> clj macro

(==> ?bool ?prop)

Create a property that only has to hold when its prerequisite holds.

and->arbitrary clj

(and->arbitrary a & args)

and->coarbitrary clj

(and->coarbitrary a & args)

Make a coarbitrary from a spec product

arbitrary clj macro

(arbitrary form)

Convenient syntax for constructing arbitraries.

This is usually used implicitly via the property macro.

The argument form can be one of the following:

• boolean, integer, byte, short, int, long, unsigned byte, unsigned-short, unsigned-int, unsigned-long natural, rational, float, char, ascii-char, printable-ascii-char, string, ascii-string, printable-ascii-string, byte-array, symbol, keyword
• (one-of <equality> <expr> ...)
• (tuple <arb> ...)
• (list <arb>)
• (vector <arb>)
• (set <arb>)
• (record <constructor> [<accessor> <arb> ...])
• (mixed <pred> <arb> <pred> <arb> ...)
• (map <arb1> <arb2>) ; map with keys from <arb1>, values from <arb2>
• ~<expr>, which evaluates <expr> as a regular expression

The syntax is extensible via the expand-arbitrary multimethod.

arbitrary-ascii-char clj

Arbitrary ASCII character.

arbitrary-ascii-letter clj

Arbitrary ASCII letter.

arbitrary-ascii-string clj

Arbitrary string of ASCII characters.

arbitrary-ascii-string-in-range clj

(arbitrary-ascii-string-in-range lower upper)

Arbitrary string of ASCII characters in range (lower,upper).

arbitrary-boolean clj

Arbitrary boolean.

arbitrary-byte clj

Arbitrary byte.

arbitrary-byte-array clj

Arbitrary byte-array.

arbitrary-byte-array-in-range clj

(arbitrary-byte-array-in-range arbitrary-el lower upper)

Arbitrary byte-array in range (lower,uppper).

arbitrary-char clj

Arbitrary char.

arbitrary-coll-of clj

(arbitrary-coll-of arbitrary-el & kwargs)

Arbitrary collection mimicking Clojure spec's coll-of

arbitrary-float clj

Arbitrary float.

arbitrary-function clj

(arbitrary-function arbitrary-result & coarbitrary-args)

Arbitrary function.

arbitrary-generator clj

(arbitrary-generator Arbitrary-type)

Lens for the generator field from a Arbitrary-type record. See active.quickcheck/make-arbitrary.

arbitrary-int clj

Arbitrary int.

arbitrary-integer clj

Arbitrary integer.

arbitrary-integer-from-to clj

(arbitrary-integer-from-to from to)

Arbitrary integer from range.

arbitrary-keyword clj

Arbitrary keyword.

arbitrary-list clj

(arbitrary-list arbitrary-el)

Arbitrary list.

arbitrary-list-in-range clj

(arbitrary-list-in-range arbitrary-el lower upper)

Arbitrary list in range (lower,uppper).

arbitrary-long clj

Arbitrary long.

arbitrary-map clj

(arbitrary-map arbitrary-key arbitrary-value)

Arbitrary map over the given arbitrary key and value.

arbitrary-mixed clj

(arbitrary-mixed pred+arbitrary-promise-list)

Arbitrary value from one of a list of (promises of) arbitraries.

arbitrary-natural clj

Arbitrary natural number.

arbitrary-one-of clj

(arbitrary-one-of eql? & vals)

Arbitrary value from a list of values, and equality predicate.

arbitrary-printable-ascii-char clj

Arbitrary printable ASCII character.

arbitrary-printable-ascii-string clj

Arbitrary string of printable ASCII characters.

arbitrary-printable-ascii-string-in-range clj

(arbitrary-printable-ascii-string-in-range lower upper)

Arbitrary string of printable ASCII characters in range (lower,upper).

arbitrary-rational clj

Arbitrary rational number.

arbitrary-record clj

(arbitrary-record construct accessors & arbitrary-els)

Arbitrary record.

arbitrary-sequence-like clj

(arbitrary-sequence-like list->sequence arbitrary-el)

Arbitrary sequence-like container.

arbitrary-sequence-like-in-range clj

(arbitrary-sequence-like-in-range list->sequence arbitrary-el lower upper)

Arbitrary sequence-like container.

arbitrary-set clj

(arbitrary-set arbitrary-el)

Arbitrary set.

arbitrary-short clj

Arbitrary short.

arbitrary-string clj

Arbitrary string.

arbitrary-string-in-range clj

(arbitrary-string-in-range lower upper)

Arbitrary string in range (lower,upper).

arbitrary-symbol clj

Arbitrary symbol.

arbitrary-tuple clj

(arbitrary-tuple & arbitrary-els)

Arbitrary fixed-size vector.

Arbitrary-type clj

arbitrary-unsigned-byte clj

Arbitrary unsigned byte.

arbitrary-unsigned-int clj

Arbitrary unsigned int.

arbitrary-unsigned-long clj

Arbitrary unsigned long.

arbitrary-unsigned-short clj

Arbitrary unsigned short.

arbitrary-vector clj

(arbitrary-vector arbitrary-el)

Arbitrary vector.

arbitrary-vector-in-range clj

(arbitrary-vector-in-range arbitrary-el lower upper)

Arbitrary vector in range (lower,uppper).

arbitrary? clj

(arbitrary? thing)

Is object a Arbitrary-type record? See active.quickcheck/make-arbitrary.

check clj

(check config prop)

Run a property against a configuration and report results.

check-result-arguments-list clj

(check-result-arguments-list Check-result-type)

Lens for the arguments-list field from a Check-result-type record. See active.quickcheck/make-check-result.

check-result-error-set clj

(check-result-error-set Check-result-type)

Lens for the error-set field from a Check-result-type record. See active.quickcheck/make-check-result.

check-result-ok clj

(check-result-ok Check-result-type)

Lens for the ok field from a Check-result-type record. See active.quickcheck/make-check-result.

check-result-stamp clj

(check-result-stamp Check-result-type)

Lens for the stamp field from a Check-result-type record. See active.quickcheck/make-check-result.

Check-result-type clj

check-result? clj

(check-result? thing)

Is object a Check-result-type record? See active.quickcheck/make-check-result.

check-results clj

(check-results config prop)

Run a property against a configuration and return results.

choose-alphanumeric-char clj

choose-ascii-char clj

Generator for ASCII characters.

choose-ascii-letter clj

Generator for ASCII alphabetic letters.

choose-byte clj

Generator for bytes in [-128, 127].

choose-byte-array clj

(choose-byte-array n)

Generator for a byte array with size n.

choose-byte-array-in-range clj

(choose-byte-array-in-range el-gen lower upper)

choose-char clj

(choose-char lower upper)

Generator for chars within a range, bonds are inclusive.

choose-float clj

(choose-float lower upper)

Generator for floats within a range, bounds are inclusive.

choose-int clj

Generator for ints in [-2147483648, 2147483647].

choose-integer clj

(choose-integer lower upper)

Generator for integers within a range, bounds are inclusive.

choose-keyword clj

(choose-keyword n)

Generator for a keyword with size n+1.

choose-list clj

(choose-list el-gen n)

Generator for a list of values with size n.

choose-list-in-range clj

(choose-list-in-range el-gen lower upper)

choose-long clj

Generator for longs in [-9223372036854775808, 9223372036854775807].

choose-map clj

(choose-map el-gen n)

Generator for a map with size n. The passed element generator must generate key-value pairs.

choose-mixed clj

(choose-mixed gens)

Generator that chooses from a sequence of generators. This has no shrinking between the gens

choose-non-numeric-char clj

choose-one-of clj

(choose-one-of lis)

Make a generator that yields one of a list of values.

choose-printable-ascii-char clj

Generator for printable ASCII characters.

choose-set clj

(choose-set el-gen n)

Generator for a set with size <= n

choose-short clj

Generator for shorts in [-32768, 32767].

choose-string clj

(choose-string char-gen n)

Generator for a string with size n.

choose-string-in-range clj

(choose-string-in-range el-gen lower upper)

choose-symbol clj

(choose-symbol n)

Generator for a symbol with size n+1.

choose-unsigned-byte clj

Generator for bytes in [0, 255].

choose-unsigned-int clj

Generator for bytes in [0, 4294967295].

choose-unsigned-long clj

Generator for bytes in [0, 18446744073709551615].

choose-unsigned-short clj

Generator for bytes in [0, 65535].

choose-vector clj

(choose-vector el-gen n)

Generator for a vector with size n.

choose-vector-in-range clj

(choose-vector-in-range el-gen lower upper)

choose-with-frequencies clj

(choose-with-frequencies lis)

Generator that chooses from a sequence of (frequency generator) pairs.

classify clj macro

(classify ?really? ?str ?testable)

Classify some test cases of a testable.

coarbitrary clj macro

(coarbitrary form)

coarbitrary-ascii-char clj

Coarbitrary ASCII character.

coarbitrary-ascii-letter clj

Coarbitrary ASCII letter.

coarbitrary-ascii-string clj

Coarbitrary string of ASCII characters.

coarbitrary-boolean clj

Coarbitrary boolean

coarbitrary-byte clj

Coarbitrary byte.

coarbitrary-byte-array clj

coarbitrary byte-array.

coarbitrary-char clj

Coarbitrary char.

coarbitrary-coarbitrary clj

(coarbitrary-coarbitrary Coarbitrary-type)

Lens for the coarbitrary field from a Coarbitrary-type record. See active.quickcheck/make-coarbitrary.

coarbitrary-coll-of clj

(coarbitrary-coll-of arbitrary-el & kwargs)

Coarbitrary collection mimicking Clojure spec's coll-of

coarbitrary-float clj

Coarbitrary float.

coarbitrary-function clj

(coarbitrary-function coarbitrary-result & arbitrary-args)

Coarbitrary function.

coarbitrary-int clj

Coarbitrary int.

coarbitrary-integer clj

Arbitrary integer.

coarbitrary-integer-from-to clj

(coarbitrary-integer-from-to from to)

Coarbitrary integer from range.

coarbitrary-keyword clj

Coarbitrary keyword.

coarbitrary-list clj

(coarbitrary-list coarbitrary-el)

Coarbitrary list.

coarbitrary-long clj

Coarbitrary long.

coarbitrary-map clj

(coarbitrary-map coarbitrary-key coarbitrary-value)

coarbitrary map over the given arbitrary key and value.

coarbitrary-mixed clj

(coarbitrary-mixed pred+arbitrary-promise-list)

Arbitrary value from one of a list of (promises of) arbitraries.

coarbitrary-natural clj

Coarbitrary natural number

coarbitrary-one-of clj

(coarbitrary-one-of eql? & vals)

Coarbitrary value from a list of values, and equality predicate.

coarbitrary-printable-ascii-char clj

Coarbitrary printable ASCII character.

coarbitrary-rational clj

Coarbitrary rational number.

coarbitrary-record clj

(coarbitrary-record construct accessors & coarbitrary-els)

Coarbitrary record.

coarbitrary-sequence-like clj

(coarbitrary-sequence-like choose-sequence sequence->list coarbitrary-el)

Coarbitrary sequence-like container.

coarbitrary-set clj

(coarbitrary-set coarbitrary-el)

Coarbitrary set.

coarbitrary-short clj

Coarbitrary short.

coarbitrary-string clj

Coarbitrary string.

coarbitrary-symbol clj

Coarbitrary symbol.

coarbitrary-tuple clj

(coarbitrary-tuple & coarbitrary-els)

Coarbitrary-type clj

coarbitrary-unsigned-byte clj

Coarbitrary unsigned byte.

coarbitrary-unsigned-int clj

Coarbitrary unsigned int.

coarbitrary-unsigned-long clj

Coarbitrary unsigned long.

coarbitrary-unsigned-short clj

Coarbitrary unsigned short.

coarbitrary-vector clj

(coarbitrary-vector coarbitrary-el)

Coarbitrary vector.

coarbitrary? clj

(coarbitrary? thing)

Is object a Coarbitrary-type record? See active.quickcheck/make-coarbitrary.

coerce->generator clj

(coerce->generator thing)

Coerce an object to a generator.

coerce->result-generator clj

(coerce->result-generator thing)

Coerce an object to a result generator.

coerce->tree clj

(coerce->tree arg)

coll-of->arbitrary clj

(coll-of->arbitrary a & kwargs)

coll-of->coarbitrary clj

(coll-of->coarbitrary a & kwargs)

collect clj

(collect lbl testable)

Label a testable value with an the string representation of an object.

Config-type clj

current-graph clj

(current-graph myfn)

expand-arbitrary clj multimethod

Multimethod to expand `arbitrary' forms.

Dispatches on the symbol for atomic arbitrary forms, and on [op] for compound arbitrary forms, where op is the operator.

expand-coarbitrary clj multimethod

Multimethod to expand `coarbitrary' forms.

Dispatches on the symbol for atomic coarbitrary forms, and on [op] for compound coarbitrary forms, where op is the operator.

find-failing clj

(find-failing smaller func)

fm clj macro

(fm [& args] [& body])

fn->arbitrary clj

(fn->arbitrary fun)

fn->coarbitrary clj

(fn->coarbitrary fun)

for-all-with-shrink-with-names clj

(for-all-with-shrink-with-names func arg-names arg-trees)

Bind name to generated value, try to shrink, supplying informative name.,

function-memorize? clj

(function-memorize? arg)

gen->arbitrary clj

(gen->arbitrary gen)

Make a spec gen specification into an arbitrary.

generate clj

(generate n rgen gen max-shrink-depth)

Extract a value from a generator, using size n and random generator rgen.

generate-one-of clj

(generate-one-of arbs)

Randomly choose one of a list of given arbitraries

get-max-shrink-depth clj

Get-max-shrink-depth-type clj

get-max-shrink-depth? clj

(get-max-shrink-depth? thing)

Is object a Get-max-shrink-depth-type record? See active.quickcheck/make-get-max-shrink-depth.

get-random-generator clj

Get-random-generator-type clj

get-random-generator? clj

(get-random-generator? thing)

Is object a Get-random-generator-type record? See active.quickcheck/make-get-random-generator.

get-size clj

Get-size-type clj

get-size? clj

(get-size? thing)

Is object a Get-size-type record? See active.quickcheck/make-get-size.

label clj

(label str testable)

Label a testable value.

lift->generator clj

make-arbitrary clj

(make-arbitrary generator)

Construct a Arbitrary-type record.

generator: access via active.quickcheck/arbitrary-generator

make-check-result clj

(make-check-result ok stamp arguments-list error-set)

Construct a Check-result-type record.

ok: access via active.quickcheck/check-result-ok stamp: access via active.quickcheck/check-result-stamp arguments-list: access via active.quickcheck/check-result-arguments-list error-set: access via active.quickcheck/check-result-error-set

make-coarbitrary clj

(make-coarbitrary coarbitrary)

Construct a Coarbitrary-type record.

coarbitrary: access via active.quickcheck/coarbitrary-coarbitrary

make-config clj

(make-config max-test max-fail max-shrink-depth size print-every)

Construct a Config-type record.

max-test: access via active.quickcheck/make-config-max-test max-fail: access via active.quickcheck/make-config-max-fail max-shrink-depth: access via active.quickcheck/make-config-max-shrink-depth size: access via active.quickcheck/make-config-size print-every: access via active.quickcheck/make-config-print-every

make-config-max-fail clj

(make-config-max-fail Config-type)

Lens for the max-fail field from a Config-type record. See active.quickcheck/make-config.

make-config-max-shrink-depth clj

(make-config-max-shrink-depth Config-type)

Lens for the max-shrink-depth field from a Config-type record. See active.quickcheck/make-config.

make-config-max-test clj

(make-config-max-test Config-type)

Lens for the max-test field from a Config-type record. See active.quickcheck/make-config.

make-config-print-every clj

(make-config-print-every Config-type)

Lens for the print-every field from a Config-type record. See active.quickcheck/make-config.

make-config-size clj

(make-config-size Config-type)

Lens for the size field from a Config-type record. See active.quickcheck/make-config.

make-config? clj

(make-config? thing)

Is object a Config-type record? See active.quickcheck/make-config.

make-get-max-shrink-depth clj

(make-get-max-shrink-depth)

Construct a Get-max-shrink-depth-type record.

make-get-random-generator clj

(make-get-random-generator)

Construct a Get-random-generator-type record.

make-get-size clj

(make-get-size)

Construct a Get-size-type record.

make-maybe-with-tree clj

(make-maybe-with-tree maybe-tree)

Construct a Maybe-with-tree-type record.

maybe-tree: access via active.quickcheck/maybe-get-tree

make-promote clj

(make-promote func)

Construct a Promote-type record.

func: access via active.quickcheck/promote-func

make-property clj

(make-property func arg-names args)

Construct a Property-type record.

func: access via active.quickcheck/property-func arg-names: access via active.quickcheck/property-arg-names args: access via active.quickcheck/property-args

make-variant clj

(make-variant v gen)

Construct a Variant-type record.

v: access via active.quickcheck/variant-v gen: access via active.quickcheck/variant-generator

make-with-size clj

(make-with-size size generator)

Construct a With-size-type record.

size: access via active.quickcheck/with-size-size generator: access via active.quickcheck/with-size-generator

map-of->arbitrary clj

(map-of->arbitrary ks vs)

map-of->coarbitrary clj

(map-of->coarbitrary ks vs)

maybe-get-tree clj

(maybe-get-tree Maybe-with-tree-type)

Lens for the maybe-tree field from a Maybe-with-tree-type record. See active.quickcheck/make-maybe-with-tree.

maybe-with-tree clj

Maybe-with-tree-type clj

maybe-with-tree? clj

(maybe-with-tree? thing)

Is object a Maybe-with-tree-type record? See active.quickcheck/make-maybe-with-tree.

MyFn clj

nothing clj

oneof clj

(oneof gs)

Haskell QuickCheck's oneof

or->arbitrary clj

(or->arbitrary & args)

or->coarbitrary clj

(or->coarbitrary & args)

pick clj

(pick n lis)

Pick an element from a sequence of (frequency, generator) pairs.

promote clj

promote-func clj

(promote-func Promote-type)

Lens for the func field from a Promote-type record. See active.quickcheck/make-promote.

Promote-type clj

promote? clj

(promote? thing)

Is object a Promote-type record? See active.quickcheck/make-promote.

property clj macro

(property clauses body0 & bodies)

Create a property through binding identifiers to arbitraries.

The clauses are a vector of alternating identifiers and arbitraries, which are implicitly in the syntax understood by the arbitrary macro.

The body can use the identifiers, and should evaluate to a boolean saying whether the property is satisfied.

property-arg-names clj

(property-arg-names Property-type)

Lens for the arg-names field from a Property-type record. See active.quickcheck/make-property.

property-args clj

(property-args Property-type)

Lens for the args field from a Property-type record. See active.quickcheck/make-property.

property-func clj

(property-func Property-type)

Lens for the func field from a Property-type record. See active.quickcheck/make-property.

Property-type clj

property? clj

(property? thing)

Is object a Property-type record? See active.quickcheck/make-property.

quick clj

Quick test-run configuration with minimal output.

quickcheck clj

(quickcheck prop)

Run a property against the `quick' configuration and report results.

quickcheck-results clj

(quickcheck-results prop)

Run a property against the `quick' configuration and return results.

resize clj

result-add-argument-if-empty clj

(result-add-argument-if-empty res arg)

result-add-arguments clj

(result-add-arguments res args)

result-add-errors clj

(result-add-errors res args)

result-mapped clj

(result-mapped result1 result2)

Monoidal plus of result.

sequ-with-tree clj

(sequ-with-tree ms)

Evaluate each action in the sequence from left to right, and collect the results.

set->arbitrary clj

(set->arbitrary s)

Make an arbitrary from a set (behaviour like enum)

set->coarbitrary clj

(set->coarbitrary s)

Make a coarbitrary from a set (behaviour like enum)

shrinking clj

(shrinking arg-names args func fuel)

get shrinks of args and find failing result in the resulting list recursive call shrinking as long as there is a failing result.

sized clj

(sized func)

Apply a size to a generator.

spec->arbitrary clj

(spec->arbitrary spec)

Make an arbitrary from a clojure spec

spec->coarbitrary clj

(spec->coarbitrary spec)

Make a coarbitrary from a clojure spec

spec-form->arbitrary clj

(spec-form->arbitrary form)

Make an arbitrary from a s/formed spec

spec-form->coarbitrary clj

(spec-form->coarbitrary form)

Make a coarbitrary from a s/formed spec

spec-op->arbitrary clj

(spec-op->arbitrary op args)

Make an arbitrary from a spec op

spec-op->coarbitrary clj

(spec-op->coarbitrary op args)

Make a coarbitrary from a spec op

such-that clj

(such-that arb pred)

Takes a generator and a predicate and returns a new generator that satisfies the predicate.

such-that-generator clj

(such-that-generator gen pred)

such-that-maybe clj

(such-that-maybe gen pred)

symbol->arbitrary clj

(symbol->arbitrary sym)

symbol->coarbitrary clj

(symbol->coarbitrary sym)

trivial clj macro

(trivial ?really? ?testable)

Classify some test cases of a testable as trivial.

value->tree clj

(value->tree arg)

variant clj

variant-generator clj

(variant-generator Variant-type)

Lens for the gen field from a Variant-type record. See active.quickcheck/make-variant.

Variant-type clj

variant-v clj

(variant-v Variant-type)

Lens for the v field from a Variant-type record. See active.quickcheck/make-variant.

variant? clj

(variant? thing)

Is object a Variant-type record? See active.quickcheck/make-variant.

verbose clj

Quick test-run configuration with verbose output.

with-size-generator clj

(with-size-generator With-size-type)

Lens for the generator field from a With-size-type record. See active.quickcheck/make-with-size.

with-size-size clj

(with-size-size With-size-type)

Lens for the size field from a With-size-type record. See active.quickcheck/make-with-size.

With-size-type clj

with-size? clj

(with-size? thing)

Is object a With-size-type record? See active.quickcheck/make-with-size.