scala - NonEmptyListのモナドトランスフォーマー?

Question

Scalaz にはモナド インスタンスがあるように思われるNonEmptyListので、そのためのモナド トランスフォーマー ( に少し似ていますListT) が可能になるはずです。あれは正しいですか？

もしそうなら、そこにはありますか？(Scalaz 7 自体には見つかりませんでした。)

そうでない場合、つまりモナド変換は不可能であるか、意味をなさないため、そうでない理由について追加の説明をいただければ幸いです。

Answer 1

Traverse インスタンスを持つ任意のモナドをモナド変換子にすることができることが示されているので、それは確かに可能です:

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 に追加する作業を行っています。彼の進行状況は GitHub で確認できます