При написании полностью асинхронной библиотеки для доступа к удаленному сервису (используя Play2.0) я использую Promise и Validation для создания неблокирующего вызова, который имеет тип, представляющий ошибочный и действительный результат...

Я хочу сравнить классы case с полем scalaz NonEmptyList . == или euqls не работает, и я знаю, что это из-за метода NonEmptyList.equals , который проверяет, является ли сравниваемый объект тем же экземпляром, что и вызывающий объект. С другой...

У меня есть следующий вариант использования, который часто встречается в моем коде: Коллекция[A] Неявное преобразование A в B и я хочу получить коллекцию B. Я могу неявно использовать следующее: case class Items(underlying:List[B])...

Возьмите этот простой фрагмент кода: var line = ""; do { println("Please enter a non-empty line: ") line = readLine() } while (line.isEmpty()) println("You entered a non-empty line: " + line) Это определенно не особенно элегантно,...

В рамках нашего интерфейса веб-сервисов мы создали более легкие клиентские API, которые не зависят от API какой-либо конкретной платформы/поставщика. Теперь реализация этих сервисных трейтов должна будет преобразовать эти независимые от платформы...

Цель Semigroup - обеспечить ассоциативность и замкнутость. Цель моноида основана на Semigroup и обеспечить дополнительную идентичность. Когда я использую |+| Приложение полугруппы, почему я определил неявный моноид, а не неявную полугруппу Вот...

Итак, я наконец нашел хорошую функциональную структуру данных, Scalaz DList , для константного добавления/добавления и хорошей сложности для объединения двух коллекций, однако, почему DList не имеет метода члена размера или длины, и как мне...

Пока я могу сделать Map("a" -> 1) |+| Map("a" -> 2) Вроде поддержки нет TrieMap("a" -> 1) |+| TrieMap("a" -> 2) Почему ?

Предположим, у меня есть следующие функции для составления: val mayFail1: Int => Error \/ Int = ??? val slowAndMayFail: Int => Error \/ String = ??? val mayFail2: String => Error \/ Int = ??? val mayFail3: String =>...

scalaz.std.MapInstances объявляет, что любая карта, значение которой равно Semigroup , сама является Monoid . Поскольку Int является Semigroup , работает следующий код: def merge[K](maps : Iterator[Map[K, Int]]) : Map[K, Int] =...

Я использую scalaz для некоторой проверки, и где-то в коде есть логические условия. Пример показан ниже: import scalaz._, std.AllInstances._ object Temporary { def validate(x: Int): scalaz.Validation[List[String], Boolean] = { try {...

Как превратить List из Eithers в Either из Lists , используя MonadPlus.separate ? В этом ответе автор утверждает это решение, но не может предоставить импорт или полный пример: Если scalaz является одной из ваших зависимостей, я бы...