компилятор scala странно жалуется при компиляции сгиба с помощью функции scalaz - PullRequest
Новая
       12

компилятор scala странно жалуется при компиляции сгиба с помощью функции scalaz

1 голос
/ 06 февраля 2012

Мне недавно довелось работать со скалазом >>=. Я помещаю все методы, которые должны быть связаны с >>= в списке и foldleft следующим образом, 

val dataMap:Map[K,V]

def call[F](funcList:List[funcOb[K, V, F]]):Either[F,Seq[(K,Option[V])]] = {
  type t[a] = Either[F,a]
  funcList.
    map(v => {
      v.funcs.
        foldLeft((v.name,dataMap.get(v.name)).right[F])( _ >>= _ )
    }
  ).sequence[t,(K,Option[V])]
}

case class funcOb[K,V,F]( name:K,
     funcs:List[(K,Option[V]) => Either[F, (K, Option[V])]] = List.empty )

теперь я получаю забавную ошибку, жалуясь на то, что требуемое похоже на найденное 

...: type mismatch;
[error]  found   : (K, Option[V]) => Either[F,(K, Option[V])]
[error]  required: (K, Option[V]) => Either[F,(K, Option[V])]
[error]             foldLeft((v.name,dataMap.get(v.name)).right[F])( _ >>= _ )

Я не могу понять это поведение. Чего не хватает?

1 Ответ

2 голосов
/ 06 февраля 2012

Требуется Function1[(A, B), C].Ваш список содержит функции типа Function2[A, B, C].Поэтому вам нужно преобразовать функцию в кортежную форму, прежде чем вы сможете применить ее.

Следующие работы: 

def call[F](funcList: List[funcOb[K, V, F]]): Either[F, Seq[(K, Option[V])]] = {
  type t[a] = Either[F, a]
  funcList.
    map(v => {
      v.funcs.
        foldLeft((v.name, dataMap.get(v.name)).right[F])(_ >>= _.tupled)
    }
  ).sequence[t, (K, Option[V])]
}
...