io-monad

name	io-monad
description	Prefer MonadIO and MonadUnliftIO type classes over using IO directly, and avoid redundant liftIO. Use when writing or reviewing Haskell IO actions, monad transformers, or type class abstractions.
user-invocable	false

IOモナドの扱い

IOをなるべく直接使わず型クラスを使う

IOモナドはプリミティブすぎます。

他のモナド変換子などと一緒に取り扱うのが不便です。

呼び出すたびにliftIOを使うのは面倒です。

なのでアクションを定義するときは出来る限りIOを直接使うのではなく、 MonadIOや、 MonadUnliftIOといった、 型クラスで抽象化するべきです。

MonadIOの方がより一般的なので、 先にそちらで定義出来ないか検討するべきです。

MonadUnliftIOの定義では、

class MonadIO m => MonadUnliftIO (m :: Type -> Type)

となっているため、 MonadUnliftIOのインスタンスは必ずMonadIOのインスタンスも持ちます。 なのでMonadUnliftIOの中でMonadIOの関数を呼び出すことはできるので、 MonadIOにすることに問題はありません。

MonadUnliftIOが要求される場合はそちらで定義してください。

IO内部でMonadUnliftIOのアクションを実行する

MonadIOやMonadUnliftIOの文脈でIOのアクションを実行する場合はliftIOを使うだけで良いです。

IOの文脈でMonadUnliftIOのアクションを実行する場合はひと工夫必要な時があります。

以下の関数を使うことで解決できます。

askRunInIO :: MonadUnliftIO m => m (m a -> IO a)

askRunInIOをMonadUnliftIOの文脈で呼び出すことで、 MonadUnliftIOのアクションをIOに変換する関数を取得できます。

この関数をrunInIO関数などの名前で束縛して、 IOを要求するライブラリの型に対して、 MonadUnliftIOのアクションをrunInIOで包んで渡すことが出来ます。

または単発で済むならば以下の関数を使っても良いでしょう。

toIO :: MonadUnliftIO m => m a -> m (IO a)

無駄なliftIOの禁止

既にMonadIO m => m aのような型を持っている関数を、 liftIOに渡しても問題なく動きますが、 無意味に冗長で読みにくいので、 liftIOなしでそのまま呼び出してください。