scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/Types/MatchTypeCaseSpec

MatchTypeCaseSpec

dotty.tools.dotc.core.Types.MatchTypeCaseSpec
See theMatchTypeCaseSpec companion object
enum MatchTypeCaseSpec

Attributes

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

Members list

Type members

Enum entries

final case class LegacyPatMat(origMatchCase: HKTypeLambda)
final case class MissingCaptures(origMatchCase: HKTypeLambda, missing: BitSet)
final case class SpeccedPatMat(origMatchCase: HKTypeLambda, captureCount: Int, pattern: MatchTypeCasePattern, body: Type)
final case class SubTypeTest(origMatchCase: Type, pattern: Type, body: Type)
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL