patmat

Type Members

1. case class Const(value: Constant, tp: Type) extends Point with Product with Serializable

   

   Point representing literal constants in patterns

2. case class Kon(tp: Type, params: List[Space]) extends Space with Product with Serializable

   

   Space representing a constructor pattern

3. case class Or(spaces: List[Space]) extends Space with Product with Serializable

   

   Union of spaces

4. sealed trait Point extends Space

   

   Point in space

5. sealed trait Space extends AnyRef

   

   space definition

6. class SpaceEngine extends SpaceLogic

   

   Scala implementation of space logic

7. trait SpaceLogic extends AnyRef

   

   abstract space logic

8. case class Typ(tp: Type, decomposed: Boolean) extends Space with Product with Serializable

   

   Space representing the set of all values of a type

9. case class Var(sym: Symbol, tp: Type) extends Point with Product with Serializable

   

   Point representing variables(stable identifier) in patterns