Digit5

final case
class Digit5[N1 <: Base, N2 <: Base, N3 <: Base, N4 <: Base, N5 <: Base](_1: Tag[N1], _2: Tag[N2], _3: Tag[N3], _4: Tag[N4], _5: Tag[N5]) extends Tag[Digit5[N1, N2, N3, N4, N5]] with NatTag
trait Serializable
trait Product
trait Equals
trait NatTag
class Tag[Digit5[N1, N2, N3, N4, N5]]
class Object
trait Matchable
class Any

Value members

Concrete methods

Inherited methods

@noinline
def load(ptr: Ptr[Digit5[N1, N2, N3, N4, N5]]): Digit5[N1, N2, N3, N4, N5]
Inherited from
Tag
@noinline
def offset(idx: CSize): CSize
Inherited from
Tag
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product
@noinline
def store(ptr: Ptr[Digit5[N1, N2, N3, N4, N5]], value: Digit5[N1, N2, N3, N4, N5]): Unit
Inherited from
Tag
Inherited from
NatTag