Questions tagged [contextual-abstractions]

Contextual abstractions seem to interfere with overloading, and produce unexpected compilation error messages. This here works: def foo(b: Double ?=> Unit): Double ?=> Unit = () // def foo(a: String): Unit = () // uncommenting causes compilation…

I was trying to create a new type class instance of Semigroup in Cats 2.7.0 for a case class called Expense. The problem occurs when the compiler throws an error telling me that the value instance does not exist for cats.kernel.Semigroup. Also,…

I have a type declaration somewhat similar to this one: type AwesomeType[F[_], X, Y] = Foo[F] ?=> Bar[F, X] ?=> Baz[F, X] ?=> Waffle[X] ?=> F[Y] when I run scalafmt with align.preset = more, it attempts to squeeze this chain of…

I'm trying to create a trait for sorting functions like this: trait Sorting: def sort[A, B >: A, C <: IterableOnce[A]](list: C)(using ord: Ordering[B], factory: Factory[A, C]): C and here is the implementation: object InsertionSorting extends…