Type Members

1.  trait Context extends AnyRef

   A Context describes the nature of the position in an interpolated string where a substitution is made, and determines how values of a particular type should be interpreted in the given position.

2.  class Embedder [CC <: (Context, Context), V, R, I <: Interpolator] extends AnyRef

   An Embedder defines, for an Interpolator, I, a type V should be converted to the common input type 'R', when substituted into different context positions.

3.  case class InterpolationError (part: Int, offset: Int, message: String) extends Exception with Product with Serializable

   Represents a compile-time failure in interpolation.

4.  trait Interpolator extends Parts

   An Interpolator defines the compile-time and runtime behavior when interpreting an interpolated string.

5.  class Prefix [C <: Context, P <: Interpolator { type Ctx = C }] extends AnyRef

   A Prefix represents the attachment of an Interpolator to a StringContext, typically using an implicit class.

   A Prefix represents the attachment of an Interpolator to a StringContext, typically using an implicit class. It has only a single method, apply, with a signature that's appropriate for fitting the shape of a desugared interpolated string application.

6.  class Transition [-CC <: (Context, Context), -Value, +Input] extends AnyRef

   A Transition specifies for a particular Context how a value of type Value should be converted into the appropriate Input type to an Interpolator, and how the application of the value should change the Context in the interpolated string.