convex.clj.gen — world.convex/clojurify.clj 0.0.0-alpha1

Generators for test.check.

Convex Lisp types and constructs expressed as Clojure data structures.

Useful for quickly writing sophisticated generative tests with the convex.clj namespace.

address clj

Any address.

any clj

Any type from this namespace.

any-but clj

(any-but exclusion-set)

Any type but from the given exclusion-set.

binding+ clj

(binding+ n-min n-max)

(binding+ n-min n-max gen-value)

Vector of [ [[symbol]] [[any]] ] where symbols are garanteed to be unique.

Useful for generating let-like bindings.

blob clj

Any blob.

blob-32 clj

Like blob but fixed size representing 32 bytes.

blob-8 clj

Like blob but fixed size representing 8 bytes.

Compatible with addresses.

boolean clj

True or false.

byte clj

Value between -128 and 127.

call clj

(call gen-sym gen-arg+)

Random call to a (~sym ~@arg+) form.

char clj

Any character

collection clj

Any collection.

double clj

Any double, including +/- Infinity and NaN.

falsy clj

Either false or nil.

hex-digit clj

Any valid character for hexadecimal notation, from � to .

hex-string clj

A valid hex-string where each byte is written as two hex-digit.

hex-string-32 clj

Like hex-string but fixed size representing 32 bytes.

hex-string-8 clj

Like hex-string but fixed size representing 8 bytes.

Compatible with addresses.

keyword clj

Any keyword.

kv+ clj

(kv+ gen-k gen-v)

Vector of [Key Value].

Ensures that all the keys are distinct which might matter in test situations.

list clj

Any list.

long clj

Any long.

map clj

Any hash-map (not blob-maps).

mix-one-in clj

(mix-one-in gen-one gen-coll)

Ensures that an item from gen-one is present and shuffled in the sequential collection produced by gen-coll.

nothing clj

Always generated nil.

number clj

Either double or long

number-bounded clj

(number-bounded option+)

Like number but accept a map with :min and :max for setting boundaries.

Both are optional.

outlier clj

(outlier set-gen-good)

(outlier gen-good gen-wrong)

Produces a vector of items where each item is either a good item or anything else.

Ensures that at least one wrong item is produced.

Both kind can be given explicitly or a set of good generators can be given from which a "bad" generator can be deduced.

Useful for testing in order to produce inputs that are always faulty (at least partly).

quoted clj

(quoted gen)

Quotes the value produced by gen such as (quote x).

recursive clj

Base generators for recursive Convex types where an item of a collection can be a collection as well.

Leaves are scalar while containes can be lists, maps, sets, and vectors.

Produces a scalar in roughly 10% of outputs.

scalar clj

Any of:

• address
• blob
• boolean
• char
• double
• keyword
• long
• nothing
• string
• symbol-quoted

sequential clj

Either a list of a vector.

set clj

Any set.

string clj

Any string.

string-symbolic clj

Like string but can be used for building keywords and symbols.

Size is between 1 and 64 characters and the first character is compatible with symbolic types.

symbol clj

Any symbol.

symbol-quoted clj

Like symbol but the output is quoted.

truthy clj

Any but falsy.

vector clj

Any vector.