Type Members

1.  class Case[-ContextPair <: (Context, Context), -Value, +Input] extends AnyRef

   A Case 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.

   A Case 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.

   ContextPair

   the "before" and "after" contexts, represented as a pair

   Value

   the type for which this Case handles conversion

   Input

   the common input type to which all substitutions are converted for this Interpolator, often (but not always) String

2.  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.

3.  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.

   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

4.  trait Interpolator extends AnyRef

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

5.  final class Prefix[OutputType, PrefixContextType <: Context, InterpolatorType <: Interpolator { ... /* 2 definitions in type refinement */ }] extends AnyRef

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

   A Prefix represents the attachment of an Interpolator to a scala.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.

   PrefixContextType

   the context inferred from interpolator's type member

   InterpolatorType

   the singleton type of the Interpolator

6.  abstract class Verifier[Out] extends Interpolator