Natural

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

Type members

Classlikes

case class Digit(d: UInt, tl: Natural) extends Natural with Serializable
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

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

Concrete fields

Implicits

Implicits

implicit def naturalToBigInt(n: Natural): BigInt

Inherited implicits

final implicit val NaturalTag: NumberTag[Natural]
Inherited from:
NaturalInstances