Harita üzerinde Scalaz Doğrulama hatası

Question

import scalaz._ 
import Scalaz._ 

"abc".parseInt 

Bu, Validation[NumberFormatException, Int] döndürecektir. Validation[String, Int] almak için hata tarafında bir işlev uygulayabilmemin bir yolu var mı (toString gibi)?

Answer 1

iyi bir şeyler gelebilir. Bunu böylece Validation, bir bifunctor olur: genellikle soldan sağa akar

((_:NumberFormatException).toString) <-: "123".parseInt 

Scala'nın tip çıkarsama, bu nedenle bu aslında kısadır:

"123".parseInt.<-:(_.toString) 

Ve daha az ek açıklama gerektirir.

Answer 2

FailProjection üzerinde bir functor var. Yani

v.fail.map(f).validation 

yapabilirdi

Alternatif

v.fold(f(_).failure, _.success) 

Hem biraz ayrıntılı (Bundan kurtulmak için FailProjection, doğrulama gibi yazması başarısız). Belki scalaz daha aşina birisi sürece Bifunctor[M] olmadığı için herhangi M[A, B] sol ve sağ tarafında haritasına MAB[M[_,_], A, B] tanımlanan yöntemlerin <-: ve :-> bir çift vardır