Value Members

1.  def erase[T](pred: PartialFunction[Any, Boolean], t: T)(implicit arg0: Eraser[T]): T

   Removes any instance matches by the predicate appearing in "t".

2.  def erase[T](pred: (Any) ⇒ Boolean, t: T)(implicit arg0: Eraser[T]): T

   Removes any instance matches by the predicate appearing in "t".

3.  def extract[T](pf: PatternFinder[Any], input: T)(implicit arg0: Extractor[T]): Seq[Pattern]

   Extracts all instances of a pattern in a given data type.

4.  def pattern[Out](pf: PartialFunction[Any, Seq[Out]]): Aux[Any, Out]

   Constructs a pattern finder from a partial functions.

   Constructs a pattern finder from a partial functions.

   usage:

   // build a pattern for extracting all strings starting with "A"
   pattern { case x: String if x.startsWith("A") => Seq(x) }

5.  def rewrite[FIn, FOut, In](f: (FIn) ⇒ FOut, d: In)(implicit func: Trans[FIn, FOut, In]): Result

   Transforms a data structure "d" using a function that is applied on all constituent of "d"

   Transforms a data structure "d" using a function that is applied on all constituent of "d"

   f

   Function to apply recursively on the data structure.

   d

   Data structure to transform.

   func

   implicit representation of the transformation at the type level.

6.  object eraser
7.  object extractor
8.  object transformations
9.  object witness