ml.Ref.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of libisabelle_2.12 Show documentation

libisabelle

There is a newer version: 1.1.0-RC3

package info.hupel.isabelle.ml

import scala.math.BigInt

final case class Ref[A : Opaque](id: BigInt) {
  val table: String = Opaque[A].table
  val read: Expr[A] =
    Expr.uncheckedLiteral[BigInt => A](s"$table.read")(id)
  val delete: Expr[Unit] =
    Expr.uncheckedLiteral[BigInt => Unit](s"$table.delete")(id)
}