Packages

package math

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. math
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. final case class Nat(toBigInt: BigInt) extends Product with Serializable
    Annotations
    @library()

Value Members

  1. def abs(n: BigInt): BigInt
    Annotations
    @library()
  2. implicit def bigIntToNat(b: BigInt): Nat
    Annotations
    @library()
  3. def max(i1: Nat, i2: Nat): Nat
    Annotations
    @library()
  4. def max(i1: BigInt, i2: BigInt, i3: BigInt): BigInt
    Annotations
    @library()
  5. def max(i1: BigInt, i2: BigInt): BigInt
    Annotations
    @library()
  6. def max(i1: Int, i2: Int): Int
    Annotations
    @library()
  7. def min(i1: Nat, i2: Nat): Nat
    Annotations
    @library()
  8. def min(i1: BigInt, i2: BigInt): BigInt
    Annotations
    @library()
  9. def min(i1: Int, i2: Int): Int
    Annotations
    @library()
  10. def wrapping[A](body: A): A

    Disable overflow checks within body.

    Disable overflow checks within body.

    This is equivalent to setting --strict-arithmetic=false for body only.

    Annotations
    @ignore()
  11. object Nat extends Serializable
    Annotations
    @library()

Inherited from AnyRef

Inherited from Any

Ungrouped