Return a tuple (new_args, new_kwargs) where all possible arguments have been moved to kwargs. new_args will only be non-empty if function has

Creates a strategies namespace for the given array module. * ``xp`` is the Array API library to automatically pass to the namespaced methods.

Return the first float larger than finite `val` - IEEE 754's `nextUp`. From https://stackoverflow.com/a/10426033, with thanks to Mark Dickinson.

Returns whether or not Hypothesis considers :ref:`observability <observability>` to be enabled. Observability is enabled if there is at least

If any target observations have been made, attempt to optimise them all.

times(min_value=datetime.time.min, max_value=datetime.time.max, *, timezones=none()) A strategy for times between ``min_value`` and ``max_value``

Recursively convert an object to json-encodable form. This is not intended to round-trip, but rather provide an analysis-ready format for obs

Throw an exception if the strategy is not valid. Strategies should implement ``do_validate``, which is called by this method. They sh

This has the same behaviour as lists, but returns sets instead. Note that Hypothesis cannot tell if values are drawn from elements are hashab

Returns a sort key such that "simpler" choice sequences are smaller than "more complicated" ones. We define sort_key so that x is simpler tha

A trivial test function.

Makes the settings profile registered under ``name`` the active profile. If no settings profile is registered under ``name``, raises

Merge two sequences of intervals into a single tuple of intervals. Any integer bounded by `x` or `y` is also bounded by the result.

Returns the shape resulting from broadcasting the input shapes together. Raises ValueError if the shapes are not broadcast-compatible

Generates values by drawing from ``args`` and ``kwargs`` and passing them to the callable (provided as the first positional argument) in the a

Deserialize a bytestring to a tuple of choices. Inverts choices_to_bytes. Returns None if the given bytestring is not a valid serialization

A decorator which sets the name, signature and docstring of the function passed into it.

Returns a string that is stable across multiple invocations across multiple processes and is prone to changing significantly in response to mi

Register a settings object as a settings profile, under the name ``name``. The ``parent`` and ``kwargs`` arguments to this method are

Returns a pair of a tuple and a dictionary which would be equivalent passed as positional and keyword args to the function. Unless function has

Finds a (hopefully large) integer such that f(n) is True and f(n + 1) is False. f(0) is assumed to be True and will not be checked.

Tests whether the feature named ``name`` should be enabled on this test run.

Returns ``True`` if ``f`` represents a test function that has been defined with Hypothesis. This is true for: * Functions decorated with

Return a strategy which only generates None. Examples from this strategy do not shrink (because there is only one).

Mark ``key`` as pinned (with the given value). That is, it may not be evicted until ``unpin(key)`` has been called. The same key may be

Less-than-or-equals, but strictly orders -0.0 and 0.0

Mark this example as an expected failure, similarly to :obj:`pytest.mark.xfail(strict=True) <pytest.mark.xfail>`. Expected-failing ex

Write a call to `func` with explicit and implicit arguments. >>> _write_call(sorted, "my_seq", "func") "builtins.sorted(my_seq, key=func, rev

Adds ``f`` as a callback for :ref:`observability <observability>`. ``f`` should accept one argument, which is an observation. Whenever Hypoth

Return a multi-line string describing the passed run statistics. `stats_dict` must be a dictionary of data in the format collected by `hypoth

A strategy for strings accepted by the given context-free grammar. ``grammar`` must be a ``Lark`` object, which wraps an EBNF specification.

Returns the settings profile registered under ``name``. If no settings profile is registered under ``name``, raises |InvalidArgument|

Set intersection for lists of intervals.

Register (a weakref to) the given Random-like instance for management by Hypothesis. You can pass instances of structural subtypes of ``rando

timedeltas(min_value=datetime.timedelta.min, max_value=datetime.timedelta.max) A strategy for timedeltas between ``min_value`` and ``max_value``.

Any timezone in the Olsen database, as a pytz tzinfo object. This strategy minimises to UTC, or the smallest possible fixed offset, and is de