iKj > d Z ddlmZ ddlmZ ddlmZ ddlmZ d Z y)z
This module provides tools for working with the :pypi:`dpcontracts` library,
because `combining contracts and property-based testing works really well
`_.
It requires ``dpcontracts >= 0.4``.
)PreconditionError)reject)InvalidArgument)proxiesc v t d st j d t fd }|S )a Decorate ``contract_func`` to reject calls which violate preconditions,
and retry them with different arguments.
This is a convenience function for testing internal code that uses
:pypi:`dpcontracts`, to automatically filter out arguments that would be
rejected by the public interface before triggering a contract error.
This can be used as ``builds(fulfill(func), ...)`` or in the body of the
test e.g. ``assert fulfill(func)(*args)``.
__contract_wrapped_func__z! has no dpcontracts preconditionsc H | i |S # t $ r
t Y y w xY w)N)r r )argskwargs
contract_funcs a/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/hypothesis/extra/dpcontracts.pyinnerzfulfill..inner* s, $1&1 1 H s !!)hasattrr __name__r )r r s ` r
fulfillr sO ="= > %%&&G H
] L N)
__doc__ dpcontractsr
hypothesisr hypothesis.errorsr hypothesis.internal.reflectionr r r r
r s * - 2r