eu.timepit.refined

numeric

object numeric extends NumericValidate with NumericInference

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 of Int, Long, Double, Char etc.

Example: 

scala> import shapeless.nat._
     | import shapeless.tag.@@
     | import eu.timepit.refined.numeric._

scala> refineMT[Greater[_5]](10)
res1: Int @@ Greater[_5] = 10

scala> refineMT[Greater[W.`1.5`.T]](1.6)
res2: Double @@ Greater[W.`1.5`.T] = 1.6
Source
numeric.scala
Linear Supertypes
NumericInference, NumericValidate, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. numeric
  2. NumericInference
  3. NumericValidate
  4. AnyRef
  5. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. case class Greater[N](n: N) extends Product with Serializable

    Predicate that checks if a numeric value is greater than N.

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

    Predicate that checks if a numeric value is greater than or equal to N.

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

    Predicate that checks if a numeric value is in the interval [L, H].

  4. case class Less[N](n: N) extends Product with Serializable

    Predicate that checks if a numeric value is less than N.

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

    Predicate that checks if a numeric value is less than or equal to N.

  6. type Negative = Less[_0]

    Predicate that checks if a numeric value is negative (< 0).

  7. type NonNegative = Not[Negative]

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

  8. type NonPositive = Not[Positive]

    Predicate that checks if a numeric value is zero or negative (<= 0).

  9. type Positive = Greater[_0]

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

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  8. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  9. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  10. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  11. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    NumericInference

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

    Definition Classes
    NumericInference

  14. implicit def greaterInferenceWitNat[C, A <: C, B <: Nat](implicit wa: Aux[A], tb: ToInt[B], nc: Numeric[C]): ==>[Greater[A], Greater[B]]

    Definition Classes
    NumericInference

  15. implicit def greaterValidateNat[N <: Nat, T](implicit tn: ToInt[N], wn: Aux[N], nt: Numeric[T]): Plain[T, Greater[N]]

    Definition Classes
    NumericValidate

  16. implicit def greaterValidateWit[T, N <: T](implicit wn: Aux[N], nt: Numeric[T]): Plain[T, Greater[N]]

    Definition Classes
    NumericValidate

  17. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  18. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    NumericInference

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

    Definition Classes
    NumericInference

  21. implicit def lessInferenceWitNat[C, A <: C, B <: Nat](implicit wa: Aux[A], tb: ToInt[B], nc: Numeric[C]): ==>[Less[A], Less[B]]

    Definition Classes
    NumericInference

  22. implicit def lessValidateNat[N <: Nat, T](implicit tn: ToInt[N], wn: Aux[N], nt: Numeric[T]): Plain[T, Less[N]]

    Definition Classes
    NumericValidate

  23. implicit def lessValidateWit[T, N <: T](implicit wn: Aux[N], nt: Numeric[T]): Plain[T, Less[N]]

    Definition Classes
    NumericValidate

  24. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  25. final def notify(): Unit

    Definition Classes
    AnyRef

  26. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    AnyRef

  28. def toString(): String

    Definition Classes
    AnyRef → Any

  29. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  31. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from NumericInference

Inherited from NumericValidate

Inherited from AnyRef

Inherited from Any

Ungrouped