Получение MirroredElemLabels из зеркала

scala.deriving.Mirror в Scala 3 имеет член типа MirroredElemLabels, который является кортеж строковых литералов. Какой стандартный способ получить этот тип в качестве значения?

РЕДАКТИРОВАТЬ: вот код, который вызывает ошибку компилятора при попытке использовать summonAll

case class Test(a: Int, b: String)
val mirror = implicitly[Mirror.ProductOf[Test]]
val labels = summonAll[mirror.MirroredElemLabels]
println(labels)

cannot reduce inline match with
 scrutinee:  compiletime.erasedValue[App.mirror.MirroredElemLabels] : App.mirror.MirroredElemLabels
 patterns :  case _:EmptyTuple
             case _:*:[t @ _, ts @ _]

generics scala shapeless type-level-computation scala-3
person kag0    schedule 08.07.2021    source источник
comment
dotty.epfl.ch/docs/reference/contextual/derivation.html stackoverflow.com/questions/62853337/   -  person Dmytro Mitin    schedule 08.07.2021
comment
@DmytroMitin Я видел эти документы, это то, что я сократил до scastie.scala-lang.org / 4tfGCYJcSxafZr1mbmayEw, но я не уверен, что делать с этой ошибкой компилятора.   -  person kag0    schedule 08.07.2021
comment
implicitly[Mirror.ProductOf[Test]] правильно. Но summonAll[mirror.MirroredElemLabels] неверно. Это правда implicitly[mirror.MirroredElemLabels =:= ("i", "s")], но это не означает, что существует неявный тип mirror.MirroredElemLabels или имплицитные типы синглтонов "i", "s". Этот тип mirror.MirroredElemLabels является кортежем одноэлементных типов. И вы, вероятно, захотите найти кортеж значений, состоящий из значений этих одноэлементных типов.   -  person Dmytro Mitin    schedule 09.07.2021

Ответы (1)


arrow_upward
1
arrow_downward

Попробуйте использовать scala.ValueOf

case class A(i: Int, s: String)

import scala.deriving.Mirror
import scala.compiletime.summonAll

val mirror = summon[Mirror.Of[A]]    
type ValueOfs = Tuple.Map[mirror.MirroredElemLabels, ValueOf]
val valueOfs = summonAll[ValueOfs]

def values(t: Tuple): Tuple = t match
  case (h: ValueOf[_]) *: t1 => h.value *: values(t1)
  case EmptyTuple => EmptyTuple

values(valueOfs) // (i,s)

http://dotty.epfl.ch/docs/reference/contextual/derivation.html

person Dmytro Mitin    schedule 09.07.2021
comment
Одна вещь, которую следует отметить явно для всех, кто обнаружит это: вам нужно использовать summon вместо implicitly для зеркала, иначе он не будет компилироваться - person kag0; 13.07.2021
comment
последующий вопрос, есть ли способ заставить values возвращать правильный тип? Это то, над чем я работаю до сих пор, scastie.scala-lang.org/dZfa6p7TRN66Ek2XcekNgw. Кажется, компилятор не может распознать эквивалентность двух типов соответствия - person kag0; 14.07.2021
comment
Обманчивый способ напечатать наше окончательное решение - просто добавить .asInstanceOf[mirror.MirroredElemLabels] к ответу вызова values - person kag0; 14.07.2021
comment
@ kag0 Да, типы соответствия пока не всегда работают хорошо вместе с соответствующим сопоставлением с образцом на уровне значений dotty.epfl.ch/docs/reference/new-types/ Например, вычисления на уровне типа вместе с вычислениями на уровне значения могут выполняться с соблюдением требований к типу с помощью старого доброго типа классы (как альтернатива типам соответствия). - person Dmytro Mitin; 19.07.2021