Dotty Documentation

0.5.0-bin-SNAPSHOT

package dotty.tools.dotc.transform.patmat

[-] Constructors

[-] Members

[+] object Empty

Empty space

[+] case class Or

Union of spaces

[+] object Or

Union of spaces

[+] case class Prod

Space representing an extractor pattern

[+] object Prod

Space representing an extractor pattern

[+] sealed trait Space

space definition

[+] class SpaceEngine

Scala implementation of space logic

[+] object SpaceEngine
[+] trait SpaceLogic

abstract space logic

[+] case class Typ

Space representing the set of all values of a type

[+] object Typ

Space representing the set of all values of a type