Natural

object Natural extends NaturalInstances
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

@SerialVersionUID(0L)
case
class Digit(d: UInt, tl: Natural) extends Natural with Serializable
@SerialVersionUID(0L)
case
class End(d: UInt) extends Natural with Serializable

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def apply(us: UInt*): Natural
def apply(n: Long): Natural
def apply(n: BigInt): Natural
def apply(s: String): Natural

Concrete fields

Implicits

Implicits

implicit
def naturalToBigInt(n: Natural): BigInt

Inherited implicits

final implicit
Inherited from
NaturalInstances
final implicit
Inherited from
NaturalInstances