case class Digit(d: UInt, tl: Natural) extends Natural with Serializable with Product
- Annotations
- @SerialVersionUID()
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Digit
- Product
- Equals
- Natural
- Serializable
- ScalaNumericConversions
- ScalaNumericAnyConversions
- ScalaNumber
- Number
- Serializable
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- def %(n: UInt): Natural
-
def
%(rhs: Natural): Natural
- Definition Classes
- Natural
-
def
%(rhs: BigInt): BigInt
- Definition Classes
- Natural
-
def
&(rhs: UInt): Natural
- Definition Classes
- Natural
-
def
&(rhs: Natural): Natural
- Definition Classes
- Natural
- def *(n: UInt): Natural
-
def
*(rhs: Natural): Natural
- Definition Classes
- Natural
-
def
*(rhs: BigInt): BigInt
- Definition Classes
- Natural
- def +(n: UInt): Natural
-
def
+(rhs: Natural): Natural
- Definition Classes
- Natural
-
def
+(rhs: BigInt): BigInt
- Definition Classes
- Natural
- def -(n: UInt): Natural
-
def
-(rhs: Natural): Natural
- Definition Classes
- Natural
-
def
-(rhs: BigInt): BigInt
- Definition Classes
- Natural
- def /(n: UInt): Natural
-
def
/(rhs: Natural): Natural
- Definition Classes
- Natural
-
def
/(rhs: BigInt): BigInt
- Definition Classes
- Natural
- def /%(n: UInt): (Natural, Natural)
-
def
/%(rhs: Natural): (Natural, Natural)
- Definition Classes
- Natural
-
def
/%(rhs: BigInt): (BigInt, BigInt)
- Definition Classes
- Natural
-
def
/~(rhs: Natural): Natural
- Definition Classes
- Natural
-
def
/~(rhs: BigInt): BigInt
- Definition Classes
- Natural
-
def
/~(rd: UInt): Natural
- Definition Classes
- Natural
-
def
<(r: BigInt): Boolean
- Definition Classes
- Natural
-
def
<(r: UInt): Boolean
- Definition Classes
- Natural
-
def
<(rhs: Natural): Boolean
- Definition Classes
- Natural
-
def
<<(n: Int): Natural
- Definition Classes
- Natural
-
def
<=(r: BigInt): Boolean
- Definition Classes
- Natural
-
def
<=(r: UInt): Boolean
- Definition Classes
- Natural
-
def
<=(rhs: Natural): Boolean
- Definition Classes
- Natural
-
def
=!=(rhs: Natural): Boolean
- Definition Classes
- Natural
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
===(rhs: Natural): Boolean
- Definition Classes
- Natural
-
def
>(r: BigInt): Boolean
- Definition Classes
- Natural
-
def
>(r: UInt): Boolean
- Definition Classes
- Natural
-
def
>(rhs: Natural): Boolean
- Definition Classes
- Natural
-
def
>=(r: BigInt): Boolean
- Definition Classes
- Natural
-
def
>=(r: UInt): Boolean
- Definition Classes
- Natural
-
def
>=(rhs: Natural): Boolean
- Definition Classes
- Natural
-
def
>>(n: Int): Natural
- Definition Classes
- Natural
-
def
^(rhs: UInt): Natural
- Definition Classes
- Natural
-
def
^(rhs: Natural): Natural
- Definition Classes
- Natural
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
byteValue(): Byte
- Definition Classes
- Number
-
def
chop(n: Int): Natural
- Definition Classes
- Natural
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
compare(rhs: Natural): Int
- Definition Classes
- Natural
-
def
compare(rhs: UInt): Int
- Definition Classes
- Natural
- val d: UInt
- def digit: UInt
-
def
doubleValue(): Double
- Definition Classes
- Natural → ScalaNumericAnyConversions → Number
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
equals(rhs: Any): Boolean
- Definition Classes
- Natural → AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
floatValue(): Float
- Definition Classes
- Natural → ScalaNumericAnyConversions → Number
-
def
foldDigitsLeft[A](a: A)(f: (A, UInt) ⇒ A): A
- Definition Classes
- Natural
-
def
foldDigitsRight[A](a: A)(f: (A, UInt) ⇒ A): A
- Definition Classes
- Natural
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
getDigitLength: Int
- Definition Classes
- Natural
-
def
getNumBits: Int
- Definition Classes
- Natural
-
def
intValue(): Int
- Definition Classes
- Natural → ScalaNumericAnyConversions → Number
-
def
isEven: Boolean
- Definition Classes
- Natural
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isOdd: Boolean
- Definition Classes
- Natural
-
def
isOne: Boolean
- Definition Classes
- Natural
-
def
isValidByte: Boolean
- Definition Classes
- ScalaNumericAnyConversions
-
def
isValidChar: Boolean
- Definition Classes
- ScalaNumericAnyConversions
-
def
isValidInt: Boolean
- Definition Classes
- ScalaNumericAnyConversions
-
def
isValidShort: Boolean
- Definition Classes
- ScalaNumericAnyConversions
-
def
isWhole(): Boolean
- Definition Classes
- Natural → ScalaNumericAnyConversions → ScalaNumber
-
def
isZero: Boolean
- Definition Classes
- Natural
-
def
longValue(): Long
- Definition Classes
- Natural → ScalaNumericAnyConversions → Number
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
pow(rhs: UInt): Natural
- Definition Classes
- Natural
-
def
pow(rhs: Natural): Natural
- Definition Classes
- Natural
-
def
powerOfTwo: Int
- Definition Classes
- Natural
-
def
reversed: Natural
- Definition Classes
- Natural
-
def
shortValue(): Short
- Definition Classes
- Number
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def tail: Natural
- val tl: Natural
-
def
toArray: Array[Int]
- Definition Classes
- Natural
-
def
toBigInt: BigInt
- Definition Classes
- Natural
-
def
toByte: Byte
- Definition Classes
- ScalaNumericAnyConversions
-
def
toChar: Char
- Definition Classes
- ScalaNumericAnyConversions
-
def
toDouble: Double
- Definition Classes
- ScalaNumericAnyConversions
-
def
toFloat: Float
- Definition Classes
- ScalaNumericAnyConversions
-
def
toInt: Int
- Definition Classes
- Natural → ScalaNumericAnyConversions
-
def
toList: List[UInt]
- Definition Classes
- Natural
-
def
toLong: Long
- Definition Classes
- Natural → ScalaNumericAnyConversions
-
def
toRepr: String
- Definition Classes
- Natural
-
def
toShort: Short
- Definition Classes
- ScalaNumericAnyConversions
-
def
toString(): String
- Definition Classes
- Natural → AnyRef → Any
-
def
trim: Natural
- Definition Classes
- Natural
-
def
underlying(): AnyRef
- Definition Classes
- Natural → ScalaNumericConversions → ScalaNumericAnyConversions → ScalaNumber
-
def
unifiedPrimitiveEquals(x: Any): Boolean
- Attributes
- protected
- Definition Classes
- ScalaNumericAnyConversions
-
def
unifiedPrimitiveHashcode(): Int
- Attributes
- protected
- Definition Classes
- ScalaNumericAnyConversions
-
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( ... )
-
def
|(rhs: UInt): Natural
- Definition Classes
- Natural
-
def
|(rhs: Natural): Natural
- Definition Classes
- Natural