trait ExactIntegral[T] extends Integral[T]

Integral operations with overflow checks. Raise exception when overflow is detected. Each instance of this typeclass overrides three methods plus, minus, times. All other methods are implemented by delegating to the corresponding Integral instance from standard Scala library. This trait is used in core IR to avoid implicitly using standard scala implementations.

Linear Supertypes
Integral[T], Numeric[T], Ordering[T], PartialOrdering[T], Equiv[T], Serializable, Serializable, Comparator[T], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ExactIntegral
  2. Integral
  3. Numeric
  4. Ordering
  5. PartialOrdering
  6. Equiv
  7. Serializable
  8. Serializable
  9. Comparator
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class IntegralOps extends scala.math.Integral.Ops
    Definition Classes
    Integral
  2. class Ops extends AnyRef
    Definition Classes
    Numeric

Abstract Value Members

  1. abstract def minus(x: T, y: T): T
    Definition Classes
    Numeric
  2. abstract val n: Integral[T]
  3. abstract def plus(x: T, y: T): T
    Definition Classes
    Numeric
  4. abstract def times(x: T, y: T): T
    Definition Classes
    Numeric

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def abs(x: T): T
    Definition Classes
    Numeric
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  7. def compare(x: T, y: T): Int
    Definition Classes
    ExactIntegral → Ordering → Comparator
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def equiv(x: T, y: T): Boolean
    Definition Classes
    Ordering → PartialOrdering → Equiv
  11. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. def fromInt(x: Int): T
    Definition Classes
    ExactIntegral → Numeric
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def gt(x: T, y: T): Boolean
    Definition Classes
    Ordering → PartialOrdering
  15. def gteq(x: T, y: T): Boolean
    Definition Classes
    Ordering → PartialOrdering
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. def lt(x: T, y: T): Boolean
    Definition Classes
    Ordering → PartialOrdering
  19. def lteq(x: T, y: T): Boolean
    Definition Classes
    Ordering → PartialOrdering
  20. def max(x: T, y: T): T
    Definition Classes
    Ordering
  21. def min(x: T, y: T): T
    Definition Classes
    Ordering
  22. implicit def mkNumericOps(lhs: T): IntegralOps
    Definition Classes
    Integral → Numeric
  23. implicit def mkOrderingOps(lhs: T): ExactIntegral.Ops
    Definition Classes
    Ordering
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. def negate(x: T): T
    Definition Classes
    ExactIntegral → Numeric
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. def on[U](f: (U) ⇒ T): Ordering[U]
    Definition Classes
    Ordering
  29. def one: T
    Definition Classes
    Numeric
  30. def quot(x: T, y: T): T
    Definition Classes
    ExactIntegral → Integral
  31. def rem(x: T, y: T): T
    Definition Classes
    ExactIntegral → Integral
  32. def reverse: Ordering[T]
    Definition Classes
    Ordering → PartialOrdering
  33. def reversed(): Comparator[T]
    Definition Classes
    Comparator
  34. def signum(x: T): Int
    Definition Classes
    Numeric
  35. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  36. def thenComparing[U <: Comparable[_ >: U]](arg0: Function[_ >: T, _ <: U]): Comparator[T]
    Definition Classes
    Comparator
  37. def thenComparing[U](arg0: Function[_ >: T, _ <: U], arg1: Comparator[_ >: U]): Comparator[T]
    Definition Classes
    Comparator
  38. def thenComparing(arg0: Comparator[_ >: T]): Comparator[T]
    Definition Classes
    Comparator
  39. def thenComparingDouble(arg0: ToDoubleFunction[_ >: T]): Comparator[T]
    Definition Classes
    Comparator
  40. def thenComparingInt(arg0: ToIntFunction[_ >: T]): Comparator[T]
    Definition Classes
    Comparator
  41. def thenComparingLong(arg0: ToLongFunction[_ >: T]): Comparator[T]
    Definition Classes
    Comparator
  42. def toDouble(x: T): Double
    Definition Classes
    ExactIntegral → Numeric
  43. def toFloat(x: T): Float
    Definition Classes
    ExactIntegral → Numeric
  44. def toInt(x: T): Int
    Definition Classes
    ExactIntegral → Numeric
  45. def toLong(x: T): Long
    Definition Classes
    ExactIntegral → Numeric
  46. def toString(): String
    Definition Classes
    AnyRef → Any
  47. def tryCompare(x: T, y: T): Some[Int]
    Definition Classes
    Ordering → PartialOrdering
  48. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  50. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  51. def zero: T
    Definition Classes
    Numeric

Inherited from Integral[T]

Inherited from Numeric[T]

Inherited from Ordering[T]

Inherited from PartialOrdering[T]

Inherited from Equiv[T]

Inherited from Serializable

Inherited from Serializable

Inherited from Comparator[T]

Inherited from AnyRef

Inherited from Any

Ungrouped