Silly question of the day: Is there a way in #scala3 to "unpack" a String at the type level ?
ie: val x: Unpack["abc"] = ('a', 'b', 'c')
-
For some reason I read the word "macro" in your question, but maybe that's what happens when you've been doing Scala 3 macros all day...
I don't know of one, though. But the macro is very easy. Something like this: def unpack[T <: Singleton & String: Type](using Quotes): Expr[List[Char]] = import quotes.reflect._ TypeRepr.of[T] match case ConstantType(StringConstant(str)) => '{ str.toList } (untested) ;)
-
-
Oh, and you'll also need the macro inline def unpack[T <: Singleton & String]: List[Char] = ${unpack[T]}
-
"access to value str from wrong staging level:" ^^
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.