i > S r SSKJr SSKJr SSKJr SSKJr S r g)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 ^ [ T S5 ( d [ T R S35 e[ T 5 U 4S j5 nU$ )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 J > T" U 0 UD6$ ! [ a
[ 5 g f = f)N)r r )argskwargs
contract_funcs [/var/www/html/ai-image-ml/venv/lib/python3.13/site-packages/hypothesis/extra/dpcontracts.pyinnerfulfill..inner* s, $1&1 1 H s "")hasattrr __name__r )r r s ` r
fulfillr sR ="= > > %%&&G H
] L N)
__doc__ dpcontractsr
hypothesisr hypothesis.errorsr hypothesis.internal.reflectionr r r r
r s * - 2r