scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.transform/dotty.tools.dotc.transform.patmat/Space

Space

dotty.tools.dotc.transform.patmat.Space
sealed trait Space

space definition

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Empty
class Or
class Prod
class Typ

Members list

Value members

Concrete methods

def isSubspace(b: Space)(using Context): Boolean
def simplify(using Context): Space
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL