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
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- ExactIntegral
- Integral
- Numeric
- Ordering
- PartialOrdering
- Equiv
- Serializable
- Serializable
- Comparator
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
Abstract Value Members
Concrete 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
-
def
abs(x: T): T
- Definition Classes
- Numeric
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
compare(x: T, y: T): Int
- Definition Classes
- ExactIntegral → Ordering → Comparator
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
equiv(x: T, y: T): Boolean
- Definition Classes
- Ordering → PartialOrdering → Equiv
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
fromInt(x: Int): T
- Definition Classes
- ExactIntegral → Numeric
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
gt(x: T, y: T): Boolean
- Definition Classes
- Ordering → PartialOrdering
-
def
gteq(x: T, y: T): Boolean
- Definition Classes
- Ordering → PartialOrdering
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
lt(x: T, y: T): Boolean
- Definition Classes
- Ordering → PartialOrdering
-
def
lteq(x: T, y: T): Boolean
- Definition Classes
- Ordering → PartialOrdering
-
def
max(x: T, y: T): T
- Definition Classes
- Ordering
-
def
min(x: T, y: T): T
- Definition Classes
- Ordering
-
implicit
def
mkNumericOps(lhs: T): IntegralOps
- Definition Classes
- Integral → Numeric
-
implicit
def
mkOrderingOps(lhs: T): ExactIntegral.Ops
- Definition Classes
- Ordering
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
negate(x: T): T
- Definition Classes
- ExactIntegral → Numeric
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
on[U](f: (U) ⇒ T): Ordering[U]
- Definition Classes
- Ordering
-
def
one: T
- Definition Classes
- Numeric
-
def
quot(x: T, y: T): T
- Definition Classes
- ExactIntegral → Integral
-
def
rem(x: T, y: T): T
- Definition Classes
- ExactIntegral → Integral
-
def
reverse: Ordering[T]
- Definition Classes
- Ordering → PartialOrdering
-
def
reversed(): Comparator[T]
- Definition Classes
- Comparator
-
def
signum(x: T): Int
- Definition Classes
- Numeric
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
thenComparing[U <: Comparable[_ >: U]](arg0: Function[_ >: T, _ <: U]): Comparator[T]
- Definition Classes
- Comparator
-
def
thenComparing[U](arg0: Function[_ >: T, _ <: U], arg1: Comparator[_ >: U]): Comparator[T]
- Definition Classes
- Comparator
-
def
thenComparing(arg0: Comparator[_ >: T]): Comparator[T]
- Definition Classes
- Comparator
-
def
thenComparingDouble(arg0: ToDoubleFunction[_ >: T]): Comparator[T]
- Definition Classes
- Comparator
-
def
thenComparingInt(arg0: ToIntFunction[_ >: T]): Comparator[T]
- Definition Classes
- Comparator
-
def
thenComparingLong(arg0: ToLongFunction[_ >: T]): Comparator[T]
- Definition Classes
- Comparator
-
def
toDouble(x: T): Double
- Definition Classes
- ExactIntegral → Numeric
-
def
toFloat(x: T): Float
- Definition Classes
- ExactIntegral → Numeric
-
def
toInt(x: T): Int
- Definition Classes
- ExactIntegral → Numeric
-
def
toLong(x: T): Long
- Definition Classes
- ExactIntegral → Numeric
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
tryCompare(x: T, y: T): Some[Int]
- Definition Classes
- Ordering → PartialOrdering
-
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( ... ) @native()
-
def
zero: T
- Definition Classes
- Numeric