Экземпляр Cats 'Monoid выдает исключение при объединении Maps of Arrays - PullRequest
Новая
       83

Экземпляр Cats 'Monoid выдает исключение при объединении Maps of Arrays

1 голос
/ 27 января 2020

Я определил экземпляр Monoid для Map[Int, Array[Int]] и попытался использовать его для объединения списка таких карт: 

import cats.Monoid
import cats.implicits._

implicit val m: Monoid[Map[Int, Array[Int]]] = Monoid[Map[Int, Array[Int]]]

List(
  Map(
    (0 -> Array(8, 9))
  ),
  Map(
    (0 -> Array(10))
  ),
  Map(
    (1 -> Array(30))
  ),
).foldMap(identity)

Я ожидаю, что результат будет следующим: 

Map(
  (0 -> Array(8, 9, 10),
  (1 -> Array(30),
)

Однако код выдает следующее исключение: 

[error] java.lang.NullPointerException
[error]         at cats.instances.ListInstances$$anon$1.foldMap(list.scala:74)
[error]         at cats.instances.ListInstances$$anon$1.foldMap(list.scala:16)
[error]         at cats.Foldable$Ops.foldMap(Foldable.scala:31)
[error]         at cats.Foldable$Ops.foldMap$(Foldable.scala:31)
[error]         at cats.Foldable$ToFoldableOps$$anon$5.foldMap(Foldable.scala:31)

Я попытался использовать .reduce(_ |+| _) или m.combineAll вместо .foldMap(identity), с тем же результатом. Что я делаю не так?

1 Ответ

2 голосов
/ 27 января 2020

Чтобы ваш код работал, вам нужно только обеспечить надлежащий Monoid для массива: 

//we also need ClassTag because we don't know type yet and arrays aren't generic
implicit def arrayMonoid[T: ClassTag]: Monoid[Array[T]] = new Monoid[Array[T]] {
    override def empty: Array[T] = Array[T]()

    override def combine(x: Array[T], y: Array[T]): Array[T] = x ++ y
}

Библиотека Cats не предоставляет Monoid для массивов по умолчанию.

...