scala-macros

5зной

2ответ

Что является лучшим способом для восстановления согласованности типа после преобразования дерева с макросами

У меня есть следующий макрос: def testMacro[T](x: T): Option[T] = macro testMacroImpl[T] def testMacroImpl[T: c.WeakTypeTag](c: Context)(x: c.Expr[T]): c.Expr[Option[T]] = { import c.universe._

scala types metaprogramming scala-macros 2014-12-22

---

1зной

1ответ

Компилятор сбой в простом макросе манипулируя матч заявление

def control(x: String): Option[String] = macro controlImpl def controlImpl(c: Context)(x: c.Expr[String]): c.Expr[Option[String]] = { import c.universe._ val result = x.tree match { c

scala pattern-matching scala-macros 2015-01-10

---

6зной

1ответ

Есть ли какой-либо трюк для использования макросов в том же файле, который они определены?

У меня есть следующий код: object Macros { import scala.language.experimental.macros import scala.reflect.macros.blackbox def hello(): Unit = macro hello_impl def hello_impl(c:

scala scala-macros scala-2.11 2015-01-13

---

0зной

1ответ

Получение WeakTypeTag для заданного типа в аннотации макроса Scala

Я пишу аннотацию макроса Scala @model, используемую для аннотирования классов case и которая автоматически добавляет некоторые метаданные к сопутствующему объекту аннотированного класса на основе поле

scala reflection macros scala-macros 2015-01-15

---

6зной

2ответ

Типы и литералы на основе ограничений Scala

Я думал, можно ли в Scala определить тип, например NegativeNumber. Этот тип будет представлять собой отрицательное число, и это будет проверено компилятором аналогично Ints, струнные и т.д. val x: Neg

scala types constraints scala-macros 2014-12-03

---

1зной

1ответ

Scala macro для создания указателей полей и методов

Я хотел бы создать макрос Scala &, который в случае поля вернет пару геттер/сеттер, а в случае метода - частично применимую функцию. Что-то вроде следующего: trait ValRef[T] { def get(): T } t

scala scala-macros 2014-12-06

---