Reflect on singleton types

reflect.scala

package test

// prints:
//
// test.Main.C prefix value: test.Main$@54a097cc
// test.Main.o.D prefix value: Outer(o)
object Main {
  val universe = scala.reflect.runtime.universe
  val mirror = universe.runtimeMirror(getClass.getClassLoader)
  import universe._

  case class C(x: Int)
  case class Outer(name: String) {
    case class D(x: Int)
  }
  val o = Outer("o")

  def main(args: Array[String]): Unit = {
    printInfo(typeOf[C])
    printInfo(typeOf[o.D])
  }

  def printInfo(t: Type) {
    t match {
      case TypeRef(pre, sym, args) =>
        println(s"$t prefix value: ${singleValue(pre)}")
    }
  }

  def singleValue(t: Type): Any = t match {
    case ThisType(sym) =>
      mirror.reflectModule(sym.companionSymbol.asModule).instance

    case SingleType(pre, x) =>
      val v = singleValue(pre)
      val m = pre.member(x.name).asTerm
      mirror.reflect(v).reflectField(m).get
  }
}