Packages

c

contextual

Embedder

class Embedder[ContextPair <: (Context, Context), Value, Input, InterpolatorType <: Interpolator] extends AnyRef

An Embedder defines, for an Interpolator, InterpolatorType, a type Value should be converted to the common input type Input, when substituted into different context positions. These should be created using the Interpolator#embed method.

ContextPair

the intersection of "before" and "after" contexts, inferred from the least upper-bound of the Cases

Value

the type this Embedder is defining substitution functions for

Input

the common input type to which all substitutions are converted for this Interpolator

InterpolatorType

the Interpolator singleton type for which this Embedder is defining substitution functions

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

Instance Constructors

  1. new Embedder(cases: Seq[Case[ContextPair, Value, Input]])

    cases

    the functions for converting the Value type to Input for each supported Context

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. def apply[HoleContext](holeContext: HoleContext)(implicit evidence: <:<[ContextPair, (HoleContext, Context)]): (Value) ⇒ Input

    Retrieve the conversion function from the Value type to the Input type for the specified Context.

    Retrieve the conversion function from the Value type to the Input type for the specified Context.

    HoleContext

    the singleton type corresponding to the context of the hole

    holeContext

    the context of the hole for which to retrieve the conversion function

    returns

    the function for converting the Value type to an Input for the specified Context

  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. val cases: Seq[Case[ContextPair, Value, Input]]
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  11. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  15. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  17. def toString(): String
    Definition Classes
    AnyRef → Any
  18. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  19. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  20. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Ungrouped