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.
Installs into .claude/skills of the current project.
Are you the author of Io Monad?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/ncaq-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`](https://hackage-content.haskell.org/package/base/docs/Control-Monad-IO-Class.html)や、
[`MonadUnliftIO`](https://hackage.haskell.org/package/unliftio-core/docs/Control-Monad-IO-Unlift.html)といった、
型クラスで抽象化するべきです。
`MonadIO`の方がより一般的なので、
先にそちらで定義出来ないか検討するべきです。
`MonadUnliftIO`の定義では、
```haskell
class MonadIO m => MonadUnliftIO (m :: Type -> Type)
```
となっているため、
`MonadUnliftIO`のインスタンスは必ず`MonadIO`のインスタンスも持ちます。
なので`MonadUnliftIO`の中で`MonadIO`の関数を呼び出すことはできるので、
`MonadIO`にすることに問題はありません。
`MonadUnliftIO`が要求される場合はそちらで定義してください。
## `IO`内部で`MonadUnliftIO`のアクションを実行する
`MonadIO`や`MonadUnliftIO`の文脈で`IO`のアクションを実行する場合は`liftIO`を使うだけで良いです。
`IO`の文脈で`MonadUnliftIO`のアクションを実行する場合はひと工夫必要な時があります。
以下の関数を使うことで解決できます。
```haskell
askRunInIO :: MonadUnliftIO m => m (m a -> IO a)
```
`askRunInIO`を`MonadUnliftIO`の文脈で呼び出すことで、
`MonadUnliftIO`のアクションを`IO`に変換する関数を取得できます。
この関数を`runInIO`関数などの名前で束縛して、
`IO`を要求するライブラリの型に対して、
`MonadUnliftIO`のアクションを`runInIO`で包んで渡すことが出来ます。
または単発で済むならば以下の関数を使っても良いでしょう。
```haskell
toIO :: MonadUnliftIO m => m a -> m (IO a)
```
## 無駄な`liftIO`の禁止
既に`MonadIO m => m a`のような型を持っている関数を、
`liftIO`に渡しても問題なく動きますが、
無意味に冗長で読みにくいので、
`liftIO`なしでそのまま呼び出してください。
