Atoms

dotty.tools.dotc.core.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.

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

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