Результаты поиска по запросу "shapeless"

2 ответа

Предполагаемый тип функции, которая архивирует HLists

1 ответ

Карта и уменьшить / сложить HList of scalaz.Validation

Я начал с чего-то вроде этого:

4 ответа

Любая причина, почему Scala не поддерживает явно зависимые типы?

Существуют зависимые от пути типы, и я думаю, что в Scala можно выразить почти все особенности таких языков, как Epigram или Agda, но мне интересно, почему Scala не поддерживаетэто [http://en.wikipedia.org/wiki/Dependent_type]более явно, как это ...

ТОП публикаций

1 ответ

Карта в HList в методе с Poly1 на основе параметра типа класса

У меня есть класс, параметризованный с

2 ответа

Как вы отлаживаете код уровня типа?

2 ответа

Бесформенный, не находящий следов в тесте, но может в REPL

У меня есть case-класс, который выглядит так:

0 ответов

Shapeless: собственное ограничение HList с использованием Coproduct

(ПРИМЕЧАНИЕ: разделить отShapeless: Попытка ограничить элементы HList их типом )Вопрос 2 - Собственное ограничение с использованием CoproductЧто я действител...

1 ответ

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

1 ответ

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

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

1 ответ

Принудительно ограниченный Nat?

Как я могу обеспечить соблюдение