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.transform/dotty.tools.dotc.transform.patmat/Prod

Prod

dotty.tools.dotc.transform.patmat.Prod
case class Prod(tp: Type, unappTp: TermRef, params: List[Space]) extends Space

Space representing an extractor pattern

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Space
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def isSubspace(b: Space)(using Context): Boolean

Attributes

Inherited from:
Space
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def simplify(using Context): Space

Attributes

Inherited from:
Space
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL