Nat

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

Type members

Classlikes

sealed abstract class Base extends Nat
final abstract class Digit2[N1 <: Base, N2 <: Base] extends Nat
final abstract class Digit3[N1 <: Base, N2 <: Base, N3 <: Base] extends Nat
final abstract class Digit4[N1 <: Base, N2 <: Base, N3 <: Base, N4 <: Base]() extends Nat
final abstract class Digit5[N1 <: Base, N2 <: Base, N3 <: Base, N4 <: Base, N5 <: Base]() extends Nat
final abstract class Digit6[N1 <: Base, N2 <: Base, N3 <: Base, N4 <: Base, N5 <: Base, N6 <: Base]() extends Nat
final abstract class Digit7[N1 <: Base, N2 <: Base, N3 <: Base, N4 <: Base, N5 <: Base, N6 <: Base, N7 <: Base]() extends Nat
final abstract class Digit8[N1 <: Base, N2 <: Base, N3 <: Base, N4 <: Base, N5 <: Base, N6 <: Base, N7 <: Base, N8 <: Base]() extends Nat
final abstract class Digit9[N1 <: Base, N2 <: Base, N3 <: Base, N4 <: Base, N5 <: Base, N6 <: Base, N7 <: Base, N8 <: Base, N9 <: Base]() extends Nat
final abstract class _0 extends Base
final abstract class _1 extends Base
final abstract class _2 extends Base
final abstract class _3 extends Base
final abstract class _4 extends Base
final abstract class _5 extends Base
final abstract class _6 extends Base
final abstract class _7 extends Base
final abstract class _8 extends Base
final abstract class _9 extends Base