Source code for phantom.predicates.interval

"""
Functions that create new predicates that succeed when their argument is strictly or non
strictly between the upper and lower bounds. There are corresponding phantom types that
use these predicates in :py:mod:`phantom.interval`.
"""

from typing import TypeVar

from phantom._utils.types import SupportsLeGe
from phantom._utils.types import SupportsLeGt
from phantom._utils.types import SupportsLtGe
from phantom._utils.types import SupportsLtGt

from ._base import Predicate
from ._utils import bind_name

T = TypeVar("T")


[docs] def exclusive(low: T, high: T) -> Predicate[SupportsLtGt[T]]: """ Create a predicate that succeeds when its argument is in the range ``(low, high)``. """ @bind_name(exclusive, low, high) def check(value: SupportsLtGt[T]) -> bool: return low < value < high return check
[docs] def exclusive_inclusive(low: T, high: T) -> Predicate[SupportsLeGt[T]]: """ Create a predicate that succeeds when its argument is in the range ``(low, high]``. """ @bind_name(exclusive_inclusive, low, high) def check(value: SupportsLeGt[T]) -> bool: return low < value <= high return check
[docs] def inclusive_exclusive(low: T, high: T) -> Predicate[SupportsLtGe[T]]: """ Create a predicate that succeeds when its argument is in the range ``[low, high)``. """ @bind_name(inclusive_exclusive, low, high) def check(value: SupportsLtGe[T]) -> bool: return low <= value < high return check
[docs] def inclusive(low: T, high: T) -> Predicate[SupportsLeGe[T]]: """ Create a predicate that succeeds when its argument is in the range ``[low, high]``. """ @bind_name(inclusive, low, high) def check(value: SupportsLeGe[T]) -> bool: return low <= value <= high return check