nutcracker/nutcracker.util/Nat

Nat

object Nat
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Nat.type

Type members

Classlikes

case class Succ[N0 <: Nat](n: N0) extends Nat
object ToInt
Companion:
class
sealed trait ToInt[N <: Nat]
Companion:
object
object _0 extends Nat

Types

type _0 = N
type _1 = N
type _2 = N

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 fields

val _1: Succ[_0]
val _2: Succ[_1]