hypothesis 6.135.13__py3-none-any.whl → 6.135.14__py3-none-any.whl

hypothesis/extra/ghostwriter.py

@@ -687,9 +687,11 @@ def _valid_syntax_repr(strategy):
                     elems.append(s)
                     seen.add(repr(s))
             strategy = st.one_of(elems or st.nothing())
-        # Trivial special case because the wrapped repr for text() is terrible.
+        # hardcode some special cases for nicer reprs
         if strategy == st.text().wrapped_strategy:
             return set(), "text()"
+        if strategy == st.from_type(type):
+            return set(), "from_type(type)"
         # Remove any typevars; we don't exploit them so they're just clutter here
         if (
             isinstance(strategy, LazyStrategy)

hypothesis/strategies/_internal/core.py

@@ -196,13 +196,17 @@ def sampled_from(
     that behaviour, use ``sampled_from(seq) if seq else nothing()``.
     """
     values = check_sample(elements, "sampled_from")
-    try:
-        if isinstance(elements, type) and issubclass(elements, enum.Enum):
-            repr_ = f"sampled_from({elements.__module__}.{elements.__name__})"
-        else:
-            repr_ = f"sampled_from({elements!r})"
-    except Exception:  # pragma: no cover
-        repr_ = None
+    force_repr = None
+    # check_sample converts to tuple unconditionally, but we want to preserve
+    # square braces for list reprs.
+    # This will not cover custom sequence implementations which return different
+    # braces (or other, more unusual things) for their reprs, but this is a tradeoff
+    # between repr accuracy and greedily-evaluating all sequence reprs (at great
+    # cost for large sequences).
+    force_repr_braces = ("[", "]") if isinstance(elements, list) else None
+    if isinstance(elements, type) and issubclass(elements, enum.Enum):
+        force_repr = f"sampled_from({elements.__module__}.{elements.__name__})"
+
     if isclass(elements) and issubclass(elements, enum.Flag):
         # Combinations of enum.Flag members (including empty) are also members.  We generate these
         # dynamically, because static allocation takes O(2^n) memory.  LazyStrategy is used for the
@@ -237,7 +241,7 @@ def sampled_from(
                 .flatmap(lambda r: sets(sampled_from(flags), min_size=r, max_size=r))
                 .map(lambda s: elements(reduce(operator.or_, s))),
             ]
-        return LazyStrategy(one_of, args=inner, kwargs={}, force_repr=repr_)
+        return LazyStrategy(one_of, args=inner, kwargs={}, force_repr=force_repr)
     if not values:
         if (
             isinstance(elements, type)
@@ -253,7 +257,9 @@ def sampled_from(
         raise InvalidArgument("Cannot sample from a length-zero sequence.")
     if len(values) == 1:
         return just(values[0])
-    return SampledFromStrategy(values, repr_)
+    return SampledFromStrategy(
+        values, force_repr=force_repr, force_repr_braces=force_repr_braces
+    )
 
 
 @cacheable

hypothesis/strategies/_internal/strategies.py

@@ -537,7 +537,9 @@ class SampledFromStrategy(SearchStrategy[Ex]):
     def __init__(
         self,
         elements: Sequence[Ex],
-        repr_: Optional[str] = None,
+        *,
+        force_repr: Optional[str] = None,
+        force_repr_braces: Optional[tuple[str, str]] = None,
         transformations: tuple[
             tuple[Literal["filter", "map"], Callable[[Ex], Any]],
             ...,
@@ -546,13 +548,17 @@ class SampledFromStrategy(SearchStrategy[Ex]):
         super().__init__()
         self.elements = cu.check_sample(elements, "sampled_from")
         assert self.elements
-        self.repr_ = repr_
+        self.force_repr = force_repr
+        self.force_repr_braces = force_repr_braces
         self._transformations = transformations
 
+        self._cached_repr: Optional[str] = None
+
     def map(self, pack: Callable[[Ex], T]) -> SearchStrategy[T]:
         s = type(self)(
             self.elements,
-            repr_=self.repr_,
+            force_repr=self.force_repr,
+            force_repr_braces=self.force_repr_braces,
             transformations=(*self._transformations, ("map", pack)),
         )
         # guaranteed by the ("map", pack) transformation
@@ -561,20 +567,30 @@ class SampledFromStrategy(SearchStrategy[Ex]):
     def filter(self, condition: Callable[[Ex], Any]) -> SearchStrategy[Ex]:
         return type(self)(
             self.elements,
-            repr_=self.repr_,
+            force_repr=self.force_repr,
+            force_repr_braces=self.force_repr_braces,
             transformations=(*self._transformations, ("filter", condition)),
         )
 
-    def __repr__(self) -> str:
-        return (
-            self.repr_
-            or "sampled_from(["
-            + ", ".join(map(get_pretty_function_description, self.elements))
-            + "])"
-        ) + "".join(
-            f".{name}({get_pretty_function_description(f)})"
-            for name, f in self._transformations
-        )
+    def __repr__(self):
+        if self._cached_repr is None:
+            rep = get_pretty_function_description
+            elements_s = (
+                ", ".join(rep(v) for v in self.elements[:512]) + ", ..."
+                if len(self.elements) > 512
+                else ", ".join(rep(v) for v in self.elements)
+            )
+            braces = self.force_repr_braces or ("(", ")")
+            instance_s = (
+                self.force_repr or f"sampled_from({braces[0]}{elements_s}{braces[1]})"
+            )
+            transforms_s = "".join(
+                f".{name}({get_pretty_function_description(f)})"
+                for name, f in self._transformations
+            )
+            repr_s = instance_s + transforms_s
+            self._cached_repr = repr_s
+        return self._cached_repr
 
     def calc_label(self) -> int:
         # strategy.label is effectively an under-approximation of structural

hypothesis/version.py

@@ -8,5 +8,5 @@
 # v. 2.0. If a copy of the MPL was not distributed with this file, You can
 # obtain one at https://mozilla.org/MPL/2.0/.
 
-__version_info__ = (6, 135, 13)
+__version_info__ = (6, 135, 14)
 __version__ = ".".join(map(str, __version_info__))

{hypothesis-6.135.13.dist-info → hypothesis-6.135.14.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: hypothesis
-Version: 6.135.13
+Version: 6.135.14
 Summary: A library for property-based testing
 Author-email: "David R. MacIver and Zac Hatfield-Dodds" <david@drmaciver.com>
 License-Expression: MPL-2.0

{hypothesis-6.135.13.dist-info → hypothesis-6.135.14.dist-info}/RECORD

@@ -14,7 +14,7 @@ hypothesis/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 hypothesis/reporting.py,sha256=f-jhl1JfAi5_tG8dsUd2qDjGcPdvxEzfF6hXmpTFQ1g,1761
 hypothesis/stateful.py,sha256=33U0FtVuRnY5EzIiCL50SHAT6ZPe1n2pbaohkxTF6gc,42955
 hypothesis/statistics.py,sha256=kZ5mc0fAg7gnSO6EmDo82fyz8DYhIiJ_mHe7srxOeQ0,5438
-hypothesis/version.py,sha256=7K66pN_oQPeh0-Pp2Mw7lPtnPjXfrOk1Iyy-Q4F3p08,499
+hypothesis/version.py,sha256=uVRLrYsnZAaYwocrBVavkHP9zv5eHbqliGh3Ab5heVs,499
 hypothesis/extra/__init__.py,sha256=gx4ENVDkrzBxy5Lv3Iyfs3tvMGdWMbiHfi95B7t61CY,415
 hypothesis/extra/_array_helpers.py,sha256=PLmFckBfQpzQ4Q3dFJQqMmrbm7Qdvqxf1t9LHDCuSp0,27627
 hypothesis/extra/_patching.py,sha256=A5s5EAf81itr--w4SAFyzuecSZm4eT397jM7BvbnQXU,12385
@@ -23,7 +23,7 @@ hypothesis/extra/cli.py,sha256=HOH_BGosyUvS4yNDsWF4Dfe672tEFGT4BBPBuZamm1s,12885
 hypothesis/extra/codemods.py,sha256=i_iM5aSnrNjSZ_uNW40yShxXo7qaXuCrDHy8OznOa7o,11224
 hypothesis/extra/dateutil.py,sha256=qujQoi9apnaI5yCoupZ2XkJX0e4VAmkjycaypOMTWIQ,2295
 hypothesis/extra/dpcontracts.py,sha256=dftcHX-HeBaf8EWLitwMwFwQsSu7v9f1gv4pniOeTsA,1721
-hypothesis/extra/ghostwriter.py,sha256=suexNt3cbk7iGIFeAmMsSoTOmRmHXJWtEYxcisBgaxg,72684
+hypothesis/extra/ghostwriter.py,sha256=Og1rAwYm2_labvytiGylTwJrXeoyfLAXmeY9r5FDbvQ,72745
 hypothesis/extra/lark.py,sha256=mInkJPG-6lXLt7GEZUs7DVrGN99ZuNRU6ZIn5ObwaWk,9892
 hypothesis/extra/numpy.py,sha256=R_hTow6-AteuGD2Xg_Ouz9vts1Dn3D75K8R2ucseYJw,51839
 hypothesis/extra/pytestplugin.py,sha256=OmbL8Nrqm6UpzxXPnfzZ4yFAqVfFGYGzZM4qxdOgJg4,752
@@ -80,7 +80,7 @@ hypothesis/strategies/__init__.py,sha256=N2r8JsCcq1yr3CD_Xg9iN9W_JfpB0kk-_Y3gh-e
 hypothesis/strategies/_internal/__init__.py,sha256=Ji2fRsYbdU66SbiFSU3kB6K6jPAYq96ZyYR8veDbAiE,620
 hypothesis/strategies/_internal/attrs.py,sha256=-DDOY_K8ogQq17PzuLaKmzP12T-sSrWPGyb6CS2B5kI,8826
 hypothesis/strategies/_internal/collections.py,sha256=5YW0DvRJOzibQrArr4HOi3Q9NEq4v44r1avnAsNt0nQ,13875
-hypothesis/strategies/_internal/core.py,sha256=8k2klq6x_iIZ_bhC2Fol7i0PIns4AVJ0yOC1Dw_3BZk,106690
+hypothesis/strategies/_internal/core.py,sha256=tWuZghZVwhOheRSDblMWsg6uznhvWdHgurVTjCCXAIo,107115
 hypothesis/strategies/_internal/datetime.py,sha256=kjTwhgiCUouZNDWQsgwJH3MOhkUCbvj_xL2DzqYj3Rw,20072
 hypothesis/strategies/_internal/deferred.py,sha256=0dNGbjS3wsVFs8QNl_FySdV--jeLTe-DPoBL5U690_A,3684
 hypothesis/strategies/_internal/featureflags.py,sha256=sDp1fqt0vXfZ7KADwSFxyh5J3CqlM76o90I5BFohMcM,5552
@@ -94,7 +94,7 @@ hypothesis/strategies/_internal/random.py,sha256=_gSBHa0gXF4RZxjBySB43vNHsU34r8N
 hypothesis/strategies/_internal/recursive.py,sha256=BgchGM4dLo02FKQJlkNyyJlBOBf6266YlhcoQbYVVGA,3757
 hypothesis/strategies/_internal/regex.py,sha256=wGvC-S_sFO3RAajUu3hL-_5ORqsTv69CJex6QiPKI0w,21669
 hypothesis/strategies/_internal/shared.py,sha256=xoLb-wpVru5rq4Ab6L7GIo3JVl8IviWw1We8Hb4I5C8,2461
-hypothesis/strategies/_internal/strategies.py,sha256=kRKgpKEUSFuAk9OI4RZ4fyhsX-iKg2dkd_gYMnylfD8,46805
+hypothesis/strategies/_internal/strategies.py,sha256=F91MvpD3PtozlZ_KN1lHFHoR90ORVAwYC_4LzgGOYjw,47585
 hypothesis/strategies/_internal/strings.py,sha256=UYm6d1z5c55AUYKrwJ1xnfharl81dy-q_2f0YFZbzmw,13987
 hypothesis/strategies/_internal/types.py,sha256=epJg-yW_TZZHaqZvBJhsnwi4ahDOPAyz98PRn_OaeK4,41837
 hypothesis/strategies/_internal/utils.py,sha256=4LXp6s-NV8hpBKgkW3wT3XegUUZ5vQQyv_lxFI_fGQ4,8117
@@ -105,9 +105,9 @@ hypothesis/utils/terminal.py,sha256=IxGYDGaE4R3b_vMfz5buWbN18XH5qVP4IxqAgNAU5as,
 hypothesis/vendor/__init__.py,sha256=gx4ENVDkrzBxy5Lv3Iyfs3tvMGdWMbiHfi95B7t61CY,415
 hypothesis/vendor/pretty.py,sha256=WEZC-UV-QQgCjUf2Iz1WWaWnbgT7Hc3s-GWEVxq-Qz0,36114
 hypothesis/vendor/tlds-alpha-by-domain.txt,sha256=W9hYvpu2BMmNgE-SfPp8-GTzEVjw0HJUviqlvHwpZu8,9588
-hypothesis-6.135.13.dist-info/licenses/LICENSE.txt,sha256=rIkDe6xjVQZE3OjPMsZ2Xl-rncGhzpS4n4qAXzQaZ1A,17141
-hypothesis-6.135.13.dist-info/METADATA,sha256=bzpeanOB2or_iIHo0kEptUdSMhIscS8VcDz_22BL33Y,5638
-hypothesis-6.135.13.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-hypothesis-6.135.13.dist-info/entry_points.txt,sha256=JDoUs9w1bYme7aG_eJ1cCtstRTWD71BzG8iRi-G2eHE,113
-hypothesis-6.135.13.dist-info/top_level.txt,sha256=ReGreaueiJ4d1I2kEiig_CLeA0sD4QCQ4qk_8kH1oDc,81
-hypothesis-6.135.13.dist-info/RECORD,,
+hypothesis-6.135.14.dist-info/licenses/LICENSE.txt,sha256=rIkDe6xjVQZE3OjPMsZ2Xl-rncGhzpS4n4qAXzQaZ1A,17141
+hypothesis-6.135.14.dist-info/METADATA,sha256=qWU8ezZvF9cOxsd6Iz4ZzzGbCAeF2bzTkJ9yaIEzZ6Y,5638
+hypothesis-6.135.14.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+hypothesis-6.135.14.dist-info/entry_points.txt,sha256=JDoUs9w1bYme7aG_eJ1cCtstRTWD71BzG8iRi-G2eHE,113
+hypothesis-6.135.14.dist-info/top_level.txt,sha256=ReGreaueiJ4d1I2kEiig_CLeA0sD4QCQ4qk_8kH1oDc,81
+hypothesis-6.135.14.dist-info/RECORD,,