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

dotty.tools.dotc.transform.patmat

package dotty.tools.dotc.transform.patmat

Members list

Type members

Classlikes

case object Empty extends Space

Empty space

Empty space

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Space
class Object
trait Matchable
class Any
Show all
Self type
Empty.type
case class Or(spaces: Seq[Space]) extends Space

Union of spaces

Union of spaces

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Space
class Object
trait Matchable
class Any
Show all
case class Prod(tp: Type, unappTp: TermRef, params: List[Space]) extends Space

Space representing an extractor pattern

Space representing an extractor pattern

Attributes

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

space definition

space definition

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Empty
class Or
class Prod
class Typ
object SpaceEngine

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
case class Typ(tp: Type, decomposed: Boolean) extends Space

Space representing the set of all values of a type

Space representing the set of all values of a type

Value parameters

decomposed:

does the space result from decomposition? Used for pretty print

tp:

the type this space represents

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Space
class Object
trait Matchable
class Any
Show all
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL