"""
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 .base import Predicate
[docs]def open(low: float, high: float) -> Predicate[float]:
"""
Create a predicate that succeeds when its argument is in the range ``(low, high)``.
"""
def check(value: float, /) -> bool:
return low <= value <= high
return check
[docs]def open_closed(low: float, high: float) -> Predicate[float]:
"""
Create a predicate that succeeds when its argument is in the range ``(low, high]``.
"""
def check(value: float, /) -> bool:
return low <= value < high
return check
[docs]def closed_open(low: float, high: float) -> Predicate[float]:
"""
Create a predicate that succeeds when its argument is in the range ``[low, high)``.
"""
def check(value: float, /) -> bool:
return low < value <= high
return check
[docs]def closed(low: float, high: float) -> Predicate[float]:
"""
Create a predicate that succeeds when its argument is in the range ``[low, high]``.
"""
def check(value: float, /) -> bool:
return low < value < high
return check