القائمة
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.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
Generate a commit message from staged changes and let the user review before committing. Use when the user wants to commit changes or create a git commit.
Generate a GitHub pull request title and body from the current branch and let the user review before creation. Use when the user wants to create a pull request.
Investigate any topic by querying multiple external sources (web, official docs, GitHub, MCP servers). Use whenever a question requires information not already in the working context, including library behavior, API specifications, error diagnostics, version comparisons, or general factual lookup.
himari is ncaq's rio-like custom Haskell Prelude. Import it with a single `import Himari`, never `import Himari.Prelude` or other submodules directly. Use when writing or reviewing Haskell code in a project that depends on the himari package.
Prefer the most specific built-in method over general-purpose ones in TypeScript/JavaScript. Use includes over indexOf, some over filter().length, find over filter()[0], flatMap over map().flat(), at(-1) over length-based access, startsWith/endsWith/includes over indexOf on strings, structuredClone over JSON round-trip. Use when writing or reviewing code that searches, tests, transforms arrays, objects, or strings.
Avoid for loops (C-style, for...of, for...in) in TypeScript/JavaScript. Prefer higher-order Array methods like map, filter, find, some, every, reduce. Use when writing or reviewing loops or iteration over arrays, objects, Map, Set, or String.
| 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モナドはプリミティブすぎます。
他のモナド変換子などと一緒に取り扱うのが不便です。
呼び出すたびに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なしでそのまま呼び出してください。