export

A Haskell module-export guideline. An export list controls which functions and types other modules can use, while re-exporting makes imported names available again.

In plain words
What is it for?
Use it when writing or reviewing Haskell export lists. Explicitly list public symbols and re-export only modules that callers nearly always need together.
Why use it?
It makes a module’s public interface clear and helps avoid hidden dependencies, difficult import cycles, and slower incremental builds.

Skill for Claude CodeCodex

Part of the haskell-tasuke plugin — 19 skills shipped together

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add skills/ncaq/konoka/export
Any agent
npx skills add ncaq/konoka --skill export
Clone the repo
git clone --depth 1 https://github.com/ncaq/konoka

Made for: Claude Code, Codex.

Or install haskell-tasuke, the plugin that ships this one along with the rest of its 19 skills.

Per session 33 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 417 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5 $0.00033 $0.00417
Opus 5 $0.00016 $0.00209
Sonnet 5 $0.00007 $0.00083
Haiku 4.5 $0.00003 $0.00042

Measured 2d ago against content hash a9aaa2e42f4d, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

export scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

plugins/haskell-tasuke/skills/export/SKILL.md · 42 lines

What it actually says

exportの原則

exportは明示的に列挙する

exportでモジュールの全てのシンボルを暗黙的に公開するのは原則禁止です。

外部に公開しないといけないシンボルだけをexportしてください。

結果的に全てのシンボルをexportすることになっても、 明示的に列挙してください。

明示的に列挙することで公開しているAPIが明確になり、 デッドコードの検出なども簡単になります。

ただしTemplate Haskellでシンボルを大量に生成して、 それを全てexportしないといけない場合で、 大量生成されたシンボルを把握するのが困難な場合は、 短縮された全てをexportする構文を許可します。

re-exportは控える

importしたモジュールを再度exportするre-exportは慎重に使ってください。

re-exportをすることでimportの依存関係が複雑になり、 循環参照のcycle importが起きた時に原因を特定するのが難しくなります。

また本来必要のない依存関係が発生していることに気が付かなくて、 インクリメンタルビルドの効率に悪影響を与えることもあります。

ライブラリやレイヤーのimportされるトップレベルモジュールの場合は、 慣習的にも問題ないことが多いです。

その他の場合は、 このモジュールを使うなら、 ほぼ絶対にセットでimportするだろうというモジュールのみをre-exportしてください。

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 2d ago First seen · 42 lines · 33 tokens per session scan A a9aaa2e42f4d

Subscribe to this mod's changes

export is a skill published in the GitHub repository ncaq/konoka (3 stars, last pushed 4d ago), licensed Apache-2.0. It adds 33 tokens to every session and 417 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.