Monad transformer per NonEmptyList?

Question

Mi sembra che Scalaz 'NonEmptyList abbia un'istanza monad, quindi un trasformatore monad per esso (un po' simile a ListT) dovrebbe essere possibile. È corretto?

Se è così, c'è uno là fuori? (Non riuscivo a trovarne uno in Scalaz 7.)

In caso contrario, ad esempio un trasformatore monad per esso sarebbe impossibile o non ha alcun senso, sarei grato per qualsiasi spiegazione aggiuntiva sul perché no.

Answer 1

È certamente possibile, come si può dimostrare che ogni monade che dispone di un'istanza Traverse può essere trasformato in un trasformatore monad:

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)) 
    } 
} 

Questo non è chiaramente la forma più conveniente da lavorare, ma spettacoli che è, infatti, possibile. Tom Switzer sta attualmente lavorando all'aggiunta di un trasformatore monod TraverseT molto più utile e generico a scalaz. È possibile see his progress on GitHub