メニュー
Search Haskell APIs using Hoogle. Use when working with Haskell projects to look up function signatures, find functions by type, discover library documentation, or identify which module exports an item.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
Format Haskell package descriptions and cabal project files with cabal-gild: *.cabal, cabal.project, cabal.project.local, and cabal.project.freeze. Use after editing dependencies or stanzas, when refreshing cabal-gild discover module lists, or when checking cabal file formatting.
Format Haskell source files: *.hs, *.lhs, and *.hsig, with the project's configured formatter: fourmolu, ormolu, or stylish-haskell. Use before compiling, after source edits, and when applying project style.
Super-skill for developing Haskell projects with cabal nix-style builds. Orchestrates HLS diagnostics, Haddock, Hoogle, source formatting, and cabal-gild into one workflow. Use when writing, editing, refactoring, building, typechecking, fixing compiler errors, renaming symbols, looking up APIs, or changing dependencies in Haskell projects. Treat cabal.project as the source of truth, prefer HLS before full builds, and prefer local docs over remote lookup.
Read Haskell package documentation, Haddock HTML, Hackage pages, or dependency source for cabal nix-style projects. Prefer locally built/cached docs and source from the cabal store, dist-newstyle, plan.json, and repo-cache; fall back to Hackage only for packages outside the project dependency set or when local docs are unavailable.
SOC 職業分類に基づく
| name | hoogle |
| description | Search Haskell APIs using Hoogle. Use when working with Haskell projects to look up function signatures, find functions by type, discover library documentation, or identify which module exports an item. |
Hoogle is a Haskell API search engine. Use it to find functions by name or by type signature.
Use Hoogle when:
a -> b -> a.Search by function name:
.codex/skills/hoogle/scripts/hoogle-search.sh "map"
Search by type signature:
.codex/skills/hoogle/scripts/hoogle-search.sh "a -> b -> a"
Search with a package filter:
.codex/skills/hoogle/scripts/hoogle-search.sh "+base map"
.codex/skills/hoogle/scripts/hoogle-search.sh "+containers Data.Map.lookup"
Get detailed information for the first result:
.codex/skills/hoogle/scripts/hoogle-search.sh "foldl" --info
Remote search is available when local search is unavailable or insufficient:
.codex/skills/hoogle/scripts/hoogle-remote.sh "map"
The search scripts return JSON:
{
"results": [
{
"url": "https://hackage.haskell.org/package/base/docs/Prelude.html#v:map",
"module": { "name": "Prelude", "url": "..." },
"package": { "name": "base", "url": "..." },
"item": "map :: (a -> b) -> [a] -> [b]",
"docs": "..."
}
],
"query": "map",
"count": 10
}
Key fields are item, docs, module.name, and package.name.
Before local searching, ensure the Hoogle database exists:
.codex/skills/hoogle/scripts/hoogle-init-db.sh
For project-specific searches, generate a local database from Haddock docs:
.codex/skills/hoogle/scripts/hoogle-init-db.sh --local /path/to/haddock/docs
| Goal | Query Example |
|---|---|
| Find function by name | filter |
| Find by exact type | (a -> Bool) -> [a] -> [a] |
| Find in specific package | +lens view |
| Find class methods | Monad m => m a -> m b |
| Find by partial type | Map k v -> k -> Maybe v |
If searches fail with database errors, regenerate the database:
.codex/skills/hoogle/scripts/hoogle-init-db.sh --force
If local search cannot work, use remote search or Hoogle's JSON endpoint:
https://hoogle.haskell.org/?hoogle=<URL_ENCODED_QUERY>&mode=json