Результаты поиска по запросу "shapeless"
Преобразование вложенных классов наблюдений во вложенные Карты с использованием Shapeless
Я пытаюсь решитьэтот вопрос с использованием Shapeless, в итоге речь идет о преобразовании вложенного класса case в Map [String, Any], вот пример:
Добавление типов контейнеров, таких как Seq, List, Option и Map, в бесформенное универсальное преобразование
Чтобы завершить серию вопросов, которые я задавал о преобразовании
Использование полиморфной функции для извлечения объекта из Options
Бесформенная документация объясняет, как использовать полиморфные функции для создания функции, которая отображает объекты в одном типе контейнера в другой, ...
вот что я сделал:
аюсь использовать pureConfig и configFactory для конфигурации своего приложения spark. вот мой код:
Карта и уменьшить / сложить HList of scalaz.Validation
Я начал с чего-то вроде этого:
бесформенный HList для TupleN, где форма кортежа не обязательно должна точно соответствовать форме HList
Я хотел бы создать эквивалент:
Не удается доказать, что одноэлементные типы являются одноэлементными типами при создании экземпляра класса типов
Предположим, у меня есть класс типов, который доказывает, что все типы в Shapeless coproduct являются одноэлементными типами:
Динамически параметризовать функцию Poly1 в бесформенном
У меня такая ситуация (урезанная до основных частей)
Любая причина, почему Scala не поддерживает явно зависимые типы?
Существуют зависимые от пути типы, и я думаю, что в Scala можно выразить почти все особенности таких языков, как Epigram или Agda, но мне интересно, почему Scala не поддерживаетэто [http://en.wikipedia.org/wiki/Dependent_type]более явно, как это ...
Получение элементов из HList
Я поиграл с HList, и следующие работы, как и ожидалось: