Результаты поиска по запросу "shapeless"
Гетерогенные аргументы в функции Scala
Как я могу передать некоторыеHList в качестве аргумента? Так что я могу сделать таким образом: def HFunc[F, S, T](hlist: F :: S :: T :: HNil) { // here is some code } HFunc(HList(1, true, "String")) // it works perfectНо если у меня ...
Использование бесформенного для преобразования кортежа будущего в будущее кортежа с помощью HList
Есть ли простой способ конвертировать кортеж типа (Future [A], Future [B], Future [C], ..., Future [N]) в Future [(A, B, C, ..., N)]? Это предполагает неопре...
Использование полиморфной функции для извлечения объекта из Options
Бесформенная документация объясняет, как использовать полиморфные функции для создания функции, которая отображает объекты в одном типе контейнера в другой, ...
Что делает шаблон Aux в Scala?
У меня есть ощущение шаблона Aux (который используется в бесформенном и в других местах), в котором член типа извлекается в параметр типа, и я знаю, что это ...
Выберите N-й элемент списка списков и верните это значение как список значений.
У меня есть HList, в котором каждый столбец представляет столбец таблицы. Каждый список в HList имеет одинаковую длину.Я хотел бы иметь возможность написать ...
Почему техника Aux требуется для вычислений на уровне типов?
Я почти уверен, что чего-то здесь не хватает, так как я довольно новичок в Shapeless и учусь, но когда на самом деле техника Auxтребуется? Я вижу, что это ис...
Карта в HList в методе с Poly1 на основе параметра типа класса
У меня есть класс, параметризованный сHList и какой-то другой тип. Как я могу использоватьmap наHList в одном из его методов? Компиляция этого кода бросаетjava.lang.AssertionError: class Test[L <: HList, P](l: L, p: P) { type Cont[T] = (P, T) ...
Принудительно ограниченный Nat?
Как я могу обеспечить соблюдение
Shapeless: собственное ограничение HList с использованием Coproduct
(ПРИМЕЧАНИЕ: разделить отShapeless: Попытка ограничить элементы HList их типом )Вопрос 2 - Собственное ограничение с использованием CoproductЧто я действител...