Как извлечь суженный шрифт и использовать его в побочном продукте Shapeless?

Question

Имея этот код:

object Types {
  val undefined = "undefined".narrow
  type RunnableArgument = BigDecimal :+: String :+: Boolean :+: CNil
}

Я бы хотел иметь тип константы undefined в качестве одного из элементов RunnableArgument hlist. Это вообще возможно?

Answer 1

Singleton-типы, используемые в качестве значений HList в scala 2.13, проверьте исходный SIP:

https://docs.scala-lang.org/sips/42.type.html

Итак, в вашем случае вы можете написать :

RunnableArgument = "undefined" :+: String :+: Boolean :+: CNil

Также вы можете использовать эту вещь как тип:

type Param = "singleton type"

Это компилируется в scast ie:

https://scastie.scala-lang.org/ObzN7xkKQ9egGBIv2gDuiA