dotty icon indicating copy to clipboard operation
dotty copied to clipboard

Liftable instances for Nullable types

Open abeln opened this issue 6 years ago • 0 comments

Liftable.scala has a bunch of liftable instances for primitive types, including String (not shown below):

object Liftable {

  implicit def BooleanIsLiftable: Liftable[Boolean] = new Liftable[Boolean] {
    def toExpr(x: Boolean): Expr[Boolean] = liftedExpr(x)
  }

  implicit def ByteIsLiftable: Liftable[Byte] = new Liftable[Byte] {
    def toExpr(x: Byte): Expr[Byte] = liftedExpr(x)
  }
...

Do we need to provide an instance for nullable strings?

Reference: https://biboudis.github.io/papers/pcp-gpce18.pdf

abeln avatar Jan 07 '19 18:01 abeln