numeric

Type Members

trait Greater[N] extends AnyRef

Predicate that checks if a numeric value is greater than N.
type GreaterEqual[N] = Not[Less[N]]

Predicate that checks if a numeric value is greater than or equal to N.
type Interval[L, H] = And[GreaterEqual[L], LessEqual[H]]

Predicate that checks if a numeric value is in the interval [L, H].
trait Less[N] extends AnyRef

Predicate that checks if a numeric value is less than N.
type LessEqual[N] = Not[Greater[N]]

Predicate that checks if a numeric value is less than or equal to N.
type Negative = Less[_0]

Predicate that checks if a numeric value is negative (< 0).
type NonNegative = Not[Negative]

Predicate that checks if a numeric value is zero or positive (>= 0).
type NonPositive = Not[Positive]

Predicate that checks if a numeric value is zero or negative (<= 0).
type Positive = Greater[_0]

Predicate that checks if a numeric value is positive (> 0).

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
implicit def equalPredicateNat[N <: Nat, T](implicit tn: ToInt[N], it: Integral[T]): Predicate[Equal[N], T]

Definition Classes
NumericPredicates
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
implicit def greaterInference[C, A <: C, B <: C](implicit wa: Aux[A], wb: Aux[B], nc: Numeric[C]): ==>[Greater[A], Greater[B]]

Definition Classes
NumericInferenceRules
implicit def greaterInferenceNat[A <: Nat, B <: Nat](implicit ta: ToInt[A], tb: ToInt[B]): ==>[Greater[A], Greater[B]]

Definition Classes
NumericInferenceRules
implicit def greaterPredicate[T, N <: T](implicit wn: Aux[N], nt: Numeric[T]): Predicate[Greater[N], T]

Definition Classes
NumericPredicates
implicit def greaterPredicateNat[N <: Nat, T](implicit tn: ToInt[N], nt: Numeric[T]): Predicate[Greater[N], T]

Definition Classes
NumericPredicates
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
implicit def lessInference[C, A <: C, B <: C](implicit wa: Aux[A], wb: Aux[B], nc: Numeric[C]): ==>[Less[A], Less[B]]

Definition Classes
NumericInferenceRules
implicit def lessInferenceNat[A <: Nat, B <: Nat](implicit ta: ToInt[A], tb: ToInt[B]): ==>[Less[A], Less[B]]

Definition Classes
NumericInferenceRules
implicit def lessPredicate[T, N <: T](implicit wn: Aux[N], nt: Numeric[T]): Predicate[Less[N], T]

Definition Classes
NumericPredicates
implicit def lessPredicateNat[N <: Nat, T](implicit tn: ToInt[N], nt: Numeric[T]): Predicate[Less[N], T]

Definition Classes
NumericPredicates
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package refined

object numeric extends NumericPredicates with NumericInferenceRules

Type Members

trait Greater[N] extends AnyRef

type GreaterEqual[N] = Not[Less[N]]

type Interval[L, H] = And[GreaterEqual[L], LessEqual[H]]

trait Less[N] extends AnyRef

type LessEqual[N] = Not[Greater[N]]

type Negative = Less[_0]

type NonNegative = Not[Negative]

type NonPositive = Not[Positive]

type Positive = Greater[_0]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

implicit def equalPredicateNat[N <: Nat, T](implicit tn: ToInt[N], it: Integral[T]): Predicate[Equal[N], T]

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

implicit def greaterInference[C, A <: C, B <: C](implicit wa: Aux[A], wb: Aux[B], nc: Numeric[C]): ==>[Greater[A], Greater[B]]

implicit def greaterInferenceNat[A <: Nat, B <: Nat](implicit ta: ToInt[A], tb: ToInt[B]): ==>[Greater[A], Greater[B]]

implicit def greaterPredicate[T, N <: T](implicit wn: Aux[N], nt: Numeric[T]): Predicate[Greater[N], T]

implicit def greaterPredicateNat[N <: Nat, T](implicit tn: ToInt[N], nt: Numeric[T]): Predicate[Greater[N], T]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

implicit def lessInference[C, A <: C, B <: C](implicit wa: Aux[A], wb: Aux[B], nc: Numeric[C]): ==>[Less[A], Less[B]]

implicit def lessInferenceNat[A <: Nat, B <: Nat](implicit ta: ToInt[A], tb: ToInt[B]): ==>[Less[A], Less[B]]

implicit def lessPredicate[T, N <: T](implicit wn: Aux[N], nt: Numeric[T]): Predicate[Less[N], T]

implicit def lessPredicateNat[N <: Nat, T](implicit tn: ToInt[N], nt: Numeric[T]): Predicate[Less[N], T]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from NumericInferenceRules

Inherited from NumericPredicates

Inherited from AnyRef

Inherited from Any

Ungrouped