scala3-compiler-bootstrapped/dotty.tools.dotc.semanticdb/TypeMessage/SealedValue

SealedValue

object SealedValue
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class AnnotatedType(value: AnnotatedType) extends SealedValue
final case class ByNameType(value: ByNameType) extends SealedValue
final case class ConstantType(value: ConstantType) extends SealedValue
case object Empty extends SealedValue
final case class ExistentialType(value: ExistentialType) extends SealedValue
final case class IntersectionType(value: IntersectionType) extends SealedValue
final case class MatchType(value: MatchType) extends SealedValue
final case class RepeatedType(value: RepeatedType) extends SealedValue
final case class SingleType(value: SingleType) extends SealedValue
final case class StructuralType(value: StructuralType) extends SealedValue
final case class SuperType(value: SuperType) extends SealedValue
final case class ThisType(value: ThisType) extends SealedValue
final case class TypeRef(value: TypeRef) extends SealedValue
final case class UnionType(value: UnionType) extends SealedValue
final case class UniversalType(value: UniversalType) extends SealedValue
final case class WithType(value: WithType) extends SealedValue

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Givens

Givens