package dotty.tools.dotc.transform.patmat

Constructors

Members

final object Empty

Empty space

Empty space

case class Kon

Space representing a constructor pattern

Space representing a constructor pattern

final object Kon

Space representing a constructor pattern

Space representing a constructor pattern

case class Or

Union of spaces

Union of spaces

final object Or

Union of spaces

Union of spaces

sealed trait Space

space definition

space definition

class SpaceEngine

Scala implementation of space logic

Scala implementation of space logic

trait SpaceLogic

abstract space logic

abstract space logic

case class Typ

Space representing the set of all values of a type

Space representing the set of all values of a type

final object Typ

Space representing the set of all values of a type

Space representing the set of all values of a type