scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.semanticdb/MatchType/CaseType

CaseType

dotty.tools.dotc.semanticdb.MatchType.CaseType
See theCaseType companion object
final case class CaseType(key: Type = ..., body: Type = ...) extends SemanticdbGeneratedMessage

Attributes

Companion
object
Graph
Supertypes
trait SemanticdbGeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def serializedSize: Int

Attributes

Definition Classes
SemanticdbGeneratedMessage
def withBody(`__v`: Type): CaseType
def withKey(`__v`: Type): CaseType
def writeTo(`_output__`: SemanticdbOutputStream): Unit

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
final def toByteArray: Array[Byte]

Serializes the messgae and returns a byte array containing its raw bytes

Serializes the messgae and returns a byte array containing its raw bytes

Attributes

Inherited from:
SemanticdbGeneratedMessage
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL