Карта в HList не работает с подтипами универсального типа в Scala & Shapeless

Скажем, у нас есть следующие классы и некоторые значения (в Scala): class A[T](val x: T) class B[T](x: T, val y: T) extends A[T](x) val x1 = new A("test") val x2 = new B(1,2) val x3 = new B("foo","bar") val x4 = new A(1)Далее мы определяем ...

Найти экземпляры класса type для Shapeless HList

Скажи, что у меня есть черта

Использование бесформенного для преобразования кортежа будущего в будущее кортежа с помощью HList

Есть ли простой способ конвертировать кортеж типа (Future [A], Future [B], Future [C], ..., Future [N]) в Future [(A, B, C, ..., N)]? Это предполагает неопре...

Преобразование Seq [String] в класс case типобезопасным способом

Я написал парсер, который преобразует String в Seq [String], следуя некоторым правилам. Это будет использоваться в библиотеке.Я пытаюсь преобразовать этот Se...

Является ли неоднозначное неявное значение единственным способом, которым мы хотим, чтобы ошибка существовала во время компиляции

Бесформенный: общий объектив, параметризованный по классу дела или полю

Как я могу использовать Shapeless, чтобы создать функцию, абстрагирующуюся над арностью

Давайте рассмотрим конкретный пример. У меня есть много функций, которые принимают переменное количество аргументов и возвращают

Динамически параметризовать функцию Poly1 в бесформенном

У меня такая ситуация (урезанная до основных частей)

Не удается доказать, что одноэлементные типы являются одноэлементными типами при создании экземпляра класса типов

Предположим, у меня есть класс типов, который доказывает, что все типы в Shapeless coproduct являются одноэлементными типами:

Странное поведение при попытке рекурсивно преобразовать классы дел в гетерогенные списки с помощью Shapeless