※ 本記事はextensible-effectsパッケージではなくextensibleパッケージの Data.Extensible.Effectモジュールについての記事です 解答 context :: ( Associate "greet" (WriterEff [String]) xs , Associate "message" (WriterEff [String]) xs ) => Eff xs ()
![extensibleのAssociateを使ったEff型を具体型にする - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/d97c48c0f15bccc07e23dd01dcfe045d6bbaa804/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9ZXh0ZW5zaWJsZSVFMyU4MSVBRUFzc29jaWF0ZSVFMyU4MiU5MiVFNCVCRCVCRiVFMyU4MSVBMyVFMyU4MSU5RkVmZiVFNSU5RSU4QiVFMyU4MiU5MiVFNSU4NSVCNyVFNCVCRCU5MyVFNSU5RSU4QiVFMyU4MSVBQiVFMyU4MSU5OSVFMyU4MiU4QiZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1jbGlwPWVsbGlwc2lzJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9NTc1ZjYzYjg0MzBkYzdhZDZkY2Y0NTJiNGUyN2Q5MmM%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwYWl5YTAwMCZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9YzNmMTM4MGZhNzk1OWEyYzgwZTQyYjMwYjE0N2YyNTI%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3Dc2be786882b4b55e483c60c52a702a78)
extensibleは拡張可能レコードだけでなく拡張可能作用(extensible effects)も用意している。拡張可能作用は一時期Haskell界隈で話題になったものの、今では人気も下火になってしまった。新しいバージョンをリリースした今、拡張可能作用の動機と使い方について改めて紹介しよう。 難行の一次関数 Haskellでモナドをカスタマイズする方法としては、transformersのモナド変換子がよく使われている。モナド変換子は、モナドをパラメータとして取り、新たな能力を付与したモナドにする構造だ。例えば、StateT sはモナド変換子の一つである。任意のアクションm aはliftを使ってStateT s m aに変換できる。 newtype StateT s m a = StateT { runStateT :: s -> m (a, s) } 他にもReaderT, Write
As of March 2020, School of Haskell has been switched to read-only mode. An operational monad is a data type parameterised by a set of operations t, and it gives a Monad instance for free. It upgrades extensible sums, aka. open unions, into an extensible effect monad (Oleg Kiselyov and Hiromi Ishii. Freer Monads, More Extensible Effects, 2015). Extensible effects release you from the obligation to
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く