Impilare effetti monadici in una Monade libera in Scala

Question

Sto imparando la monade libera in Scala, e ho messo insieme un semplice esempio di algebra che posso sollevare in una monade libera usando i gatti.

Ecco la mia algebra

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

E io sono in grado di usarlo come

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

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

Quando è effettuata implicitamente il sollevamento ConsultationOp-Free.

(c'è un sacco di dettagli mancanti, l'implementazione di lavoro completo è qui: https://github.com/gabro/free-api)

Fin qui tutto bene, ma se ho bisogno di estrarre il valore opzionale restituito da consultation.Get.

La prima cosa che viene in mente è un trasformatore Monade, vale a dire qualcosa come

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

ma sembra brutto, e non mi sembra giusto.

Qual è il modo glorificato, se esiste, di impilare effetti monadici quando si utilizza una monade libera?

Answer 1

Il modo più comune che vedo ricorrenti in questi casi è quello di utilizzare traversata, così si potrebbe modificare il codice lungo le linee di:

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

Il che, secondo me, è molto più pulita rispetto al trasformatore Monade alternativa . Nota che potresti aver bisogno di altri import e modificare leggermente il codice, non l'ho provato, ma il concetto è: usa la traversa.