Type Members

1.  abstract class StdPhase extends GlobalPhase

   A standard phase template

   A standard phase template

   Definition Classes

   SubComponent

2.  class Phase extends StdPhase

   The phase defined by this transform

   The phase defined by this transform

   Definition Classes

   Transform

3.  abstract class TypingTransformer extends Global.Transformer

   Definition Classes

   TypingTransformers

4.  trait MatchMonadInterface extends AnyRef

   Interface with user-defined match monad? if there's a __match in scope, we use this as the match strategy, assuming it conforms to MatchStrategy as defined below:

   Interface with user-defined match monad? if there's a __match in scope, we use this as the match strategy, assuming it conforms to MatchStrategy as defined below:

   type Matcher[P[_], M[+_], A] = {
     def flatMap[B](f: P[A] => M[B]): M[B]
     def orElse[B >: A](alternative: => M[B]): M[B]
   }
   
   abstract class MatchStrategy[P[_], M[+_]] {
     // runs the matcher on the given input
     def runOrElse[T, U](in: P[T])(matcher: P[T] => M[U]): P[U]
   
     def zero: M[Nothing]
     def one[T](x: P[T]): M[T]
     def guard[T](cond: P[Boolean], then: => P[T]): M[T]
   }

   P and M are derived from one's signature (def one[T](x: P[T]): M[T])

   if no __match is found, we assume the following implementation (and generate optimized code accordingly)

   object __match extends MatchStrategy[({type Id[x] = x})#Id, Option] {
     def zero = None
     def one[T](x: T) = Some(x)
     // NOTE: guard's return type must be of the shape M[T], where M is the monad in which the pattern match should be interpreted
     def guard[T](cond: Boolean, then: => T): Option[T] = if(cond) Some(then) else None
     def runOrElse[T, U](x: T)(f: T => Option[U]): U = f(x) getOrElse (throw new MatchError(x))
   }

   Definition Classes

   Interface

5.  trait TypedSubstitution extends MatchMonadInterface

   Definition Classes

   Interface

6.  trait PropositionalLogic extends AnyRef

   Definition Classes

   Logic

7.  trait MatchAnalyzer extends MatchApproximator

   Definition Classes

   MatchAnalysis

8.  trait MatchApproximator extends TreeMakers with TreesAndTypesDomain

   Represent a match as a formula in propositional logic that encodes whether the match matches (abstractly: we only consider types)

   Represent a match as a formula in propositional logic that encodes whether the match matches (abstractly: we only consider types)

   Definition Classes

   MatchApproximation

9.  trait CodegenCore extends MatchMonadInterface

   Definition Classes

   MatchCodeGen

10.  trait OptimizedCodegen extends CodegenCore with TypedSubstitution with MatchMonadInterface

    Definition Classes

    MatchCodeGen

11.  trait CommonSubconditionElimination extends OptimizedCodegen with MatchApproximator

    Definition Classes

    MatchOptimization

12.  trait MatchOptimizer extends OptimizedCodegen with SwitchEmission with CommonSubconditionElimination

    Definition Classes

    MatchOptimization

13.  trait SwitchEmission extends TreeMakers with MatchMonadInterface

    Definition Classes

    MatchOptimization

14.  trait MatchTranslator extends PatternMatching.TreeMakers with PatternMatching.TreeMakerWarnings

    Definition Classes

    MatchTranslation

15.  final case class Suppression(suppressExhaustive: Boolean, suppressUnreachable: Boolean) extends Product with Serializable

    Definition Classes

    MatchTreeMaking

16.  trait TreeMakers extends TypedSubstitution with CodegenCore

    Definition Classes

    MatchTreeMaking

17.  trait TreeMakerWarnings extends AnyRef

    Definition Classes

    MatchWarnings

18.  class ExtractorAlignment extends ExtractorSubPatternAlignment

    Definition Classes

    PatternExpansion

19.  trait ExtractorSubPatternAlignment extends AnyRef

    The arities we can derive looking only at the subpatterns (the args of the unapply node)

    The arities we can derive looking only at the subpatterns (the args of the unapply node)

    Definition Classes

    PatternExpansion

20.  class MatchTransformer extends TypingTransformer
21.  class OptimizingMatchTranslator extends MatchTranslator with MatchOptimizer with MatchAnalyzer with Solver
22.  trait TreesAndTypesDomain extends PropositionalLogic with CheckableTreeAndTypeAnalysis

    Definition Classes

    ScalaLogic

23.  trait CNF extends PropositionalLogic

    Definition Classes

    Solving

24.  trait Solver extends CNF

    Definition Classes

    Solving

25.  trait CheckableTreeAndTypeAnalysis extends AnyRef

    Definition Classes

    TreeAndTypeAnalysis