shapeless: Generic programming for Scala | This room deprecated in favour of #shapeless on the Typelevel Discord: https://discord.gg/bSQBZA3Ced
@voonchav_gitlab @mikla I think this is most probably the bug you were experiencing: milessabin/shapeless#1152 - I am very tempted to just cut another release but if you have a way to test if it works for you or for me to reproduce I would hold off.
Found this bug in the update PR for
pureconfig: pureconfig/pureconfig#1037
Let me fix that
Alright, I can reproduce the problem in Scastie: https://scastie.scala-lang.org/vELbT0QtQramsGbHMAsW0w
If you go to Build Settings and change kittens to 2.2.2, it will compile and the values will be asserted.
If you go to Build Settings and change kittens to 2.2.2, it will compile and the values will be asserted.
I have no clue how it worked before but now they are clashing
Maybe I can rewrite my stuff. I wrote that a while ago. Perhaps I can find a simpler way and avoid the clashing.... At the same time, I too wonder how it wasn't a problem before :)
Because it had
P <: Product
Now it's
P: IsTuple
I will sleep on it I'm off now
Thanks a lot, Georgi. Have a good night.
@joroKr21 I managed to get my code to work with
I updated the scastie: https://scastie.scala-lang.org/H8zcJSIkT0mMvK6kSoutkw (sorry, let me know if you need the original version)
kittens 2.3.0 by having the "right" implicit in scope only. Not sure if this is just a hack :)I updated the scastie: https://scastie.scala-lang.org/H8zcJSIkT0mMvK6kSoutkw (sorry, let me know if you need the original version)
Totally reasonable to do this when you have clashing syntax
What is K0 here? I get "Not found: K0" when attempting something like this in my own code with Scala 3.0.0-RC3: https://github.com/milessabin/shapeless/blob/v3.0.0-M4/modules/deriving/src/test/scala/shapeless3/deriving/type-classes.scala#L48
Just published #shapeless 3.0.0 for #Scala 3.0.0: https://github.com/milessabin/shapeless/tree/shapeless-3
(Most discussion will be on the Typelevel discord)
shapeless 3 now has it's own repo in the Typelevel GitHub organisation: https://github.com/typelevel/shapeless-3 :tada:
@milessabin Awesome :) How would I go about defining a
Typeable for cats.NonEmptyMap. In shapeless 2 I have something like: // Adapted from `shapeless.Typeable.genMapTypeable`.
implicit def typeableForNonEmptyMap[K, V](
implicit cM: ClassTag[NonEmptyMap[_, _]],
tK: Typeable[K],
tV: Typeable[V]
): Typeable[NonEmptyMap[K, V]] = new Typeable[NonEmptyMap[K, V]] {
def cast(t: Any): Option[NonEmptyMap[K, V]] =
if (t == null) None
else if (cM.runtimeClass isAssignableFrom t.getClass) {
val m = t.asInstanceOf[NonEmptyMap[Any, Any]]
if (m.toSortedMap.forall(_.cast[(K, V)].isDefined)) Some(t.asInstanceOf[NonEmptyMap[K, V]]) else None
} else None
def describe = s"${cM.runtimeClass.getSimpleName}[${tK.describe}, ${tV.describe}]"
}
}
I get this:
[error] -- Error: /Users/ahjohannessen/Development/Work/subsidy-support/marshal/src/test/scala-3/support/marshal/typeables.scala:18:51
[error] 18 | val cm = m.cast[NonEmptyMap[Int, String]]
[error] | ^
[error] |No Typeable for parametrized type cats.data.NonEmptyMapImpl.Type[scala.Int, scala.Predef.String]
[error] | This location contains code that was inlined from typeables.scala:18
[error] | This location contains code that was inlined from typeable.scala:244
+- what I'm trying to achieve
object foo extends ProductArgs {
def applyProduct[L <: HList](l: L)(implicit LUBC: LUBConstraint[L, Bar]): Job[L] = Job(l)
}
Hi folks ... your occasional reminder that shapeless discussion has moved to the Typelevel Discord: https://discord.gg/bSQBZA3Ced