Результаты поиска по запросу "shapeless"
Что делает шаблон Aux в Scala?
У меня есть ощущение шаблона Aux (который используется в бесформенном и в других местах), в котором член типа извлекается в параметр типа, и я знаю, что это ...
Принудительно ограниченный Nat?
Как я могу обеспечить соблюдение
Обновление класса дел из неполного JSON с помощью Argonaut или Circe
Мне нужно создать обновленный экземпляр из экземпляра класса дела (с любым необходимым
Выберите N-й элемент списка списков и верните это значение как список значений.
У меня есть HList, в котором каждый столбец представляет столбец таблицы. Каждый список в HList имеет одинаковую длину.Я хотел бы иметь возможность написать ...
Использование полиморфной функции для извлечения объекта из Options
Бесформенная документация объясняет, как использовать полиморфные функции для создания функции, которая отображает объекты в одном типе контейнера в другой, ...
вот что я сделал:
аюсь использовать pureConfig и configFactory для конфигурации своего приложения spark. вот мой код:
и все готово!
лал несколько реализаций HList сейчас. Один из них основан на выступлении Даниэля Спевака в «Стране Скала», а другой - на посте в блоге Apocalisp. Цель состояла в том, чтобы иметь гетерогенный список, который не является гетерогенным по ...
Гетерогенные аргументы в функции Scala
Как я могу передать некоторыеHList в качестве аргумента? Так что я могу сделать таким образом: def HFunc[F, S, T](hlist: F :: S :: T :: HNil) { // here is some code } HFunc(HList(1, true, "String")) // it works perfectНо если у меня ...
Предполагаемый тип функции, которая архивирует HLists
Благодаря https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0 [https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0] Я понимаю, как архивировать бесформенные HLists: Импортируем некоторые вещи ...
Использование фильтра в бесформенном, Scala
Это легко фильтроватьHList в бесформенном по типу: val hlist = 1 :: 2 :: "3" :: true :: false :: HNil hlist.filter[Int]Но как я могу сделать свой собственный фильтр типа? Я хочу что-то вроде этого: например, я получил список некоторых ...