Object

eu.timepit.refined

numeric

Related Doc: package refined

Permalink

object numeric extends NumericPredicates with NumericInferenceRules

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.

Source
numeric.scala
Example: 

  1. scala> import shapeless.nat._
     | import shapeless.tag.@@
     | import eu.timepit.refined.numeric._
scala> refineLit[Greater[_5]](10)
res1: Int @@ Greater[_5] = 10
scala> refineLit[Greater[W.`1.5`.T]](1.6)
res2: Double @@ Greater[W.`1.5`.T] = 1.6
Linear Supertypes
NumericInferenceRules, NumericPredicates, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. numeric
  2. NumericInferenceRules
  3. NumericPredicates
  4. AnyRef
  5. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

  1. trait Greater[N] extends AnyRef

    Permalink

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

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

    Permalink

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

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

    Permalink

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

  4. trait Less[N] extends AnyRef

    Permalink

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

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

    Permalink

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

  6. type Negative = Less[_0]

    Permalink

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

  7. type NonNegative = Not[Negative]

    Permalink

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

  8. type NonPositive = Not[Positive]

    Permalink

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

  9. type Positive = Greater[_0]

    Permalink

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

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    NumericPredicates

  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  9. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    NumericInferenceRules

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

    Permalink
    Definition Classes
    NumericInferenceRules

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

    Permalink
    Definition Classes
    NumericPredicates

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

    Permalink
    Definition Classes
    NumericPredicates

  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  16. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    NumericInferenceRules

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

    Permalink
    Definition Classes
    NumericInferenceRules

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

    Permalink
    Definition Classes
    NumericPredicates

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

    Permalink
    Definition Classes
    NumericPredicates

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

    Permalink
    Definition Classes
    AnyRef

  22. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  23. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    AnyRef

  25. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  26. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from NumericInferenceRules

Inherited from NumericPredicates

Inherited from AnyRef

Inherited from Any

Ungrouped