DCons

Instance Constructors

new DCons()

Type Members

type Add[b <: Dense] = Add.b.Match[AddNz[b], ::[d, T], Dense]

Add to the number
Add to the number

Author:

Harshad Deo

Definition Classes
DCons → Dense
Since
0.1
type Add1[b <: Dense] = Dense.digit.Match[::[D0, Dense.Add.Inc], ::[d, T.Add[Add1.b.tail]], Dense]

Attributes
protected
type AddNz[b <: Dense] = d.Match[Add1[b], ::[AddNz.b.digit, T.Add[AddNz.b.tail]], Dense]

Attributes
protected
type Compare[B <: Dense] = CompareC[B, EQ]

Compares with the other dense number
Compares with the other dense number

Author:

Harshad Deo

Definition Classes
Dense
Since
0.1
type CompareC[B <: Dense, Carry <: Comparison] = CompareC.B.Match[T.CompareC[CompareC.B.tail, NewCarry[Carry, CompareC.B.digit]], GT, Comparison]

Author:

Harshad Deo

Attributes
protected
Definition Classes
DCons → Dense
Since
0.1
type Dec = d.Match[T.Match[::[D0, T], DNil, Dense], ::[D1, T.Dec], Dense]

Decrement the number
Decrement the number

Author:

Harshad Deo

Definition Classes
DCons → Dense
Since
0.1
type ExpHelper[arg <: Dense, res <: Dense] = T.ExpHelper[ExpHelper.arg.Sq, d.Match[*[res, arg], res, Dense]]

Author:

Harshad Deo

Attributes
protected
Definition Classes
DCons → Dense
Since
0.1
type Inc = d.Match[::[D0, T.Inc], ::[D1, T], Dense]

Increment the number
Increment the number

Author:

Harshad Deo

Definition Classes
DCons → Dense
Since
0.1
type Karatsuba[x <: Dense, res <: Dense] = T.Karatsuba[Karatsuba.x.ShiftL, d.Match[+[x, res], res, Dense]]

Author:

Harshad Deo

Attributes
protected
Definition Classes
DCons → Dense
Since
0.1
type Len = Dense.Len.Match[Dense.digit.Match[DCons[D0, Dense.tail.Inc], DCons[D1, Dense.Len.tail], Dense], DCons[D1, DNil], Dense]

Author:

Harshad Deo

Attributes
protected
Definition Classes
DCons → Dense
Since
0.1
type Match[NonZero <: Up, IfZero <: Up, Up] = NonZero

Typeconstructor for querying whether this is zero
Typeconstructor for querying whether this is zero

Author:

Harshad Deo

Definition Classes
DCons → Dense
Since
0.1
type Mult[b <: Dense] = Dense.Mult.b.Match[Karatsuba[b, DNil], DNil, Dense]

Multiply with the number
Multiply with the number

Author:

Harshad Deo

Definition Classes
Dense
Since
0.1
type NewCarry[prev <: Comparison, od <: Digit] = Digit.Compare.Match[LT, prev, GT, Comparison]

Attributes
protected
type ShiftL = DCons[D0, DCons[d, T]]

Unsigned left shift
Unsigned left shift

Author:

Harshad Deo

Definition Classes
DCons → Dense
Since
0.1
type ShiftR = T

Unsigned right shift
Unsigned right shift

Author:

Harshad Deo

Definition Classes
DCons → Dense
Since
0.1
type Sq = T.Karatsuba[DCons[D0, DCons[d, T]], d.Match[DCons[d, T], DNil, Dense]]

Square the number
Square the number

Author:

Harshad Deo

Definition Classes
DCons → Dense
Since
0.1
type YodaExp[b <: Dense] = ExpHelper[b, _1]

Yoda exponent - to the power of the base, raise the exponent (this is the base).
Yoda exponent - to the power of the base, raise the exponent (this is the base). Implemented this way for efficiency

Author:

Harshad Deo

Definition Classes
Dense
Since
0.1
type digit = d

Lowest priority bit
Lowest priority bit

Author:

Harshad Deo

Definition Classes
DCons → Dense
Since
0.1
type tail = T

Rest of the bits, stored in reverse order or priority
Rest of the bits, stored in reverse order or priority

Author:

Harshad Deo

Definition Classes
DCons → Dense
Since
0.1

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from DCons[d, T] to any2stringadd[DCons[d, T]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (DCons[d, T], B)

Implicit information
This member is added by an implicit conversion from DCons[d, T] to ArrowAssoc[DCons[d, T]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def ensuring(cond: (DCons[d, T]) ⇒ Boolean, msg: ⇒ Any): DCons[d, T]

Implicit information
This member is added by an implicit conversion from DCons[d, T] to Ensuring[DCons[d, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (DCons[d, T]) ⇒ Boolean): DCons[d, T]

Implicit information
This member is added by an implicit conversion from DCons[d, T] to Ensuring[DCons[d, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): DCons[d, T]

Implicit information
This member is added by an implicit conversion from DCons[d, T] to Ensuring[DCons[d, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): DCons[d, T]

Implicit information
This member is added by an implicit conversion from DCons[d, T] to Ensuring[DCons[d, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from DCons[d, T] to StringFormat[DCons[d, T]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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 →[B](y: B): (DCons[d, T], B)

Implicit information
This member is added by an implicit conversion from DCons[d, T] to ArrowAssoc[DCons[d, T]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Inherited from Dense

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from DCons[d, T] to any2stringadd[DCons[d, T]]

Inherited by implicit conversion StringFormat from DCons[d, T] to StringFormat[DCons[d, T]]

Inherited by implicit conversion Ensuring from DCons[d, T] to Ensuring[DCons[d, T]]

Inherited by implicit conversion ArrowAssoc from DCons[d, T] to ArrowAssoc[DCons[d, T]]

Operations

Representation

Ungrouped

Related Doc: package Dense

final class DCons[d <: Digit, T <: Dense] extends Dense

Author:

Instance Constructors

new DCons()

Type Members

type Add[b <: Dense] = Add.b.Match[AddNz[b], ::[d, T], Dense]

Author:

type Add1[b <: Dense] = Dense.digit.Match[::[D0, Dense.Add.Inc], ::[d, T.Add[Add1.b.tail]], Dense]

type AddNz[b <: Dense] = d.Match[Add1[b], ::[AddNz.b.digit, T.Add[AddNz.b.tail]], Dense]

type Compare[B <: Dense] = CompareC[B, EQ]

Author:

type CompareC[B <: Dense, Carry <: Comparison] = CompareC.B.Match[T.CompareC[CompareC.B.tail, NewCarry[Carry, CompareC.B.digit]], GT, Comparison]

Author:

type Dec = d.Match[T.Match[::[D0, T], DNil, Dense], ::[D1, T.Dec], Dense]

Author:

type ExpHelper[arg <: Dense, res <: Dense] = T.ExpHelper[ExpHelper.arg.Sq, d.Match[*[res, arg], res, Dense]]

Author:

type Inc = d.Match[::[D0, T.Inc], ::[D1, T], Dense]

Author:

type Karatsuba[x <: Dense, res <: Dense] = T.Karatsuba[Karatsuba.x.ShiftL, d.Match[+[x, res], res, Dense]]

Author:

type Len = Dense.Len.Match[Dense.digit.Match[DCons[D0, Dense.tail.Inc], DCons[D1, Dense.Len.tail], Dense], DCons[D1, DNil], Dense]

Author:

type Match[NonZero <: Up, IfZero <: Up, Up] = NonZero

Author:

type Mult[b <: Dense] = Dense.Mult.b.Match[Karatsuba[b, DNil], DNil, Dense]

Author:

type NewCarry[prev <: Comparison, od <: Digit] = Digit.Compare.Match[LT, prev, GT, Comparison]

type ShiftL = DCons[D0, DCons[d, T]]

Author:

type ShiftR = T

Author:

type Sq = T.Karatsuba[DCons[D0, DCons[d, T]], d.Match[DCons[d, T], DNil, Dense]]

Author:

type YodaExp[b <: Dense] = ExpHelper[b, _1]

Author:

type digit = d

Author:

type tail = T

Author:

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (DCons[d, T], B)

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (DCons[d, T]) ⇒ Boolean, msg: ⇒ Any): DCons[d, T]

def ensuring(cond: (DCons[d, T]) ⇒ Boolean): DCons[d, T]

def ensuring(cond: Boolean, msg: ⇒ Any): DCons[d, T]

def ensuring(cond: Boolean): DCons[d, T]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (DCons[d, T], B)

Inherited from Dense

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from DCons[d, T] to any2stringadd[DCons[d, T]]

Inherited by implicit conversion StringFormat from DCons[d, T] to StringFormat[DCons[d, T]]

Inherited by implicit conversion Ensuring from DCons[d, T] to Ensuring[DCons[d, T]]

Inherited by implicit conversion ArrowAssoc from DCons[d, T] to ArrowAssoc[DCons[d, T]]

Operations

Representation

Ungrouped