I have the following trait: And I tried to apply the so-called batching transformation to it as follows: The problem is it does not compile with ...
I have the following trait: And I tried to apply the so-called batching transformation to it as follows: The problem is it does not compile with ...
I wonder what is the difference between the two here: My understanding was that cross CrossVersion.full add the full Scala version to the library e ...
Here someone says that star is underscore from scala 3, but I've seen some code like this in scala 2.13: Does it have a same meaning and just speci ...
SLS specifies syntax of type parameter clause as where we see >:, <:, <%, <%, : as allowed reserved names in type parameter clause. Is ...
I have these types: SomeTypeClass A higher kinded type which has one type parameter of kind * => * => * Target which accepts three type para ...
In the tests of cats, * occurs as a type parameter, for example, here: (See https://github.com/typelevel/cats/blob/master/tests/src/test/scala/cats ...
So having something like this: I now want to do something like this: (Same thing if I declare the trait extension as class TryOptWrapper extends ...
Consider the following type definition: When providing a requirement for an implicit of this type in context bounds (using kind projector plugin) w ...
I have the following types and declarations: Is it possible to lift Container ~> Id to FreeContainer ~> Id? ...
I have enabled the kind compiler plugin addCompilerPlugin("org.spire-math" % "kind-projector" % "0.9.6") and I can now use the ? symbol e.g. Map[Strin ...
I have a class Foo with two parameters, and I am trying to write a Functor instance for Foo with the first parameter fixed, as follows: But the abo ...
I've been digging into FP and everything that surrounds it, and I found the concept of kind projector written somewhere, without details nor explanati ...
When I use scala to create a function like this,It told me that not found: type ? Can somebody told me how to resolve this? ...
For some reason the following fails to work when I call the method test on a natural transform. Intellij recognises it as an extension function, bu ...
Taken from typelevel/kind-projector, what's the distinction between: and ? Are they equivalent? ...
I am following Michael Pilquist's excellent intro to Functors and my Scala 2.11.7 repl fails to compile(interpret?) the following line. Is [X => ...
Given type parameters of F[_] and A[_] how do I turn the following type lambda into the more pleasant Kind-Projector syntax? ({type λ[α] = F[A[α]]})# ...
I have Where ~> is cats.NaturalTransformation. I'm able to construct a Using the kind-projector syntax for readability Here's how I'm doing ...
Recently I have come across this Scalaz code (e.g. https://github.com/scalaz/scalaz/blob/series/7.2.x/core/src/main/scala/scalaz/Functor.scala): Wh ...
Let's suppose I have a trait with two type parameters, e.g. and another trait with a higher-kinded type parameter, e.g. I'd like to be able to s ...