Marker wrapper meaning that any two distinct values of type Discrete[A]
should be treated as incomparable. As a consequence, a value of type
Discrete[A]
cannot be refined to obtain a different value. Therefore,
refinement is disallowed altogether by setting the Update
type to
an uninhabited type.
- See also:
- Companion:
- object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any