patmat

Type Members

1. trait Debugging extends AnyRef

2. trait Interface extends TreeDSL

3. trait Logic extends Debugging

4. trait MatchAnalysis extends MatchApproximation

5. trait MatchApproximation extends TreeAndTypeAnalysis with ScalaLogic with MatchTreeMaking

6. trait MatchCodeGen extends Interface

   Factory methods used by TreeMakers to make the actual trees.

7. trait MatchOptimization extends MatchTreeMaking with MatchAnalysis

   Optimize and analyze matches based on their TreeMaker-representation.

8. trait MatchTranslation extends AnyRef

   Translate typed Trees that represent pattern matches into the patternmatching IR, defined by TreeMakers.

9. trait MatchTreeMaking extends MatchCodeGen with Debugging

   Translate our IR (TreeMakers) into actual Scala Trees using the factory methods in MatchCodeGen.

10. trait PatternMatching extends SubComponent with Transform with TypingTransformers with Debugging with Interface with MatchTranslation with MatchTreeMaking with MatchCodeGen with ScalaLogic with Solving with MatchAnalysis with MatchOptimization

    Translate pattern matching.

11. trait ScalaLogic extends Interface with Logic with TreeAndTypeAnalysis

12. trait Solving extends Logic

13. trait TreeAndTypeAnalysis extends Debugging