Packages

case class Digit(d: UInt, tl: Natural) extends Natural with Serializable with Product

Annotations
@SerialVersionUID()
Linear Supertypes
Product, Equals, Natural, ScalaNumericConversions, ScalaNumericAnyConversions, ScalaNumber, java.lang.Number, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Digit
  2. Product
  3. Equals
  4. Natural
  5. ScalaNumericConversions
  6. ScalaNumericAnyConversions
  7. ScalaNumber
  8. Number
  9. Serializable
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Digit(d: UInt, tl: Natural)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def %(n: UInt): Natural
    Definition Classes
    DigitNatural
  4. def %(rhs: Natural): Natural
    Definition Classes
    Natural
  5. def %(rhs: BigInt): BigInt
    Definition Classes
    Natural
  6. def &(rhs: UInt): Natural
    Definition Classes
    Natural
  7. def &(rhs: Natural): Natural
    Definition Classes
    Natural
  8. def *(n: UInt): Natural
    Definition Classes
    DigitNatural
  9. def *(rhs: Natural): Natural
    Definition Classes
    Natural
  10. def *(rhs: BigInt): BigInt
    Definition Classes
    Natural
  11. def +(n: UInt): Natural
    Definition Classes
    DigitNatural
  12. def +(rhs: Natural): Natural
    Definition Classes
    Natural
  13. def +(rhs: BigInt): BigInt
    Definition Classes
    Natural
  14. def -(n: UInt): Natural
    Definition Classes
    DigitNatural
  15. def -(rhs: Natural): Natural
    Definition Classes
    Natural
  16. def -(rhs: BigInt): BigInt
    Definition Classes
    Natural
  17. def /(n: UInt): Natural
    Definition Classes
    DigitNatural
  18. def /(rhs: Natural): Natural
    Definition Classes
    Natural
  19. def /(rhs: BigInt): BigInt
    Definition Classes
    Natural
  20. def /%(n: UInt): (Natural, Natural)
    Definition Classes
    DigitNatural
  21. def /%(rhs: Natural): (Natural, Natural)
    Definition Classes
    Natural
  22. def /%(rhs: BigInt): (BigInt, BigInt)
    Definition Classes
    Natural
  23. def /~(rhs: Natural): Natural
    Definition Classes
    Natural
  24. def /~(rhs: BigInt): BigInt
    Definition Classes
    Natural
  25. def /~(rd: UInt): Natural
    Definition Classes
    Natural
  26. def <(r: BigInt): Boolean
    Definition Classes
    Natural
  27. def <(r: UInt): Boolean
    Definition Classes
    Natural
  28. def <(rhs: Natural): Boolean
    Definition Classes
    Natural
  29. def <<(n: Int): Natural
    Definition Classes
    Natural
  30. def <=(r: BigInt): Boolean
    Definition Classes
    Natural
  31. def <=(r: UInt): Boolean
    Definition Classes
    Natural
  32. def <=(rhs: Natural): Boolean
    Definition Classes
    Natural
  33. def =!=(rhs: Natural): Boolean
    Definition Classes
    Natural
  34. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  35. def ===(rhs: Natural): Boolean
    Definition Classes
    Natural
  36. def >(r: BigInt): Boolean
    Definition Classes
    Natural
  37. def >(r: UInt): Boolean
    Definition Classes
    Natural
  38. def >(rhs: Natural): Boolean
    Definition Classes
    Natural
  39. def >=(r: BigInt): Boolean
    Definition Classes
    Natural
  40. def >=(r: UInt): Boolean
    Definition Classes
    Natural
  41. def >=(rhs: Natural): Boolean
    Definition Classes
    Natural
  42. def >>(n: Int): Natural
    Definition Classes
    Natural
  43. def ^(rhs: UInt): Natural
    Definition Classes
    Natural
  44. def ^(rhs: Natural): Natural
    Definition Classes
    Natural
  45. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  46. def byteValue(): Byte
    Definition Classes
    Number
  47. def chop(n: Int): Natural
    Definition Classes
    Natural
  48. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  49. def compare(rhs: Natural): Int
    Definition Classes
    Natural
  50. def compare(rhs: UInt): Int
    Definition Classes
    Natural
  51. val d: UInt
  52. def digit: UInt
    Definition Classes
    DigitNatural
  53. def doubleValue: Double
    Definition Classes
    Natural → ScalaNumericAnyConversions → Number
  54. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  55. final def equals(rhs: Any): Boolean
    Definition Classes
    Natural → AnyRef → Any
  56. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  57. def floatValue: Float
    Definition Classes
    Natural → ScalaNumericAnyConversions → Number
  58. def foldDigitsLeft[A](a: A)(f: (A, UInt) => A): A
    Definition Classes
    Natural
  59. def foldDigitsRight[A](a: A)(f: (A, UInt) => A): A
    Definition Classes
    Natural
  60. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  61. def getDigitLength: Int
    Definition Classes
    Natural
  62. def getNumBits: Int
    Definition Classes
    Natural
  63. def intValue: Int
    Definition Classes
    Natural → ScalaNumericAnyConversions → Number
  64. def isEven: Boolean
    Definition Classes
    Natural
  65. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  66. def isOdd: Boolean
    Definition Classes
    Natural
  67. def isOne: Boolean
    Definition Classes
    Natural
  68. def isValidByte: Boolean
    Definition Classes
    ScalaNumericAnyConversions
  69. def isValidChar: Boolean
    Definition Classes
    ScalaNumericAnyConversions
  70. def isValidInt: Boolean
    Definition Classes
    ScalaNumericAnyConversions
  71. def isValidShort: Boolean
    Definition Classes
    ScalaNumericAnyConversions
  72. def isWhole: Boolean
    Definition Classes
    Natural → ScalaNumericAnyConversions → ScalaNumber
  73. def isZero: Boolean
    Definition Classes
    Natural
  74. def longValue: Long
    Definition Classes
    Natural → ScalaNumericAnyConversions → Number
  75. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  76. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  77. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  78. def pow(rhs: UInt): Natural
    Definition Classes
    Natural
  79. def pow(rhs: Natural): Natural
    Definition Classes
    Natural
  80. def powerOfTwo: Int
    Definition Classes
    Natural
  81. def productElementNames: Iterator[String]
    Definition Classes
    Product
  82. def reversed: Natural
    Definition Classes
    Natural
  83. def shortValue(): Short
    Definition Classes
    Number
  84. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  85. def tail: Natural
  86. val tl: Natural
  87. def toArray: Array[Int]
    Definition Classes
    Natural
  88. def toBigInt: BigInt
    Definition Classes
    Natural
  89. def toByte: Byte
    Definition Classes
    ScalaNumericAnyConversions
  90. def toChar: Char
    Definition Classes
    ScalaNumericAnyConversions
  91. def toDouble: Double
    Definition Classes
    ScalaNumericAnyConversions
  92. def toFloat: Float
    Definition Classes
    ScalaNumericAnyConversions
  93. def toInt: Int
    Definition Classes
    Natural → ScalaNumericAnyConversions
  94. def toList: List[UInt]
    Definition Classes
    Natural
  95. def toLong: Long
    Definition Classes
    Natural → ScalaNumericAnyConversions
  96. def toRepr: String
    Definition Classes
    Natural
  97. def toShort: Short
    Definition Classes
    ScalaNumericAnyConversions
  98. def toString(): String
    Definition Classes
    Natural → AnyRef → Any
  99. def trim: Natural
    Definition Classes
    Natural
  100. def underlying(): AnyRef
    Definition Classes
    Natural → ScalaNumericConversions → ScalaNumber
  101. def unifiedPrimitiveEquals(x: Any): Boolean
    Attributes
    protected
    Definition Classes
    ScalaNumericAnyConversions
  102. def unifiedPrimitiveHashcode: Int
    Attributes
    protected
    Definition Classes
    ScalaNumericAnyConversions
  103. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  104. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  105. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  106. def |(rhs: UInt): Natural
    Definition Classes
    Natural
  107. def |(rhs: Natural): Natural
    Definition Classes
    Natural

Inherited from Product

Inherited from Equals

Inherited from Natural

Inherited from ScalaNumericConversions

Inherited from ScalaNumericAnyConversions

Inherited from ScalaNumber

Inherited from java.lang.Number

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped