Merge pull request #3873 from tybug/booleans-use-ir

Directly use `ConjectureData.draw_boolean()` in `booleans()`

hypothesis-python/RELEASE.rst

@@ -0,0 +1,3 @@
+RELEASE_TYPE: patch
+
+This patch refactors some internals. There is no user-visible change.

hypothesis-python/src/hypothesis/internal/conjecture/datatree.py

@@ -242,6 +242,7 @@ def all_children(ir_type, kwargs):
         max_size = kwargs["max_size"]
         intervals = kwargs["intervals"]
 
+        # written unidiomatically in order to handle the case of max_size=inf.
         size = min_size
         while size <= max_size:
             for ords in itertools.product(intervals, repeat=size):

hypothesis-python/src/hypothesis/strategies/_internal/core.py

@@ -117,7 +117,7 @@
 from hypothesis.strategies._internal.deferred import DeferredStrategy
 from hypothesis.strategies._internal.functions import FunctionStrategy
 from hypothesis.strategies._internal.lazy import LazyStrategy, unwrap_strategies
-from hypothesis.strategies._internal.misc import just, none, nothing
+from hypothesis.strategies._internal.misc import BooleansStrategy, just, none, nothing
 from hypothesis.strategies._internal.numbers import (
     IntegersStrategy,
     Real,
@@ -158,14 +158,14 @@
 
 
 @cacheable
-@defines_strategy()
+@defines_strategy(force_reusable_values=True)
 def booleans() -> SearchStrategy[bool]:
     """Returns a strategy which generates instances of :class:`python:bool`.
 
     Examples from this strategy will shrink towards ``False`` (i.e.
     shrinking will replace ``True`` with ``False`` where possible).
     """
-    return SampledFromStrategy([False, True], repr_="booleans()")
+    return BooleansStrategy()
 
 
 @overload

hypothesis-python/src/hypothesis/strategies/_internal/misc.py

@@ -116,3 +116,11 @@ def nothing() -> SearchStrategy:
     Examples from this strategy do not shrink (because there are none).
     """
     return NOTHING
+
+
+class BooleansStrategy(SearchStrategy):
+    def do_draw(self, data):
+        return data.draw_boolean()
+
+    def __repr__(self):
+        return "booleans()"