Nat

object Nat
Companion
class
class Object
trait Matchable
class Any

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