Commit Graph

8 Commits

Author SHA1 Message Date
Adrien Piquerez 4baf698a8c Fix TupleMapExtensionTests
The compiler cannot infer F[_] on a concrete Tuple.Map[T, F[_]] because it reduces it to a (F[A], F[B], ...)
2024-02-13 11:17:52 +01:00
Adrien Piquerez a15fb91c5c Remove AList 2023-12-13 14:01:57 +01:00
Eugene Yokota 7a16185edc Fix util-collection test 2023-01-15 23:45:35 -05:00
Eugene Yokota f3d61a2106 Port Settings 2023-01-15 23:43:19 -05:00
Eugene Yokota d4920a3b0c AList for List 2023-01-15 23:40:57 -05:00
Eugene Yokota c86fc37ce1 Refactor AList to handle K[F[a]]
We do need to treat AList like a typeclass after all because
sbt.std.Transform.uniform needs to traverse over a List,
and we won't be able to magically connvert a List into a tuple.
2023-01-15 23:40:57 -05:00
Eugene Yokota d78c75df39 Reimplement arity-generic list for tuples 2023-01-15 23:40:56 -05:00
Eugene Yokota 00eba85d98 Cats-like typeclasses 2023-01-15 23:40:56 -05:00