MatchType

dotty.tools.dotc.semanticdb.MatchType
See theMatchType companion class
object MatchType extends SemanticdbGeneratedMessageCompanion[MatchType]

Attributes

Companion
class
Graph
Supertypes
trait Product
trait Mirror
trait SemanticdbGeneratedMessageCompanion[MatchType]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
MatchType.type

Members list

Type members

Classlikes

final case class CaseType(key: Type, body: Type) extends SemanticdbGeneratedMessage

Attributes

Companion
object
Supertypes
trait SemanticdbGeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object CaseType extends SemanticdbGeneratedMessageCompanion[CaseType]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait SemanticdbGeneratedMessageCompanion[CaseType]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
CaseType.type

Inherited types

Attributes

Inherited from:
SemanticdbGeneratedMessageCompanion

Inherited and Abstract types

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def of(scrutinee: Type, cases: Seq[CaseType]): MatchType
def parseFrom(`_input__`: SemanticdbInputStream): MatchType

Parses a message from a CodedInputStream.

Parses a message from a CodedInputStream.

Attributes

Inherited methods

def merge(a: MatchType, input: SemanticdbInputStream): MatchType

Merges the given message with the additional fields in the steam.

Merges the given message with the additional fields in the steam.

Attributes

Inherited from:
SemanticdbGeneratedMessageCompanion
def parseFrom(input: Array[Byte]): MatchType

Attributes

Inherited from:
SemanticdbGeneratedMessageCompanion

Concrete fields

final val CASES_FIELD_NUMBER: 2
final val SCRUTINEE_FIELD_NUMBER: 1

Givens

Implicits

Implicits

implicit def messageCompanion: SemanticdbGeneratedMessageCompanion[MatchType]