Compiler

class Compiler[F[_], Expr, Tag, Pat, Out](implicit F: MonadError[F, Throwable], D: Defer[F], Tag: IsTag[Tag], Pat: IsPattern[Pat, Expr, Tag])

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

Source:
Compiler.scala
class Object
trait Matchable
class Any

Value members

Concrete methods

def compile(cases: List[(Pat, Out)]): F[DecisionTree[Expr, Tag, Out]]