object Typecheck

This macro checks if some code can be parsed and typechecks ok

Credits:

  • Stefan Zeiger (@StefanZeiger) for the typecheck method
  • Jean-Remi Desjardins (@jrdesjardins) for the tc interpolator
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Typecheck
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. implicit final class typecheckQuote extends AnyVal

    Typecheck code and fail at runtime if the code doesn't typecheck If the code doesn't parse there will be a compile-time error

    Typecheck code and fail at runtime if the code doesn't typecheck If the code doesn't parse there will be a compile-time error

    returns

    the parsed/typechecked code if it is ok or a Typechecked object otherwise

  2. implicit final class typecheckWithQuote extends AnyVal

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. macro def apply(params: TypecheckParams)(code: String): Typechecked
  5. macro def apply(code: String): Typechecked

    Typecheck code and fail at runtime if the code doesn't typecheck If the code doesn't parse there will be a compile-time error

  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  11. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. val implicitsAtCompileTime: TypecheckParams
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. val macrosAtCompileTime: TypecheckParams
  16. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. val parsingAtRuntime: TypecheckParams
  20. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  21. def toString(): String
    Definition Classes
    AnyRef → Any
  22. macro def typecheck(code: String): Typechecked

    alias for apply

  23. def typecheckCodeImpl(c: Context)(variables: scala.reflect.macros.whitebox.Context.Expr[Any]*): scala.reflect.macros.whitebox.Context.Tree
  24. def typecheckCodeImplementation(c: Context)(variables: scala.reflect.macros.whitebox.Context.Expr[Any]*)(params: scala.reflect.macros.whitebox.Context.Expr[TypecheckParams]): scala.reflect.macros.whitebox.Context.Tree
  25. def typecheckExceptImpl(c: Context)(params: scala.reflect.macros.whitebox.Context.Expr[TypecheckParams])(code: scala.reflect.macros.whitebox.Context.Expr[String]): scala.reflect.macros.whitebox.Context.Tree
  26. def typecheckImpl(c: Context)(code: scala.reflect.macros.whitebox.Context.Expr[String]): scala.reflect.macros.whitebox.Context.Tree
  27. def typecheckImplementation(c: Context)(code: scala.reflect.macros.whitebox.Context.Expr[String], params: scala.reflect.macros.whitebox.Context.Expr[TypecheckParams]): scala.reflect.macros.whitebox.Context.Tree
  28. macro def typecheckWith(params: TypecheckParams)(code: String): Typechecked
  29. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from AnyRef

Inherited from Any

Ungrouped