Otter_O https://blog.hatena.ne.jp/Otter_O/ 取り急ぎブログです https://otter-o.hatenadiary.org/ Haskell 昨日のモナドトランスフォーマーの勉強中に使ったliftIOですが、勘違いをしていたことにやっと気がつきました。liftIOの型情報は liftIO :: IO a -> m a と、この関数だけ見るとIOアクションをほかのどんな形のモナドにでも挿げ替えてくれるハッキーな関数のようにしか見えなかったのですが、もうちょっと周りを見ると、実は、このliftIOはMonadIOというクラスのメソッドなんですね。そして、このクラスのインスタンス宣言のほうにも大切な情報が隠れていました。 class Monad m => MonadIO m where liftIO :: IO a -> m a Inst… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fotter-o.hatenadiary.org%2Fentry%2F20080221%2F1203577585" title="MonadIOクラスのこと - 取り急ぎブログです" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-02-21 16:06:25 rich https://otter-o.hatenadiary.org/entry/20080221/1203577585 1.0 100%