class PEControl[T <: Data : Arithmetic](accType: T), this is a class definition from riscv-gemmini. The Data type is the basic data type in chisel, ...

I am learning Context bound in Scala. In the below code, I am invoking multiplication operator on the integer parameter. But it errors out. 'a' is co ...

Is there a way to map a natural transformation (e.g. a Option ~> Either[String, *]) over a KList (e.g. a HList with a UnaryTCConstraint)? That woul ...

I have tried the following but does not work ? Any idea what's the issue ? EDIT This of course works ...

I am learning Scala in order to use it for a project. One thing I want to get a deeper understanding of is the type system, as it is something I have ...

I have the following issue, and I am confused as to what is going: I have a priority implicit defined I use this priority implicit to impose a c ...

I am going through the book Scala with Cats. I am trying to understand the subtleties of the scala type system. I came up with the following example: ...

Suppose I have some function that should take a sequence of Ints or a sequence of Strings. My attempt: How can I add this to also work with string ...

I'm a newbie, according to my lectures : class Test [T: Comparing] means that it requires an implicit value of type Comparing[T] that can be used in t ...

I found some snippets as follow: import org.json4s.DefaultFormats import org.json4s.jackson.JsonMethods._ import scala.io.Source import scala.reflec ...

I'm trying to use a typeclass method inside a function with a type parameter. Unfortunately I can't get it to work. When I try to use the method add ...

I have a series of class Foo: and I have a type class and instances for all of the Foos: and I try to get the type class instance from a method: ...

I'm trying to understand some autogenerated code by the scala compiler but I don't know after what to search. I have the following class: After I ...

I was trying to use a method called random with the following signature: On a case class named Checking but I get this : could not find implici ...

Few days ago I started to learn Cats and I want to implement method appendOptional for Map[String, _: Show]. I started with the following idea: An ...

Now I wanna serialize/deserialize Json data, and there are several json libraries to choose. However, they use different context-bounds for encoding/d ...

I'm using the following code written in Scala 2.11.8: It successfully compiles. As you can see a: Acceptable[T] parameter should be easily convert ...

Using context bounds in scala you can do stuff like Or simply How could I express the type of a Seq of any elements that have an appropriate imp ...

For This doesnt build. Error: Error:(15, 7) overriding method authorize in trait AuthUserObject of type [U <: users.User](u: U)Boolean; me ...

I have edited this to a simpler form of the question to which @Zhi Yuan Wang responded : I get the following errors: despite getting the followi ...