Type Members

1.  class Compiler[F[_], Expr, Tag, Pat, Out] extends AnyRef

   A pattern matching compiler to decision tree, based on _Compiling Successor ML Pattern Guards_ by J.

   A pattern matching compiler to decision tree, based on _Compiling Successor ML Pattern Guards_ by J. Reppy and M. Zahir

2.  case class ConstructorTree[Tag](tag: Tag, args: List[ConstructorTree[Tag]]) extends Product with Serializable
3.  sealed trait DecisionTree[Expr, Tag, Out] extends AnyRef
4.  trait Evaluator[Expr, Tag] extends AnyRef
5.  trait IsPattern[Pat, Expr, Tag] extends AnyRef

   A type class that describes how the pattern type Pat can be decomposed into Skeletons.

   A type class that describes how the pattern type Pat can be decomposed into Skeletons.

   Skeletons represent or patterns, and are matched left to right.

6.  trait IsTag[Tag] extends Eq[Tag]
7.  sealed trait NoGuard extends AnyRef

   A sealed trait with no implementation so that it has no inhabitant.

   A sealed trait with no implementation so that it has no inhabitant. To be used when a pattern language has no guards.

8.  class PatternException extends Exception
9.  sealed trait RawSkeleton[Expr, Tag] extends AnyRef
10.  trait Selectable[Expr, Tag] extends AnyRef

    Describes the structure of an expression in term of constructor trees that can be selected.

11.  sealed trait Selector[Expr, Tag] extends AnyRef

    A Selector represents the part of the matched input that is under scrutinee during the pattern match.

12.  sealed trait Skeleton[Expr, Tag] extends AnyRef