Object

sigmastate.lang

SrcCtxCallbackRewriter

Related Doc: package lang

Permalink

object SrcCtxCallbackRewriter extends CallbackRewriter

Linear Supertypes
CallbackRewriter, Rewriter, RewriterCore, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SrcCtxCallbackRewriter
  2. CallbackRewriter
  3. Rewriter
  4. RewriterCore
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def all(name: String, s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  5. macro def all(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  6. def allMap[CC[V, W] <: Map[V, W]](s: Strategy, t: CC[Any, Any])(implicit cbf: CanBuildFrom[CC[Any, Any], (Any, Any), CC[Any, Any]]): Option[CC[Any, Any]]

    Permalink
    Definition Classes
    RewriterCore
  7. def allProduct(s: Strategy, p: Product): Option[Any]

    Permalink
    Definition Classes
    RewriterCore
  8. def allRewritable(s: Strategy, r: Rewritable): Option[Any]

    Permalink
    Definition Classes
    RewriterCore
  9. def allTraversable[CC[U] <: Traversable[U]](s: Strategy, t: CC[Any])(implicit cbf: CanBuildFrom[CC[Any], Any, CC[Any]]): Option[CC[Any]]

    Permalink
    Definition Classes
    RewriterCore
  10. def allbu(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  11. macro def allbu(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  12. def alldownup2(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  13. macro def alldownup2(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  14. def alltd(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  15. macro def alltd(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  16. def alltdfold(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  17. macro def alltdfold(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  18. def and(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  19. macro def and(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  20. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  21. def attempt(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  22. macro def attempt(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  23. def bottomup(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  24. macro def bottomup(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  25. def bottomupS(name: String, s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  26. macro def bottomupS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  27. def breadthfirst(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  28. macro def breadthfirst(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  29. def build(name: String, t: ⇒ Any): Strategy

    Permalink
    Definition Classes
    RewriterCore
  30. macro def build(t: Any): Strategy

    Permalink
    Definition Classes
    RewriterCore
  31. def child(name: String, i: Int, s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  32. macro def child(i: Int, s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  33. def childProduct(s: Strategy, i: Int, p: Product): Option[Any]

    Permalink
    Definition Classes
    RewriterCore
  34. def childSeq[CC[U] <: Seq[U]](s: Strategy, i: Int, t: CC[Any])(implicit cbf: CanBuildFrom[CC[Any], Any, CC[Any]]): Option[CC[Any]]

    Permalink
    Definition Classes
    RewriterCore
  35. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. macro def collect[CC[X] <: Traversable[X], U](f: ==>[Any, U])(implicit cbf: CanBuildFrom[CC[Any], U, CC[U]]): (Any) ⇒ CC[U]

    Permalink
    Definition Classes
    RewriterCore
  37. def collectWithName[CC[X] <: Traversable[X], U](name: String, f: ==>[Any, U])(implicit cbf: CanBuildFrom[CC[Any], U, CC[U]]): (Any) ⇒ CC[U]

    Permalink
    Definition Classes
    Rewriter
  38. macro def collectall[CC[X] <: Traversable[X], U](f: ==>[Any, CC[U]])(implicit cbf: CanBuildFrom[CC[Any], U, CC[U]]): (Any) ⇒ CC[U]

    Permalink
    Definition Classes
    RewriterCore
  39. def collectallWithName[CC[X] <: Traversable[X], U](name: String, f: ==>[Any, CC[U]])(implicit cbf: CanBuildFrom[CC[Any], U, CC[U]]): (Any) ⇒ CC[U]

    Permalink
    Definition Classes
    Rewriter
  40. def collectl[U](f: ==>[Any, U]): (Any) ⇒ List[U]

    Permalink
    Definition Classes
    Rewriter
  41. def collects[U](f: ==>[Any, U]): (Any) ⇒ Set[U]

    Permalink
    Definition Classes
    Rewriter
  42. def congruence(name: String, ss: Strategy*): Strategy

    Permalink
    Definition Classes
    RewriterCore
  43. macro def congruence(ss: Strategy*): Strategy

    Permalink
    Definition Classes
    RewriterCore
  44. def congruenceProduct(p: Product, ss: Strategy*): Option[Any]

    Permalink
    Definition Classes
    RewriterCore
  45. def copy[T <: Product](t: T): T

    Permalink
    Definition Classes
    RewriterCore
  46. def count(name: String, f: ==>[Any, Int]): (Any) ⇒ Int

    Permalink
    Definition Classes
    Rewriter
  47. macro def count(f: ==>[Any, Int]): (Any) ⇒ Int

    Permalink
    Definition Classes
    RewriterCore
  48. def debug(name: String, msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore
  49. macro def debug(msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore
  50. def dispatch(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    CallbackRewriter
  51. def doloop(name: String, s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  52. macro def doloop(s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  53. def dontstop(s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  54. def downup(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  55. def downup(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  56. macro def downup(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  57. macro def downup(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  58. def downupS(name: String, s1: Strategy, s2: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  59. def downupS(name: String, s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  60. macro def downupS(s1: Strategy, s2: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  61. macro def downupS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  62. def dup[T <: Product](t: T, children: Array[AnyRef]): T

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore
  63. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  64. val eq: Strategy

    Permalink
    Definition Classes
    Rewriter
  65. val equal: Strategy

    Permalink
    Definition Classes
    Rewriter
  66. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  67. def everything[T](name: String, v: T)(f: (T, T) ⇒ T)(g: ==>[Any, T])(t: Any): T

    Permalink
    Definition Classes
    Rewriter
  68. macro def everything[T](v: T)(f: (T, T) ⇒ T)(g: ==>[Any, T])(t: Any): T

    Permalink
    Definition Classes
    RewriterCore
  69. def everywhere(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  70. macro def everywhere(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  71. def everywherebu(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  72. macro def everywherebu(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  73. def everywheretd(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  74. macro def everywheretd(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  75. val fail: Strategy

    Permalink
    Definition Classes
    RewriterCore
  76. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  77. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  78. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  79. val id: Strategy

    Permalink
    Definition Classes
    RewriterCore
  80. def innermost(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  81. macro def innermost(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  82. def innermost2(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  83. macro def innermost2(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  84. def ior(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  85. macro def ior(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  86. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  87. val isinnernode: Strategy

    Permalink
    Definition Classes
    Rewriter
  88. val isleaf: Strategy

    Permalink
    Definition Classes
    Rewriter
  89. val ispropersubterm: Strategy

    Permalink
    Definition Classes
    Rewriter
  90. val ispropersuperterm: Strategy

    Permalink
    Definition Classes
    Rewriter
  91. val issubterm: Strategy

    Permalink
    Definition Classes
    Rewriter
  92. val issuperterm: Strategy

    Permalink
    Definition Classes
    Rewriter
  93. def lastly(name: String, s: Strategy, f: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  94. macro def lastly(s: Strategy, f: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  95. def leaves(name: String, s: Strategy, isleaf: Strategy, skip: (Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  96. def leaves(name: String, s: Strategy, isleaf: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  97. macro def leaves(s: Strategy, isleaf: Strategy, skip: (Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  98. macro def leaves(s: Strategy, isleaf: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  99. def log(name: String, s: ⇒ Strategy, msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore
  100. macro def log(s: Strategy, msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore
  101. def logfail[T](name: String, s: ⇒ Strategy, msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore
  102. macro def logfail[T](s: Strategy, msg: String, emitter: Emitter): Strategy

    Permalink
    Definition Classes
    RewriterCore
  103. def loop(name: String, c: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  104. macro def loop(r: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  105. def loopiter(name: String, s: (Int) ⇒ Strategy, low: Int, high: Int): Strategy

    Permalink
    Definition Classes
    Rewriter
  106. def loopiter(name: String, i: Strategy, r: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  107. macro def loopiter(s: (Int) ⇒ Strategy, low: Int, high: Int): Strategy

    Permalink
    Definition Classes
    RewriterCore
  108. macro def loopiter(i: Strategy, r: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  109. def loopnot(name: String, r: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  110. macro def loopnot(r: Strategy, s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  111. def makechild(c: Any): AnyRef

    Permalink
    Attributes
    protected
    Definition Classes
    RewriterCore
  112. def manybu(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  113. macro def manybu(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  114. def manytd(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  115. macro def manytd(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  116. def map(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  117. macro def map(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  118. def memo(name: String, s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  119. macro def memo(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  120. def mkStrategy(name: String, f: (Any) ⇒ Option[Any]): Strategy

    Permalink
    Definition Classes
    RewriterCore
  121. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  122. def not(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  123. macro def not(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  124. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  125. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  126. def oncebu(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  127. macro def oncebu(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  128. def oncetd(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  129. macro def oncetd(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  130. def one(name: String, s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  131. macro def one(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  132. def oneMap[CC[V, W] <: Map[V, W]](s: Strategy, t: CC[Any, Any])(implicit cbf: CanBuildFrom[CC[Any, Any], (Any, Any), CC[Any, Any]]): Option[CC[Any, Any]]

    Permalink
    Definition Classes
    RewriterCore
  133. def oneProduct(s: Strategy, p: Product): Option[Any]

    Permalink
    Definition Classes
    RewriterCore
  134. def oneRewritable(s: Strategy, r: Rewritable): Option[Any]

    Permalink
    Definition Classes
    RewriterCore
  135. def oneTraversable[CC[U] <: Traversable[U]](s: Strategy, t: CC[Any])(implicit cbf: CanBuildFrom[CC[Any], Any, CC[Any]]): Option[CC[Any]]

    Permalink
    Definition Classes
    RewriterCore
  136. def option(name: String, o: ⇒ Option[Any]): Strategy

    Permalink
    Definition Classes
    RewriterCore
  137. macro def option(o: Option[Any]): Strategy

    Permalink
    Definition Classes
    RewriterCore
  138. def or(name: String, s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  139. macro def or(s1: Strategy, s2: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  140. def outermost(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  141. macro def outermost(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  142. def para[T](f: (Any, Seq[T]) ⇒ T): (Any) ⇒ T

    Permalink
    Definition Classes
    RewriterCore
  143. macro def query[T](f: ==>[T, Unit]): Strategy

    Permalink
    Definition Classes
    RewriterCore
  144. def queryWithName[T](name: String, f: ==>[T, Unit]): Strategy

    Permalink
    Definition Classes
    RewriterCore
  145. def queryf(name: String, f: (Any) ⇒ Unit): Strategy

    Permalink
    Definition Classes
    RewriterCore
  146. macro def queryf(f: (Any) ⇒ Unit): Strategy

    Permalink
    Definition Classes
    RewriterCore
  147. def reduce(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  148. macro def reduce(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  149. def repeat(name: String, s: Strategy, n: Int): Strategy

    Permalink
    Definition Classes
    Rewriter
  150. def repeat(name: String, s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  151. def repeat(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  152. macro def repeat(s: Strategy, n: Int): Strategy

    Permalink
    Definition Classes
    RewriterCore
  153. macro def repeat(s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  154. macro def repeat(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  155. def repeat1(name: String, s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  156. def repeat1(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  157. macro def repeat1(s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  158. macro def repeat1(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  159. def repeatuntil(name: String, s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  160. macro def repeatuntil(s: Strategy, r: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  161. def restore(name: String, s: Strategy, rest: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  162. macro def restore(s: Strategy, rest: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  163. def restorealways(name: String, s: Strategy, rest: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  164. macro def restorealways(s: Strategy, rest: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  165. def rewrite[T](s: Strategy)(t: T): T

    Permalink
    Definition Classes
    Rewriter
  166. def rewriteTree[T <: Product, U <: T](s: Strategy)(t: Tree[T, U], shape: TreeShape): Tree[T, U]

    Permalink
    Definition Classes
    Rewriter
  167. def rewriting[T](oldTerm: T, newTerm: T): T

    Permalink
    Definition Classes
    SrcCtxCallbackRewriter → CallbackRewriter
  168. macro def rule[T](f: ==>[T, T]): Strategy

    Permalink
    Definition Classes
    RewriterCore
  169. def ruleWithName[T](n: String, f: ==>[T, T]): Strategy

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore
  170. def rulef(n: String, f: (Any) ⇒ Any): Strategy

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore
  171. macro def rulef(f: (Any) ⇒ Any): Strategy

    Permalink
    Definition Classes
    RewriterCore
  172. macro def rulefs[T](f: ==>[T, Strategy]): Strategy

    Permalink
    Definition Classes
    RewriterCore
  173. def rulefsWithName[T](n: String, f: ==>[T, Strategy]): Strategy

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore
  174. def some(name: String, s: ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  175. macro def some(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  176. def someMap[CC[V, W] <: Map[V, W]](s: Strategy, t: CC[Any, Any])(implicit cbf: CanBuildFrom[CC[Any, Any], (Any, Any), CC[Any, Any]]): Option[CC[Any, Any]]

    Permalink
    Definition Classes
    RewriterCore
  177. def someProduct(s: Strategy, p: Product): Option[Any]

    Permalink
    Definition Classes
    RewriterCore
  178. def someRewritable(s: Strategy, r: Rewritable): Option[Any]

    Permalink
    Definition Classes
    RewriterCore
  179. def someTraversable[CC[U] <: Traversable[U]](s: Strategy, t: CC[Any])(implicit cbf: CanBuildFrom[CC[Any], Any, CC[Any]]): Option[CC[Any]]

    Permalink
    Definition Classes
    RewriterCore
  180. def somebu(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  181. macro def somebu(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  182. def somedownup(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  183. macro def somedownup(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  184. def sometd(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  185. macro def sometd(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  186. macro def strategy[T](f: ==>[T, Option[T]]): Strategy

    Permalink
    Definition Classes
    RewriterCore
  187. def strategyWithName[T](n: String, f: ==>[T, Option[T]]): Strategy

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore
  188. def strategyf(n: String, f: (Any) ⇒ Option[Any]): Strategy

    Permalink
    Definition Classes
    CallbackRewriter → RewriterCore
  189. macro def strategyf(f: (Any) ⇒ Option[Any]): Strategy

    Permalink
    Definition Classes
    RewriterCore
  190. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  191. macro def term[T](t: T): Strategy

    Permalink
    Definition Classes
    RewriterCore
  192. def termWithName[T](name: String, t: T): Strategy

    Permalink
    Definition Classes
    RewriterCore
  193. def test(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  194. macro def test(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  195. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  196. def topdown(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  197. macro def topdown(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  198. def topdownS(name: String, s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  199. macro def topdownS(s: Strategy, stop: (⇒ Strategy) ⇒ Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore
  200. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  201. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  202. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  203. def where(name: String, s: Strategy): Strategy

    Permalink
    Definition Classes
    Rewriter
  204. macro def where(s: Strategy): Strategy

    Permalink
    Definition Classes
    RewriterCore

Inherited from CallbackRewriter

Inherited from Rewriter

Inherited from RewriterCore

Inherited from AnyRef

Inherited from Any

Ungrouped