scala-cats

1зной

1ответ

Free монады - неявный Вводим с вложенными Копроизведением использования кошек

Say У меня есть три DSLs я хочу использовать: sealed trait Test1Op[A] sealed trait Test2Op[A] sealed trait Test3Op[A] object Test1Op { case class Test1() extends Test1Op[String] } object T

0зной

2ответ

В Scala Cats Проверено, как можно объединить упорядоченные проверки

В https://gist.github.com/satyagraha/897e427bfb5ed203e9d3054ac6705704 Я опубликовал сценарий проверки Scala Cats, который кажется разумным, но я не нашел очень аккуратного решения. По существу, сущест

4зной

1ответ

Преобразование функторов (F [A] => G [A]) в Scala (кошки или скаляз)

Есть ли классное место в Cats или Scalaz, которое преобразует разные типы контейнеров? Например Опция ~> Попробуйте Попробуйте ~> Future Попробуйте ~> Либо Вариант ~> Список Похоже FunctionK/~>/Natura

3зной

1ответ

Разница между полугруппой и полугруппойK

У кошек есть 2 класса классов полугрупп: Semigroup и SemigroupK, причем последние работают над конструкторами типов. Я не вижу преимуществ последнего над первым. Если я посмотрю на экземпляры списка,

2зной

1ответ

Traverse/фолд вложенного класса дела в Scala без шаблонного кода

У меня есть некоторые классы случая для сочетания суммы и произведения типов: sealed trait Leaf case class GoodLeaf(value: Int) extends Leaf case object BadLeaf extends Leaf case class Middle(left

1зной

1ответ

Кошки не могут разрешить символ | @ |

У меня есть следующий код, который я получил отсюда: http://underscore.io/blog/posts/2015/06/10/an-introduction-to-cats.html. import cats.data.Xor import cats.data.{Validated, Xor} import cats.synta

1зной

3ответ

Генерирующие адаптеры для высокодоходных kinded интерфейсов

Я часто в сценарии, где я определил интерфейс, как так: trait FooInterface [T[_]] { def barA(): T[Int] def barB(): T[Int] def barC(): T[Int] } я тогда написать несколько различных ре