Replace strategy name() with st.name(). Uses a tricky re.sub() to avoid problems with frozensets() matching sets() too.

Called whenever no change listeners remain on the database. ``_stop_listening`` and ``_start_listening`` are guaranteed to alternate

Convert SRE regex parse tree to strategy that generates strings matching that regex represented by that parse tree. `codes` is either a list

Inverts _pack_uleb128, and also returns the index at which at which we stopped reading.

Return a strategy for unsigned integer dtype objects. ``sizes`` contains the unsigned integer sizes in bits, defaulting to ``(8, 16, 32, 64)`

Add a change listener. ``f`` will be called whenever a value is saved, deleted, or moved in the database. ``f`` can be calle

Return a strategy for generating array (compound) dtypes, with members drawn from the given subtype strategy.

Return a tuple of Unicode categories in a normalised order. This function expands one-letter designations of a major class to include all sub

Calls another shrinker class, passing through the relevant context variables. Note we explicitly do not pass through full.

Return a dict that maps a Unicode category, to a tuple of 2-tuples covering the codepoint intervals for characters in that category. >>> char

Called when ``conclude_test`` is called on the observed ``ConjectureData``, with the same arguments. Note that this is called after `

Remove ``value`` from ``key``. If ``value`` is not present in ``key``, silently do nothing.

Return a list of lines describing the results of `target`, if any.

Recipe copied from the docstring of ``from_type``

Narrow an `f64` to IEEE 754 half-precision, returning the raw 16 bits. Round-to-nearest-even; finite values too large for the format become infinity (

Return a tuple of exceptions meaning 'this test has failed', to catch. This is intended to cover most common test runners; if you would like

Infer whether build of array module has its float dtype of the specified width flush subnormals to zero We do this per-width because compiler