Predicate that checks if a numeric value is greater than N
.
Predicate that checks if a numeric value is greater than or equal to N
.
Predicate that checks if a numeric value is less than N
.
Predicate that checks if a numeric value is less than or equal to N
.
Predicate that checks if a numeric value is negative (< 0).
Predicate that checks if a numeric value is zero or positive (>= 0).
Predicate that checks if a numeric value is zero or negative (<= 0).
Predicate that checks if a numeric value is positive (> 0).
Module for numeric predicates. Predicates that take type parameters support both shapeless' natural numbers (
Nat
) and numeric singleton types (which are made available by shapeless'Witness
- abbreviated as W in refined) which include subtypes ofInt
,Long
,Double
,Char
etc.Example: