2
ответа

Scala: абстракция функции toString для классов case

Предположим, у меня есть класс case, определенный следующим образом: case case User (name: String, age: Int) Я хотел бы переопределить его метод toString следующим образом: case class User (name: String, age: Int) {...
вопрос задан: 21 March 2019 10:05
1
ответ

Использовать функциональный combinators на Кортежах Scala?

'карта' сохраняет число элементов, так использование его на Кортеже кажется разумным. Мои попытки до сих пор: scala> (3,4) .map (_ *2) ошибка: карта ценности не является членом (Интервал, Интервал) (3,4) .map (_ *2)...
вопрос задан: 7 June 2017 00:00
0
ответов

Невозможно сопоставить HList

Я пытался решить эту проблему с помощью shapeless. Однако я по какой-то причине не могу сопоставить HList. Я позволю коду говорить самому за себя. импорт бесформенный. _импортировать HList. _case class Foo (a :...
вопрос задан: 23 May 2017 12:30
0
ответов

Являются ли HLists не более чем извилистым способом написания кортежей?

Я действительно заинтересован в том, чтобы выяснить, где существуют различия, и, в более общем плане, выявить канонические случаи использования, в которых нельзя использовать списки HL (или, скорее, не давать никаких преимуществ по сравнению с обычными сп
вопрос задан: 23 May 2017 12:26
0
ответов

Пределы типа Nat в Shapeless

В бесформенном типе Nat представлен способ кодирования натуральных чисел на уровне типа. Это используется, например, для списков фиксированного размера. Вы даже можете делать вычисления на уровне типа, например, добавить список ...
вопрос задан: 21 August 2015 06:33
0
ответов

Можно ли выполнить отображение в Scala HList

Я выполнил несколько реализаций HList. Один основан на выступлении Дэниела Спивака «Высокое волшебство в стране Скала», а другой - на основе сообщения в блоге Apocalisp. Целью было иметь ...
вопрос задан: 28 August 2013 07:34
0
ответов

Метод, который возвращает список размера n в Shapeless

Можно ли заставить работать следующий код? def zeroTo[N < :Nat] :Sized[List[Int], N] = { new Sized[List[Int], N] (List.iterate (0, toInt[N] )(1+ )){ тип A = Int } } Я получаю компиляцию...
вопрос задан: 7 August 2012 15:27
0
ответов

Shapeless : Предвар. Неявное не найдено

Я пытаюсь использовать shapeless для простого накопления объектов безопасным способом. Проблема в том, что я хочу объединить (:::) два HList. Я столкнулся с проблемой новичка (по крайней мере, кажется). Он пропускает...
вопрос задан: 26 June 2012 12:40
0
ответов

Почему я не могу проиндексировать HList, полученный путем сопоставления с другим HList?

Даже.head не работает. Какие изменения мне нужно внести, чтобы это заработало? импорт бесформенный. _импортировать HList. _импорт нат. _scala> case class Foo[A] (a :A )определенный класс Foo scala> case class...
вопрос задан: 26 June 2012 09:36