Atoms

dotty.tools.dotc.core.Atoms
enum Atoms

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

Attributes

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.

Graph
Supertypes
trait Enum
trait Product
trait Equals
class Object
trait Matchable
class Any
Keywords
  • no keywords
  • case
  • final

Members list

Concise view

Type members

Enum entries

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