İki tip savunmalarını alan bir monad trafo tipi varsa liftM

Question

ile Scalaz 7'nin EitherT nasıl kullanılır, ben dönüştürülmüş monad içine değerlerini kaldırmak için liftM kullanabilirsiniz

scala> val e = 1.point[List].liftM[({type l[a[+_],b] = EitherT[a, String, b]})#l] 
e: scalaz.EitherT[List,java.lang.String,Int] = scalaz.EitherTFunctions$$anon$14@3f8905ca 

bunu yapmanın uygun yolu nedir: bir tür takma (veya bir tür lambda) kullanması gerekir gibi EitherT görünüyor? İdeal ifade (val blah: EitherT[List, String, Int] = 1.point[List].liftM gibi bir şey) kullanarak ifade türünü kullanarak liftM tür argümanını ideal olarak çıkar.

Answer 1

Orada genel olarak çok argüman türü Kurucular işlemek için daha iyi bir yol olarak görünmüyor, ancak EitherT spesifik durumda kullanabileceğimiz EitherT.right:

scala> val o: EitherT[List, String, Int] = EitherT.right(1.point[List]) 
o: scalaz.EitherT[List,String,Int] = scalaz.EitherTFunctions$$anon$14@12fa8880