пример использования:
def div2(i: Int): Validation[String, Int] =
if (i%2 == 0) Validation.success(i/2)
else Validation.failure("odd")
def div4(i: Int) = for {
a <- div2(i)
b <- div2(a)
} yield b
ошибка. Невозможно удалить тип scalaz.Validation[String,Int]
в конструктор типа M[_]
, который классифицируется классом типа scalaz.Bind
Я предполагаю, что ошибка вызвана компилятором, не может найти экземпляр Monad
для Validation[String, Int]
Я могу сделать один для себя, например:
object Instances {
implicit def validationMonad[E] = new Monad[({type L[A] = Validation[E, A]})#L] {
override def point[A](a: => A) =
Validation.success(a)
override def bind[A, B](fa: Validation[E, A])(f: A => Validation[E, B]) =
fa bind f
}
}
но почему у него нет Validation
? в конце концов, Validation
уже имеет метод bind
.
Кроме того, я больше не могу иметь import Validation._
и import Instances._
(это заставило меня задуматься...), из-за еще одной сложной ошибки...
неоднозначные неявные значения: что-то вроде обоих validationMonad
(мой экземпляр) и метода ValidationInstances1
в признаке ValidationInstances2
... оба соответствуют некоторым Functor of Validation
...
должен ли я изменить источник scalaz? или я совсем чего-то не хватает?
пожалуйста, помогите ~
Я использую scalaz 7.0.0-M2