dotty.tools.dotc.transform.patmat
Members list
Concise view
Type members
Classlikes
Union of spaces
Union of spaces
Attributes
- Graph
- Supertypes
Space representing an extractor pattern
Space representing an extractor pattern
Attributes
- Graph
- Supertypes
object SpaceEngine
Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- SpaceEngine.type
Scala implementation of space logic
trait SpaceLogic
abstract space logic
Space representing the set of all values of a type
Space representing the set of all values of a type
Attributes
- decomposed:
does the space result from decomposition? Used for pretty print
- tp:
the type this space represents
- Graph
- Supertypes