scalaz7

3зной

1ответ

Отсутствие экземпляров Functor и Monad при использовании scala.concurrent.Future с EitherT

Я пытаюсь использовать Scalaz EitherT с помощью scala.concurrent.Future. При попытке использовать его в наличии для понимания: import scalaz._ import Scalaz._ val et1:EitherT[Future, String, Int] =

scala monad-transformers scalaz7 2015-12-22

---

0зной

1ответ

Scalaz Writer Monad and filterM

Я работаю через learning scalaz и Learn You A Haskell For Greater Good и задаюсь вопросом, как перевести пример filterM из LYAHFGG в Scala. fst $ runWriter $ filterM keepSmall [9,1,5,2,10,3] с keepSma

scala haskell scalaz scalaz7 2015-09-21

---

3зной

3ответ

Какое новое имя для map2 в Scalaz 7?

Jordan West в this presentation от Scalamachine четко говорит о map2 функция. Оказывается, функция была available in Scalaz 6, но я не могу найти ее или ее эквивалент в Scalaz 7. E.g. Я хотел бы иметь

scala functor scalaz scalaz7 2015-09-30

---

5зной

2ответ

scalaz 7 эквивалента `<|*|>` от scalaz 6

В Nick Partridge's presentation on deriving scalaz, на базе старой версии scalaz, он вводит валидации с использованием функции: def even(x: Int): Validation[NonEmptyList[String], Int] = if (x % 2

scala scalaz scalaz7 2015-10-07

---

2зной

2ответ

Как реализовать параметрические линзы, которые меняют тип состояния

Таким образом, в Скале мы имеем типичную подпись объектива, как: case class Lens[O,V](get: O => V, set: (O,V) => O) Но как вы можете видеть, это только обновления и устанавливает значения одного и т

scala lenses scalaz7 2015-07-01

---

0зной

1ответ

Создать вариант [Будущее, A] из более низкого типа

Я довольно новичок в сказазе, и я пытаюсь понять, как преобразовать различные типы в монадные трансформаторы. Я застрял на попытке конвертировать Int в OptionT[Future, Int] или даже в EitherT[Future,

scala scalaz scalaz7 2015-08-28

---

4зной

1ответ

Как решить несоответствие типов, когда компилятор находит Serializable вместо типа соответствия?

У меня есть следующий синтаксический анализатор для разбора арифметических выражений, содержащих Float и RDD: import scalaz._ import Scalaz._ def term2: Parser[List[\/[Float, RDD[(Int,Array[Float])

scala parsing rdd type-mismatch scalaz7 2015-07-12

---

2зной

1ответ

Monadic Сокращение в штате Монада

я застрял, пытаясь сократить список внутри состояния монады с помощью функции, возвращающей State: def op(t1: T, t2: T): State[S, T] val list: State[S, List[T]] Я хотел бы, чтобы сократить список,

scala scalaz scalaz7 2015-12-19

---