scala3-compiler-bootstrapped
API
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/IntersectionType

IntersectionType

dotty.tools.dotc.semanticdb.IntersectionType$
See theIntersectionType companion class
object IntersectionType extends SemanticdbGeneratedMessageCompanion[IntersectionType]

Attributes

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

Members list

Type members

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
type ValueType = A

Attributes

Inherited from:
SemanticdbGeneratedMessageCompanion

Value members

Concrete methods

def of(types: Seq[Type]): IntersectionType
def parseFrom(`_input__`: SemanticdbInputStream): IntersectionType

Parses a message from a CodedInputStream.

Parses a message from a CodedInputStream.

Attributes

Inherited methods

def merge(a: IntersectionType, input: SemanticdbInputStream): A

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]): A

Attributes

Inherited from:
SemanticdbGeneratedMessageCompanion

Concrete fields

final val TYPES_FIELD_NUMBER: 1

Givens

Givens

Implicits

Implicits

implicit def messageCompanion: SemanticdbGeneratedMessageCompanion[IntersectionType]
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL