io.github.karols.units.internal

Integers

object Integers

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Integers
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. type +[A <: TInteger, B <: TInteger] = Integers.+.A.Add[B]

  2. type -[A <: TInteger, B <: TInteger] = Integers.-.A.Sub[B]

  3. type ==[A <: TInteger, B <: TInteger] = Integers.==.A.Equal[B]

  4. sealed trait Dec[N <: TInteger] extends TInteger with NegZ

  5. sealed trait Inc[N <: TInteger] extends TInteger with PosZ

  6. type LambdaNatFalse[N <: TInteger] = False

  7. type LambdaNatNothing[N <: TInteger] = Nothing

  8. type LambdaNatTrue[N <: TInteger] = True

  9. type N1 = Dec[_0]

  10. type N2 = Dec[N1]

  11. type N3 = Dec[N2]

  12. type N4 = Dec[N3]

  13. type N5 = Dec[N4]

  14. type N6 = Dec[N5]

  15. type N7 = Dec[N6]

  16. type N8 = Dec[N7]

  17. type N9 = Dec[N8]

  18. sealed trait NegZ extends TInteger

  19. type P1 = Inc[_0]

  20. type P10 = Inc[P9]

  21. type P11 = Inc[P10]

  22. type P12 = Inc[P11]

  23. type P13 = Inc[P12]

  24. type P14 = Inc[P13]

  25. type P15 = Inc[P14]

  26. type P2 = Inc[P1]

  27. type P3 = Inc[P2]

  28. type P4 = Inc[P3]

  29. type P5 = Inc[P4]

  30. type P6 = Inc[P5]

  31. type P7 = Inc[P6]

  32. type P8 = Inc[P7]

  33. type P9 = Inc[P8]

  34. sealed trait PosZ extends TInteger

  35. sealed trait TInteger extends AnyRef

  36. final class ToInt[N <: TInteger] extends AnyVal

  37. sealed trait _0 extends TInteger with NegZ with PosZ

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  8. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  9. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  10. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  11. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  12. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  13. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  14. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  15. final def notify(): Unit

    Definition Classes
    AnyRef

  16. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  17. implicit val print0: ToInt[_0]

  18. implicit def printNeg[N <: NegZ](implicit toInt: ToInt[N]): ToInt[Dec[N]]

  19. implicit def printPos[N <: PosZ](implicit toInt: ToInt[N]): ToInt[Inc[N]]

  20. def printlnN[N <: TInteger]()(implicit toInt: ToInt[N]): Unit

  21. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  22. def toString(): String

    Definition Classes
    AnyRef → Any

  23. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  24. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  25. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped