Scalaのフリーモナドでのモナド効果の積み上げ

Question

私はScalaのフリーモナドについて学んでおり、私はネコを使ってフリーモナドに持ちこたえることができる簡単な代数の例をまとめました。

は、ここに私の代数

sealed trait ConsultationOp[A] 
object consultation { 
    case class Create(c: Consultation) extends ConsultationOp[Unit] 
    case class Get(s: ConsultationId) extends ConsultationOp[Option[Consultation]] 
} 

だと私はFreeからConsultationOpからリフティングが暗黙的に実行される

def app = for { 
    c <- consultation.Create(Consultation("123", "A consultation")) 
    _ <- consultation.Get(c._id) 
} yield() 

def interpreters = ConsultationInterpreter or UserInterpreter 
app.foldMap(interpreters) 

のようにそれを使用することができますよ。これまでのところ

とても良いが、何であれば、私はconsultation.Getによって返されたオプションの値を抽出する必要があります。

（https://github.com/gabro/free-api不足している詳細の多くがあります、完全な作業実装はここにあります）。

心に来る最初の事はモナド変換子である、すなわち

def app = for { 
    c <- consultation.Create(Consultation("123", "A consultation")).liftM[OptionT] 
    d <- OptionT(consultation.Get(c._id)) 
    _ <- doSomethingAConsultation(d) 
} yield() 

のようなものが、それは醜い、それが右に感じることはありません。

無料のモナドを使用しているときにモナド効果を積み重ねる方法は何ですか？

Answer 1

私はこれらの例に繰り返し見る一般的な方法は、あなたがの線に沿って、あなたのコード変更することができますので、トラバースを使用することです：

私見、モナド変換子の代替よりもはるかにきれいで、

import cats.syntax.traverse._ 
import cats.instances.option._ 

// ... 

def app = for { 
    c <- consultation.Create(Consultation("123", "A consultation")) 
    d <- consultation.Get(c._id) 
    _ <- d.traverseU(doSomethingAConsultation(_)) 
} yield() 

を。 importのコードを少し修正する必要があるかもしれませんが、私は試しませんでしたが、概念は：トラバースを使用することです。