io-monadlisted
Install: claude install-skill ncaq/konoka
# 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`なしでそのまま呼び出してください。