Finite

final case class Finite(value: Int) extends UpperBound with Product with Serializable

Represents a finite upper bound. The maximum allowed value is 'value', inclusive. It must positive.

Linear Supertypes
Serializable, Serializable, Product, Equals, UpperBound, AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. Hide All
2. Show all
1. Finite
2. Serializable
3. Serializable
4. Product
5. Equals
6. UpperBound
7. AnyRef
8. Any
Visibility
1. Public
2. All

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. def >=(min: Int): Boolean

True if and only if the given value meets this bound.

True if and only if the given value meets this bound.

Definition Classes
FiniteUpperBound
7. final def asInstanceOf[T0]: T0

Definition Classes
Any
8. def canEqual(arg0: Any): Boolean

Definition Classes
Finite → Equals
9. def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
10. def decrement: Finite

If this bound is zero or Infinite, `decrement` returns this bound.

If this bound is zero or Infinite, `decrement` returns this bound. Otherwise, this bound is finite and greater than zero and `decrement` returns the bound that is one less than this bound.

Definition Classes
FiniteUpperBound
11. final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
12. def equals(arg0: Any): Boolean

Definition Classes
Finite → Equals → AnyRef → Any
13. def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
14. final def getClass(): java.lang.Class[_]

Definition Classes
AnyRef → Any
15. def hashCode(): Int

Definition Classes
Finite → AnyRef → Any
16. def isInfinite: Boolean

True if and only if this is unbounded.

True if and only if this is unbounded.

Definition Classes
FiniteUpperBound
17. final def isInstanceOf[T0]: Boolean

Definition Classes
Any
18. def isOne: Boolean

True if and only if this bound is one.

True if and only if this bound is one.

Definition Classes
FiniteUpperBound
19. def isZero: Boolean

True if and only if this bound is zero.

True if and only if this bound is zero.

Definition Classes
FiniteUpperBound
20. final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
21. final def notify(): Unit

Definition Classes
AnyRef
22. final def notifyAll(): Unit

Definition Classes
AnyRef
23. def productArity: Int

Definition Classes
Finite → Product
24. def productElement(arg0: Int): Any

Definition Classes
Finite → Product
25. def productIterator: Iterator[Any]

Definition Classes
Product
26. def productPrefix: String

Definition Classes
Finite → Product
27. final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
28. def toString(): String

Definition Classes
Finite → AnyRef → Any

30. final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws()
31. final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws()
32. final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws()

Deprecated Value Members

1. def productElements: Iterator[Any]

Definition Classes
Product
Annotations
@deprecated
Deprecated

(Since version 2.8.0) use productIterator instead