Digit7

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

Value members

Concrete methods

Inherited methods

@noinline
def load(ptr: Ptr[Digit7[N1, N2, N3, N4, N5, N6, N7]]): Digit7[N1, N2, N3, N4, N5, N6, N7]
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[Digit7[N1, N2, N3, N4, N5, N6, N7]], value: Digit7[N1, N2, N3, N4, N5, N6, N7]): Unit
Inherited from
Tag
Inherited from
NatTag