scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.semanticdb/TypeMessage/SealedValue

SealedValue

dotty.tools.dotc.semanticdb.TypeMessage.SealedValue
See theSealedValue companion trait
object SealedValue

Attributes

Companion
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

final case class AnnotatedType(value: AnnotatedType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class ByNameType(value: ByNameType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class ConstantType(value: ConstantType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case object Empty extends SealedValue

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
Empty.type
final case class ExistentialType(value: ExistentialType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class IntersectionType(value: IntersectionType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class LambdaType(value: LambdaType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class MatchType(value: MatchType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class RepeatedType(value: RepeatedType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class SingleType(value: SingleType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class StructuralType(value: StructuralType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class SuperType(value: SuperType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class ThisType(value: ThisType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class TypeRef(value: TypeRef) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class UnionType(value: UnionType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class UniversalType(value: UniversalType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class WithType(value: WithType) extends SealedValue

Attributes

Supertypes
trait SealedValue
trait SemanticdbGeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Givens

Givens

Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL