• Home
• io.github.scala-loci
• scala-loci-language-runtime_2.11
• 0.5.0
• source code
• package.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

loci.embedding.package.scala Maven / Gradle / Ivy

package loci

package object embedding {
  type from[T, R] = PlacedValue[T, R]
  type fromSingle[T, P] = Placed.Selection.Single[T, P]
  type fromMultiple[T, P] = Placed.Selection.Multiple[T, P]

  def erased: Nothing = erased()
  def erased(ev: Any*): Nothing =
    throw new NotImplementedError("Erased language constructs should never be used")
}