apply_factory.py

from typing import Callable
from typing import TypeVar

from phantom.predicates.generic import equal
from phantom import Predicate

T = TypeVar("T")


def apply_factory(factory: Callable[[T], Predicate[T]]) -> Predicate[tuple[T, T]]:
    def predicate(args: tuple[T, T]) -> bool:
        return factory(args[0])(args[1])
    return predicate


assert apply_factory(equal)((1, 1))