スララのモナドトランス

Question

M[F[A]]を含む理解のために私は単純なモナドトランスフォーマーを試してきましたが、MとFはモナドです。 Sが別のモナドである場合、M[F[A]]とM[S[A]]をfor compで一緒に動作させるにはどうすればよいですか？例えば

：

val a: Future[List[Int]] = ... 
val b: Future[Option[Int]] = ... 

aはListT[Future, Int]とbOptionT[Future, Int]が必要ですが、これらは構成されていないが必要ですが、私は別の変圧器を使用する必要がありますか？これはfor compで使用する順序に依存しますか？

Answer 1

モナドトランスフォーマーは、タイプF[G[X]]の2つの値を作成するのに役立ちます。他の点では

彼らはあなたがMonad[G]が存在する場合は2 G[X]を構成する方法を知っているという事実を活用するので、モナド変圧器はF[G[X]]で動作します。

さて、F[G[X]とF[H[X]]の場合には、あなたがGとHはMonadインスタンスを持っていると述べている場合でも、あなたはまだそれらを構成する一般的な方法はありません。

F[G[X]]とF[H[X]]にはモナド変圧器の一般的な解決策がありません。