Atoms

enum Atoms

Indicates the singleton types that a type must or may consist of.

Value parameters:
hi

The upper bound: all singleton types in the carrier type are guaranteed to be in this set If the underlying type of a singleton type is another singleton type, only the latter type ends up in the sets.

lo

The lower bound: singleton types in this set are guaranteed to be in the carrier type.

trait Enum
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Enum entries

case Range(lo: Set[Type], hi: Set[Type])
case Unknown extends Atoms