Class

japgolly.univeq.macros

UnivEqMacros

Related Doc: package macros

Permalink

final class UnivEqMacros extends MacroUtils

Linear Supertypes
MacroUtils, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. UnivEqMacros
  2. MacroUtils
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new UnivEqMacros(c: Context)

    Permalink

Type Members

  1. type NameAndType = (scala.reflect.macros.Universe.TermName, scala.reflect.macros.Universe.Type)

    Permalink
    Definition Classes
    MacroUtils

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. final def DirectOnly: MacroUtils.DirectOnly.type

    Permalink
    Definition Classes
    MacroUtils
    Annotations
    @inline()

  5. final def Everything: MacroUtils.Everything.type

    Permalink
    Definition Classes
    MacroUtils
    Annotations
    @inline()

  6. final def LeavesOnly: MacroUtils.LeavesOnly.type

    Permalink
    Definition Classes
    MacroUtils
    Annotations
    @inline()

  7. val UnivEq: scala.reflect.macros.blackbox.Context.Type

    Permalink

  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  9. val c: Context

    Permalink
    Definition Classes
    UnivEqMacros → MacroUtils

  10. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  11. final def concreteWeakTypeOf[T](implicit arg0: scala.reflect.macros.blackbox.Context.WeakTypeTag[T]): scala.reflect.macros.Universe.Type

    Permalink
    Definition Classes
    MacroUtils

  12. final def crawlADT[A](tpe: scala.reflect.macros.Universe.Type, f: (scala.reflect.macros.Universe.ClassSymbol) ⇒ Option[A], giveUp: (scala.reflect.macros.Universe.ClassSymbol) ⇒ Vector[A]): Vector[A]

    Permalink
    Definition Classes
    MacroUtils

  13. def derive[T <: AnyRef](debug: Boolean, auto: Boolean)(implicit arg0: scala.reflect.macros.blackbox.Context.WeakTypeTag[T]): scala.reflect.macros.blackbox.Context.Expr[UnivEq[T]]

    Permalink

  14. def deriveAutoDebug[T <: AnyRef](implicit arg0: scala.reflect.macros.blackbox.Context.WeakTypeTag[T]): scala.reflect.macros.blackbox.Context.Expr[UnivEq[T]]

    Permalink

  15. def deriveAutoQuiet[T <: AnyRef](implicit arg0: scala.reflect.macros.blackbox.Context.WeakTypeTag[T]): scala.reflect.macros.blackbox.Context.Expr[UnivEq[T]]

    Permalink

  16. def deriveDebug[T <: AnyRef](implicit arg0: scala.reflect.macros.blackbox.Context.WeakTypeTag[T]): scala.reflect.macros.blackbox.Context.Expr[UnivEq[T]]

    Permalink

  17. def deriveQuiet[T <: AnyRef](implicit arg0: scala.reflect.macros.blackbox.Context.WeakTypeTag[T]): scala.reflect.macros.blackbox.Context.Expr[UnivEq[T]]

    Permalink

  18. final def determineAdtType(T: scala.reflect.macros.Universe.Type, t: scala.reflect.macros.Universe.ClassSymbol): scala.reflect.macros.Universe.Type

    Permalink

    findConcreteTypes will spit out type constructors.

    findConcreteTypes will spit out type constructors. This will turn them into types.

    T

    The ADT base trait.

    t

    The subclass.

    Definition Classes
    MacroUtils

  19. final def ensureConcrete(t: scala.reflect.macros.Universe.Type): Unit

    Permalink
    Definition Classes
    MacroUtils

  20. def ensureUnivEq(T: scala.reflect.macros.Universe.Type, debug: Boolean, auto: Boolean, allow: (scala.reflect.macros.Universe.Type) ⇒ Boolean): Unit

    Permalink

  21. final def ensureValidAdtBase(tpe: scala.reflect.macros.Universe.Type): scala.reflect.macros.Universe.ClassSymbol

    Permalink
    Definition Classes
    MacroUtils

  22. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  23. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  24. final def fail(msg: String): Nothing

    Permalink
    Definition Classes
    MacroUtils

  25. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  26. final def findConcreteAdtTypes(tpe: scala.reflect.macros.Universe.Type, f: FindSubClasses): Set[scala.reflect.macros.Universe.Type]

    Permalink
    Definition Classes
    MacroUtils

  27. final def findConcreteAdtTypesNE(tpe: scala.reflect.macros.Universe.Type, f: FindSubClasses): Set[scala.reflect.macros.Universe.Type]

    Permalink
    Definition Classes
    MacroUtils

  28. final def findConcreteTypes(tpe: scala.reflect.macros.Universe.Type, f: FindSubClasses): Set[scala.reflect.macros.Universe.ClassSymbol]

    Permalink

    Constraints: - Type must be sealed.

    Constraints: - Type must be sealed. - Type must be abstract or a trait.

    Definition Classes
    MacroUtils

  29. final def findConcreteTypesNE(tpe: scala.reflect.macros.Universe.Type, f: FindSubClasses): Set[scala.reflect.macros.Universe.ClassSymbol]

    Permalink
    Definition Classes
    MacroUtils

  30. def findUnivEqAmongstImplicitArgs: Set[scala.reflect.macros.Universe.Type]

    Permalink

  31. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  32. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  33. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  34. final def nameAndType(T: scala.reflect.macros.Universe.Type, s: scala.reflect.macros.Universe.Symbol): NameAndType

    Permalink
    Definition Classes
    MacroUtils

  35. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  36. final def needInferImplicit(t: scala.reflect.macros.Universe.Type): scala.reflect.macros.Universe.Tree

    Permalink
    Definition Classes
    MacroUtils

  37. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  38. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  39. final def primaryConstructorParams(t: scala.reflect.macros.Universe.Type): List[scala.reflect.macros.Universe.Symbol]

    Permalink
    Definition Classes
    MacroUtils

  40. final def sep: String

    Permalink
    Definition Classes
    MacroUtils

  41. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  42. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  43. final def tryInferImplicit(t: scala.reflect.macros.Universe.Type, withMacrosDisabled: Boolean = false): Option[scala.reflect.macros.Universe.Tree]

    Permalink
    Definition Classes
    MacroUtils

  44. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  45. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  46. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  47. final def warn(msg: String): Unit

    Permalink
    Definition Classes
    MacroUtils

Inherited from MacroUtils

Inherited from AnyRef

Inherited from Any

Ungrouped