scala3-compiler-bootstrapped/dotty.tools.dotc.transform.patmat

dotty.tools.dotc.transform.patmat

package dotty.tools.dotc.transform.patmat

Type members

Classlikes

case object Empty extends Space

Empty space

Empty space

case class Or(spaces: Seq[Space]) extends Space

Union of spaces

Union of spaces

case class Prod(tp: Type, unappTp: TermRef, params: List[Space]) extends Space

Space representing an extractor pattern

Space representing an extractor pattern

sealed trait Space

space definition

space definition

object SpaceEngine
Companion
class
class SpaceEngine(using `x$1`: Context) extends SpaceLogic

Scala implementation of space logic

Scala implementation of space logic

Companion
object
trait SpaceLogic

abstract space logic

abstract space logic

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 Params
decomposed:

does the space result from decomposition? Used for pretty print

tp:

the type this space represents