py-predicate 1.3__tar.gz → 1.4__tar.gz

{py_predicate-1.3 → py_predicate-1.4}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: py_predicate
-Version: 1.3
+Version: 1.4
 Summary: Module to create composable predicates
 Author-email: Maurits Rijk <maurits.rijk@gmail.com>
 Requires-Python: >=3.10
@@ -19,6 +19,7 @@ Classifier: Development Status :: 5 - Production/Stable
 Classifier: Environment :: Web Environment
 Classifier: License :: OSI Approved :: MIT License
 Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.14
 Classifier: Programming Language :: Python :: 3.13
 Classifier: Programming Language :: Python :: 3.12
 License-File: LICENSE

{py_predicate-1.3 → py_predicate-1.4}/predicate/__init__.py

@@ -7,9 +7,11 @@ from predicate.always_false_predicate import always_false_p, never_p
 from predicate.always_true_predicate import always_p, always_true_p
 from predicate.any_predicate import any_p
 from predicate.comp_predicate import comp_p
-from predicate.count_predicate import count_p
+from predicate.count_predicate import count_p, exactly_one_p, exactly_zero_p
 from predicate.dict_of_predicate import is_dict_of_p
 from predicate.eq_predicate import eq_false_p, eq_p, eq_true_p, zero_p
+from predicate.exactly_predicate import exactly_n
+from predicate.exception_predicate import PredicateError, exception_p
 from predicate.explain import explain
 from predicate.fn_predicate import fn_p, is_even_p, is_finite_p, is_inf_p, is_nan_p, is_odd_p
 from predicate.formatter import to_dot, to_json, to_latex
@@ -39,21 +41,30 @@ from predicate.is_instance_predicate import (
     is_uuid_p,
 )
 from predicate.is_lambda_predicate import is_lambda_p, is_lambda_with_signature_p
-from predicate.is_none_predicate import is_none_p
-from predicate.is_not_none_predicate import is_not_none_p
+from predicate.is_none_predicate import is_none_p, none_is_exception_p, none_is_true_p
+from predicate.is_not_none_predicate import is_not_none_p, none_is_false_p
+from predicate.is_predicate import is_p
 from predicate.is_predicate_of_p import is_predicate_of_p
+from predicate.is_same_predicate import is_same_p
 from predicate.is_subclass_predicate import is_enum_p, is_int_enum_p, is_str_enum_p, is_subclass_p
 from predicate.is_truthy_predicate import is_truthy_p
 from predicate.lazy_predicate import lazy_p
 from predicate.le_predicate import le_p
 from predicate.list_of_predicate import is_list_of_p
 from predicate.lt_predicate import lt_p, neg_p
-from predicate.match_predicate import exactly_n, match_p, optional, plus, repeat, star
+from predicate.match_predicate import match_p
+from predicate.mutual_recur_predicate import mutual_recur_p
 from predicate.ne_predicate import ne_p
 from predicate.not_in_predicate import not_in_p
 from predicate.optimizer.predicate_optimizer import can_optimize, optimize
+from predicate.optional_predicate import optional
+from predicate.plus_predicate import plus
+from predicate.predicate import and_p, or_p, xor_p
 from predicate.range_predicate import ge_le_p, ge_lt_p, gt_le_p, gt_lt_p
+from predicate.recur_predicate import recur_p
+from predicate.reduce_predicate import reduce_p
 from predicate.regex_predicate import regex_p
+from predicate.repeat_predicate import repeat
 from predicate.set_of_predicate import is_set_of_p
 from predicate.set_predicates import (
     is_real_subset_p,
@@ -74,15 +85,18 @@ from predicate.standard_predicates import (
     root_p,
     this_p,
 )
+from predicate.star_predicate import star
 from predicate.tee_predicate import tee_p
 from predicate.tuple_of_predicate import is_tuple_of_p
 
 __all__ = [
+    "PredicateError",
     "Spec",
     "all_p",
     "always_false_p",
     "always_p",
     "always_true_p",
+    "and_p",
     "any_p",
     "can_optimize",
     "comp_p",
@@ -91,6 +105,9 @@ __all__ = [
     "eq_p",
     "eq_true_p",
     "exactly_n",
+    "exactly_one_p",
+    "exactly_zero_p",
+    "exception_p",
     "exercise",
     "explain",
     "fn_p",
@@ -138,11 +155,13 @@ __all__ = [
     "is_list_of_p",
     "is_list_p",
     "is_lower_p",
+    "is_same_p",
     "is_nan_p",
     "is_none_p",
     "is_not_empty_p",
     "is_not_none_p",
     "is_odd_p",
+    "is_p",
     "is_predicate_of_p",
     "is_predicate_p",
     "is_range_p",
@@ -165,14 +184,21 @@ __all__ = [
     "le_p",
     "lt_p",
     "match_p",
+    "mutual_recur_p",
     "ne_p",
     "neg_p",
     "never_p",
+    "none_is_exception_p",
+    "none_is_false_p",
+    "none_is_true_p",
     "not_in_p",
     "optimize",
     "optional",
+    "or_p",
     "plus",
     "pos_p",
+    "recur_p",
+    "reduce_p",
     "regex_p",
     "repeat",
     "root_p",
@@ -182,6 +208,7 @@ __all__ = [
     "to_dot",
     "to_json",
     "to_latex",
+    "xor_p",
     "zero_p",
 ]
 

{py_predicate-1.3 → py_predicate-1.4}/predicate/all_predicate.py

@@ -1,5 +1,8 @@
 from dataclasses import dataclass
-from typing import Iterable, override
+from itertools import takewhile
+from typing import Any, Iterable, Iterator, override
+
+from more_itertools import ilen
 
 from predicate.helpers import first_false
 from predicate.predicate import Predicate, resolve_predicate
@@ -35,6 +38,11 @@ class AllPredicate[T](Predicate[T]):
 
         return {"reason": f"Item '{fail}' didn't match predicate {self.predicate!r}"}
 
+    @override
+    def consumes(self, iterable: Iterable[Any]) -> Iterator[int]:
+        consumed = takewhile(self.predicate, iterable)
+        yield from range(0, ilen(consumed) + 1)
+
 
 def all_p[T](predicate: Predicate[T]) -> AllPredicate[T]:
     """Return True if the predicate holds for each item in the iterable, otherwise False."""

{py_predicate-1.3 → py_predicate-1.4}/predicate/always_false_predicate.py

@@ -1,5 +1,5 @@
 from dataclasses import dataclass
-from typing import Any, Final, override
+from typing import Any, Final, Iterable, Iterator, override
 
 from predicate.predicate import Predicate
 
@@ -18,6 +18,10 @@ class AlwaysFalsePredicate(Predicate):
     def explain_failure(self, *args, **kwargs) -> dict:
         return {"reason": "Always returns False"}
 
+    @override
+    def consumes(self, iterable: Iterable[Any]) -> Iterator[int]:
+        yield 0
+
     @override
     def get_klass(self) -> type:
         return type(Any)

{py_predicate-1.3 → py_predicate-1.4}/predicate/always_true_predicate.py

@@ -1,5 +1,5 @@
 from dataclasses import dataclass
-from typing import Any, Final, override
+from typing import Any, Final, Iterable, Iterator, override
 
 from predicate.predicate import Predicate
 
@@ -14,6 +14,10 @@ class AlwaysTruePredicate(Predicate):
     def __repr__(self) -> str:
         return "always_true_p"
 
+    @override
+    def consumes(self, iterable: Iterable[Any]) -> Iterator[int]:
+        yield 1
+
     @override
     def get_klass(self) -> type:
         return type(Any)

{py_predicate-1.3 → py_predicate-1.4}/predicate/any_predicate.py

@@ -1,5 +1,8 @@
 from dataclasses import dataclass
-from typing import Iterable, override
+from itertools import takewhile
+from typing import Any, Iterable, Iterator, override
+
+from more_itertools import ilen
 
 from predicate.predicate import Predicate, resolve_predicate
 
@@ -32,6 +35,16 @@ class AnyPredicate[T](Predicate[T]):
     def explain_failure(self, iterable: Iterable[T]) -> dict:
         return {"reason": f"No item matches predicate {self.predicate!r}"}
 
+    @override
+    def consumes(self, iterable: Iterable[Any]) -> Iterator[int]:
+        consumed = takewhile(~self.predicate, iterable)
+        len_consumed = ilen(consumed)
+        len_iterable = ilen(iterable)
+        if len_consumed < len_iterable:
+            yield from range(len_consumed, len_iterable + 1)
+        else:
+            yield 0
+
 
 def any_p[T](predicate: Predicate[T]) -> AnyPredicate[T]:
     """Return True if the predicate holds for any item in the iterable, otherwise False."""

{py_predicate-1.3 → py_predicate-1.4}/predicate/constructor/mutate.py

@@ -1,6 +1,6 @@
-from collections.abc import Iterator
 from functools import singledispatch
 from random import choice, randint
+from typing import Iterator
 
 from predicate import eq_p, ge_p, gt_p, le_p, lt_p, ne_p
 from predicate.eq_predicate import EqPredicate

py_predicate-1.4/predicate/consumes.py

@@ -0,0 +1,13 @@
+from typing import Any, Iterable, Iterator
+
+from more_itertools import spy
+
+from predicate.predicate import Predicate
+
+
+def consumes(predicate: Predicate, iterable: Iterable[Any]) -> Iterator[int]:
+    head, _ = spy(iterable, 1)
+    if head:
+        yield from predicate.consumes(iterable)
+    else:
+        yield 0

{py_predicate-1.3 → py_predicate-1.4}/predicate/count_predicate.py

@@ -10,7 +10,7 @@ from predicate.predicate import Predicate
 
 @dataclass
 class CountPredicate[T](Predicate[T]):
-    """A predicate class that models the 'length' predicate."""
+    """A predicate class that models the 'count' predicate."""
 
     predicate: Predicate[T]
     length_p: Predicate[int]

{py_predicate-1.3 → py_predicate-1.4}/predicate/eq_predicate.py

@@ -1,5 +1,5 @@
 from dataclasses import dataclass
-from typing import Final, override
+from typing import Any, Final, Iterable, Iterator, override
 
 from predicate.predicate import Predicate
 
@@ -24,6 +24,10 @@ class EqPredicate[T](Predicate[T]):
     def explain_failure(self, x: T) -> dict:
         return {"reason": f"{x} is not equal to {self.v!r}"}
 
+    @override
+    def consumes(self, iterable: Iterable[Any]) -> Iterator[int]:
+        yield from self.consumes_single(iterable)
+
 
 def eq_p[T](v: T) -> EqPredicate[T]:
     """Return True if the value is equal to the constant, otherwise False."""

py_predicate-1.4/predicate/exactly_predicate.py

@@ -0,0 +1,48 @@
+from dataclasses import dataclass
+from typing import Iterable, override
+
+from predicate.predicate import Predicate
+
+
+@dataclass
+class ExactlyPredicate[T](Predicate[T]):
+    """Match exactly n instances of the given predicate."""
+
+    n: int
+    predicate: Predicate
+
+    def __call__(self, iterable: Iterable, *, predicates: list[Predicate], full_match: bool) -> bool:
+        from predicate.match_predicate import match
+
+        rest = iterable
+        for _ in range(self.n):
+            if not rest:
+                return False
+
+            item, *rest = rest
+            if not self.predicate(item):
+                return False
+        return match(rest, predicates=predicates, full_match=full_match) if predicates else True
+
+    def __repr__(self) -> str:
+        return f"exactly({self.n}, {self.predicate!r})"
+
+    @override
+    def explain_failure(self, iterable: Iterable[T], *, predicates: list[Predicate], full_match: bool) -> dict:  # type: ignore
+        from predicate.match_predicate import reason
+
+        rest = iterable
+        for _ in range(self.n):
+            if not rest:
+                return {"reason": f"Not enough items in iterable, expected {self.n}"}
+
+            item, *rest = rest
+            if not self.predicate(item):
+                return self.predicate.explain(item)
+
+        return reason(rest, predicates=predicates, full_match=full_match)
+
+
+def exactly_n(n: int, predicate: Predicate) -> Predicate:
+    """Match exactly n instances of the given predicate."""
+    return ExactlyPredicate(n=n, predicate=predicate)

py_predicate-1.4/predicate/exception_predicate.py

@@ -0,0 +1,25 @@
+from dataclasses import dataclass
+from typing import Final
+
+from predicate.predicate import Predicate
+
+
+class PredicateError(Exception):
+    """Exception that will be thrown."""
+
+    pass
+
+
+@dataclass
+class ExceptionPredicate[T](Predicate[T]):
+    """A predicate class always throws an exception."""
+
+    def __call__(self, _x: T) -> bool:
+        raise PredicateError()
+
+    def __repr__(self) -> str:
+        return "exception_p"
+
+
+exception_p: Final[ExceptionPredicate] = ExceptionPredicate()
+"""Always throw an exception."""

{py_predicate-1.3 → py_predicate-1.4}/predicate/generator/generate_false.py

@@ -3,7 +3,7 @@ import sys
 from collections.abc import Iterable, Iterator
 from datetime import datetime, timedelta
 from functools import singledispatch
-from itertools import repeat
+from itertools import cycle, repeat
 from types import UnionType
 from typing import Final, get_args
 from uuid import UUID
@@ -17,6 +17,7 @@ from predicate.any_predicate import AnyPredicate
 from predicate.count_predicate import CountPredicate
 from predicate.dict_of_predicate import DictOfPredicate, is_dict_of_p
 from predicate.eq_predicate import EqPredicate
+from predicate.exactly_predicate import ExactlyPredicate
 from predicate.fn_predicate import FnPredicate
 from predicate.ge_predicate import GePredicate
 from predicate.generator.helpers import (
@@ -45,26 +46,26 @@ from predicate.is_instance_predicate import IsInstancePredicate
 from predicate.is_lambda_predicate import IsLambdaPredicate
 from predicate.is_none_predicate import IsNonePredicate
 from predicate.is_not_none_predicate import IsNotNonePredicate
+from predicate.is_predicate import IsPredicate
 from predicate.is_subclass_predicate import IsSubclassPredicate
 from predicate.is_truthy_predicate import IsTruthyPredicate
 from predicate.le_predicate import LePredicate
 from predicate.list_of_predicate import ListOfPredicate, is_list_of_p
 from predicate.lt_predicate import LtPredicate
 from predicate.match_predicate import (
-    ExactlyPredicate,
     MatchPredicate,
-    OptionalPredicate,
-    PlusPredicate,
-    RepeatPredicate,
-    StarPredicate,
 )
 from predicate.ne_predicate import NePredicate, ne_p
 from predicate.not_in_predicate import NotInPredicate
 from predicate.optimizer.predicate_optimizer import optimize
+from predicate.optional_predicate import OptionalPredicate
+from predicate.plus_predicate import PlusPredicate
 from predicate.predicate import AndPredicate, NotPredicate, OrPredicate, Predicate, XorPredicate
 from predicate.range_predicate import GeLePredicate, GeLtPredicate, GtLePredicate, GtLtPredicate, ge_le_p
+from predicate.repeat_predicate import RepeatPredicate
 from predicate.set_of_predicate import SetOfPredicate
 from predicate.standard_predicates import is_int_p
+from predicate.star_predicate import StarPredicate
 from predicate.tee_predicate import TeePredicate
 from predicate.tuple_of_predicate import TupleOfPredicate
 
@@ -547,3 +548,11 @@ def generate_is_subclass(is_subclass_predicate: IsSubclassPredicate) -> Iterator
             if non_subclasses := all_sub_classes - subclasses:
                 while True:
                     yield from non_subclasses
+
+
+@generate_false.register
+def generate_is(is_predicate: IsPredicate) -> Iterator:
+    singletons = (True, False, None, Ellipsis, (), NotImplemented)
+    selection = [v for v in singletons if v is not is_predicate.v]
+
+    yield from cycle(selection)

{py_predicate-1.3 → py_predicate-1.4}/predicate/generator/generate_true.py

@@ -26,6 +26,7 @@ from predicate.any_predicate import AnyPredicate
 from predicate.count_predicate import CountPredicate
 from predicate.dict_of_predicate import DictOfPredicate, is_dict_of_p
 from predicate.eq_predicate import EqPredicate, eq_p
+from predicate.exactly_predicate import ExactlyPredicate
 from predicate.fn_predicate import FnPredicate
 from predicate.ge_predicate import GePredicate, ge_p
 from predicate.generator.helpers import (
@@ -66,6 +67,7 @@ from predicate.is_instance_predicate import IsInstancePredicate
 from predicate.is_lambda_predicate import IsLambdaPredicate
 from predicate.is_none_predicate import IsNonePredicate
 from predicate.is_not_none_predicate import IsNotNonePredicate
+from predicate.is_predicate import IsPredicate
 from predicate.is_predicate_of_p import IsPredicateOfPredicate
 from predicate.is_subclass_predicate import IsSubclassPredicate
 from predicate.is_truthy_predicate import IsTruthyPredicate
@@ -73,16 +75,13 @@ from predicate.le_predicate import LePredicate
 from predicate.list_of_predicate import ListOfPredicate, is_list_of_p
 from predicate.lt_predicate import LtPredicate
 from predicate.match_predicate import (
-    ExactlyPredicate,
     MatchPredicate,
-    OptionalPredicate,
-    PlusPredicate,
-    RepeatPredicate,
-    StarPredicate,
 )
 from predicate.ne_predicate import NePredicate
 from predicate.not_in_predicate import NotInPredicate
 from predicate.optimizer.predicate_optimizer import optimize
+from predicate.optional_predicate import OptionalPredicate
+from predicate.plus_predicate import PlusPredicate
 from predicate.predicate import (
     AndPredicate,
     ConstrainedT,
@@ -94,12 +93,14 @@ from predicate.predicate import (
 from predicate.property_predicate import PropertyPredicate
 from predicate.range_predicate import GeLePredicate, GeLtPredicate, GtLePredicate, GtLtPredicate, ge_le_p
 from predicate.regex_predicate import RegexPredicate
+from predicate.repeat_predicate import RepeatPredicate
 from predicate.set_of_predicate import SetOfPredicate
 from predicate.set_predicates import IsRealSubsetPredicate, IsSubsetPredicate
 from predicate.standard_predicates import (
     is_int_p,
     is_list_p,
 )
+from predicate.star_predicate import StarPredicate
 from predicate.tee_predicate import TeePredicate
 from predicate.tuple_of_predicate import TupleOfPredicate
 
@@ -666,3 +667,8 @@ def generate_is_subclass(is_subclass_predicate: IsSubclassPredicate) -> Iterator
             subclasses = klass.__subclasses__()
             while True:
                 yield from subclasses
+
+
+@generate_true.register
+def generate_is(is_predicate: IsPredicate) -> Iterator:
+    yield from repeat(is_predicate.v)

{py_predicate-1.3 → py_predicate-1.4}/predicate/has_length_predicate.py

@@ -1,5 +1,6 @@
 from dataclasses import dataclass
-from typing import Final, Iterable, override
+from itertools import islice
+from typing import Any, Final, Iterable, Iterator, override
 
 from more_itertools import ilen
 
@@ -24,6 +25,13 @@ class HasLengthPredicate[T](Predicate[T]):
     def explain_failure(self, iterable: Iterable[T]) -> dict:
         return {"reason": f"Expected length {self.length_p!r}, actual: {ilen(iterable)}"}
 
+    @override
+    def consumes(self, iterable: Iterable[Any]) -> Iterator[int]:
+        for end in range(0, ilen(iterable) + 1):
+            rest = islice(iterable, 0, end)
+            if self(rest):
+                yield end
+
 
 def has_length_p(length_p: Predicate[int]) -> Predicate[Iterable]:
     """Return True if length of iterable is equal to value, otherwise False."""

{py_predicate-1.3 → py_predicate-1.4}/predicate/has_path_predicate.py

@@ -14,7 +14,7 @@ class HasPathPredicate[T](Predicate[T]):
     def __call__(self, x: Any) -> bool:
         match x:
             case dict() as d:
-                return match_dict(self.path, d)
+                return match_dict(d, path=self.path)
             case _:
                 return False
 
@@ -31,7 +31,11 @@ class HasPathPredicate[T](Predicate[T]):
                 return {"reason": f"Value {x} is not a dict"}
 
 
-def match_dict(path: list[Predicate], x: dict) -> bool:
+def match_dict(
+    x: dict,
+    *,
+    path: list[Predicate],
+) -> bool:
     first_p, *rest = path
     found = [v for k, v in x.items() if first_p(k)]
     return any(match_rest(value, rest) for value in found)
@@ -40,7 +44,7 @@ def match_dict(path: list[Predicate], x: dict) -> bool:
 def match_rest(value: Any, rest_path: list[Predicate]) -> bool:
     match value:
         case dict() as d if rest_path:
-            return match_dict(rest_path, d)
+            return match_dict(d, path=rest_path)
         case list() as l if rest_path:
             first_p, *rest = rest_path
             return first_p(l) and any(match_rest(value, rest) for value in l)

{py_predicate-1.3 → py_predicate-1.4}/predicate/helpers.py

@@ -1,5 +1,5 @@
-from collections.abc import Iterable
 from itertools import filterfalse
+from typing import Iterable
 
 from more_itertools import first
 

{py_predicate-1.3 → py_predicate-1.4}/predicate/is_instance_predicate.py

@@ -1,7 +1,7 @@
 from collections.abc import Callable, Container, Iterable
 from dataclasses import dataclass
 from datetime import datetime
-from typing import Hashable, Iterator, get_origin, override
+from typing import Any, Hashable, Iterator, get_origin, override
 from uuid import UUID
 
 from predicate.helpers import join_with_or
@@ -12,7 +12,7 @@ from predicate.predicate import Predicate
 class IsInstancePredicate[T](Predicate[T]):
     """A predicate class that models the 'isinstance' predicate."""
 
-    instance_klass: type | tuple
+    instance_klass: tuple
 
     def __call__(self, x: object) -> bool:
         # This is different from standard Python behaviour: a False/True value is not an int!
@@ -33,17 +33,17 @@ class IsInstancePredicate[T](Predicate[T]):
     @override
     def explain_failure(self, x: T) -> dict:
         def class_names() -> Iterator[str]:
-            match self.instance_klass:
-                case tuple() as klasses:
-                    for klass in klasses:
-                        yield klass.__name__
-                case _:
-                    yield self.instance_klass.__name__
+            for klass in self.instance_klass:
+                yield klass.__name__
 
         klasses = join_with_or(list(class_names()))
 
         return {"reason": f"{x} is not an instance of type {klasses}"}
 
+    @override
+    def consumes(self, iterable: Iterable[Any]) -> Iterator[int]:
+        yield from self.consumes_single(iterable)
+
 
 def is_instance_p(*klass: type) -> Predicate:
     """Return True if value is an instance of one of the classes, otherwise False."""

{py_predicate-1.3 → py_predicate-1.4}/predicate/is_none_predicate.py

@@ -1,7 +1,8 @@
 from dataclasses import dataclass
 from typing import Final, override
 
-from predicate.predicate import Predicate
+from predicate import exception_p
+from predicate.predicate import Predicate, or_p, predicate_partial
 
 
 @dataclass
@@ -21,3 +22,11 @@ class IsNonePredicate[T](Predicate[T]):
 
 is_none_p: Final[IsNonePredicate] = IsNonePredicate()
 """Return True if value is None, otherwise False."""
+
+
+none_is_true_p = predicate_partial(or_p, is_none_p)
+"""Return True if value is None, otherwise the result of the predicate."""
+
+
+none_is_exception_p = predicate_partial(or_p, is_none_p & exception_p)
+"""Raise an exception if value is None, otherwise returns the result of the predicate."""

{py_predicate-1.3 → py_predicate-1.4}/predicate/is_not_none_predicate.py

@@ -1,7 +1,7 @@
 from dataclasses import dataclass
 from typing import Final, override
 
-from predicate.predicate import Predicate
+from predicate.predicate import Predicate, and_p, predicate_partial
 
 
 @dataclass
@@ -21,3 +21,7 @@ class IsNotNonePredicate[T](Predicate[T]):
 
 is_not_none_p: Final[IsNotNonePredicate] = IsNotNonePredicate()
 """Return True if value is not None, otherwise False."""
+
+
+none_is_false_p = predicate_partial(and_p, is_not_none_p)
+"""Return False if value is None, otherwise the result of the predicate."""

py_predicate-1.4/predicate/is_predicate.py

@@ -0,0 +1,30 @@
+from dataclasses import dataclass
+from typing import override
+
+from predicate.predicate import Predicate
+
+
+@dataclass
+class IsPredicate[T](Predicate[T]):
+    """A predicate class that models the 'is' predicate."""
+
+    v: T
+
+    def __call__(self, x: T) -> bool:
+        return x is self.v
+
+    def __repr__(self) -> str:
+        return f"is_p({self.v!r})"
+
+    @override
+    def get_klass(self) -> type:
+        return type(self.v)
+
+    @override
+    def explain_failure(self, x: T) -> dict:
+        return {"reason": f"{x} does not refer to {self.v!r}"}
+
+
+def is_p[T](v: T) -> IsPredicate[T]:
+    """Return True if the value is equal to the constant, otherwise False."""
+    return IsPredicate(v=v)