モナドの合成法
ちょっとタイトルは適切でないかもしれない
mrsekut.icon
理解不足なので付けられない
という観点での類例
ref
Freeモナド
FunctorをMonadに変換するもの
Functor自体は合成しやすいので、ここで合成しておいて、最後にFreeモナドすれば、良い感じにモナドの合成ができる
モナド変換子
tagless final
通常のASTと、その周辺の関数の定義
Freerモナド
Freer Effects
rio
Extensible Effects
EffSkelton
extensible-skelton
https://hackage.haskell.org/package/extensible-skeleton
Service Handle pattern
Rank 'n Classy Limited Effects
古い
https://speakerdeck.com/inamiy/iosdc-japan-2021?slide=45