typed.clj.spec.gen

Defines test.check generators for working with
the spec subtyping lattice.

subtype-generator

(subtype-generator upper)

Alpha - subject to change

Returns a test.check generator that generates all the known
subtypes of upper, a spec form.

supertype-generator

(supertype-generator lower)

Alpha - subject to change

Returns a test.check generator that generates all the known
supertypes of lower, a spec form.