Dotty Documentation

0.1.1-bin-SNAPSHOT

package dotty.tools.dotc.transform.patmat

[-] Constructors

[-] Members

[+] object Empty

Empty space

[+] case class Fun

Space representing an extractor pattern

[+] object Fun

Space representing an extractor pattern

[+] case class Kon

Space representing a constructor pattern

[+] object Kon

Space representing a constructor pattern

[+] case class Or

Union of spaces

[+] object Or

Union of spaces

[+] 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