NonEmptyList用のモナドトランス？

Question

ScalazのNonEmptyListにはモナドのインスタンスがあるので、モナドトランス（ListTに似ています）が可能であるはずです。あれは正しいですか？

もしそうなら、そこに1つはありますか？ （私はScalaz 7自体では見つけられませんでした）

もしそうでなければ、それのモナド変圧器は不可能かどうかわかりませんが、私はなぜそうではないかについての追加の説明に感謝します。トラバースインスタンスを持つ任意のモナドはモナド変換子にすることができることを示すことができるよう

Answer 1

それは、確かに可能です：

import scalaz._ 
import Scalaz._ 

object MonadT { 
    implicit def monadTransformerFromTraverse[M[_]: Monad, N[_]: Monad: Traverse]: Monad[({type MN[A]=M[N[A]]})#MN] = new Monad[({type MN[A]=M[N[A]]})#MN] { 
    def point[A](a: => A): M[N[A]] = a.point[N].point[M] 
    def bind[A,B](fa: M[N[A]])(f: A=>M[N[B]]) : M[N[B]] = { 
     val M = implicitly[Monad[M]] 
     val NT = implicitly[Traverse[N]] 
     val N = implicitly[Monad[N]] 

     M.map(M.join(M.map(M.map(fa)(N.map(_)(f)))(NT.sequence(_))))(N.join) 
//      |- => M[N[M[N[B]]]] -| 
//     |-  => M[M[N[N[B]]]]     -| 
//   |-    => M[N[N[B]]]      -| 
// |-     => M[N[B]]         -| 


    } 
    } 

    def main(argv: Array[String]) { 
    val x: Option[NonEmptyList[Int]] = Some(NonEmptyList(1)) 
    val f: Int => Option[NonEmptyList[Int]] = { x: Int => Some(NonEmptyList(x+1)) } 

    val MT = monadTransformerFromTraverse[Option, NonEmptyList] 
    println(MT.bind(x)(f)) // Some(NonEmptyList(2)) 
    } 
} 

これははっきりと連携するための最も便利な形態ではなく、ショーそれは確かに可能です。 Tom Switzerは現在、はるかに有用で一般的なTraverseTモナド変圧器をscalazに追加する作業を行っています。あなたはできますsee his progress on GitHub