Object

io.github.karols.units.internal

Integers

Related Doc: package internal

Permalink

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
Visibility
  1. Public
  2. All

Type Members

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  9. type N1 = Dec[_0]

    Permalink

  10. type N2 = Dec[N1]

    Permalink

  11. type N3 = Dec[N2]

    Permalink

  12. type N4 = Dec[N3]

    Permalink

  13. type N5 = Dec[N4]

    Permalink

  14. type N6 = Dec[N5]

    Permalink

  15. type N7 = Dec[N6]

    Permalink

  16. type N8 = Dec[N7]

    Permalink

  17. type N9 = Dec[N8]

    Permalink

  18. sealed trait NegZ extends TInteger

    Permalink

  19. type P1 = Inc[_0]

    Permalink

  20. type P10 = Inc[P9]

    Permalink

  21. type P11 = Inc[P10]

    Permalink

  22. type P12 = Inc[P11]

    Permalink

  23. type P13 = Inc[P12]

    Permalink

  24. type P14 = Inc[P13]

    Permalink

  25. type P15 = Inc[P14]

    Permalink

  26. type P2 = Inc[P1]

    Permalink

  27. type P3 = Inc[P2]

    Permalink

  28. type P4 = Inc[P3]

    Permalink

  29. type P5 = Inc[P4]

    Permalink

  30. type P6 = Inc[P5]

    Permalink

  31. type P7 = Inc[P6]

    Permalink

  32. type P8 = Inc[P7]

    Permalink

  33. type P9 = Inc[P8]

    Permalink

  34. sealed trait PosZ extends TInteger

    Permalink

  35. sealed trait TInteger extends AnyRef

    Permalink

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

    Permalink

  37. sealed trait _0 extends TInteger with NegZ with PosZ

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  7. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  8. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  10. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  11. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  13. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  14. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  15. implicit val print0: ToInt[_0]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  20. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  21. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped