菜单
Servant client API wrapper conventions with two-layer error handling. Use when generating HTTP clients from Servant APIs, wrapping external service APIs, or integrating servant-client with effectful.
默认使用会先检查来源的 Prompt；你也可以切换为直接命令，或下载本地副本。
决定是否安装前，请先阅读 SKILL.md，以及 SkillsMP 当前展示的配套文件。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt；运行前请先检查来源。
npx skills add https://github.com/birdgg/haskell-plugin --skill haskell-servant-client命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地？可下载 SkillsMP 当前能够提供的文件。
基于 SOC 职业分类
正在显示 SKILL.md
| name | haskell-servant-client |
| description | Servant client API wrapper conventions with two-layer error handling. Use when generating HTTP clients from Servant APIs, wrapping external service APIs, or integrating servant-client with effectful. |
ClientError (network/HTTP) and domain-specific error (parsed from response body) as distinct constructorsGeneric, Show, Eq with deriving stockNFData on all error types for deep evaluationException on the top-level client error for IO interopdata SlackClientError
= ServantError ClientError
| SlackError ResponseSlackError
deriving stock (Eq, Generic, Show)
instance NFData SlackClientError
instance Exception SlackClientError
newtype ResponseJSON a = ResponseJSON (Either DomainError a) to parse API envelopesFromJSON instance checks the ok field and branches to error or payload parsingunnestErrors to collapse Either ClientError (ResponseJSON a) into Response anewtype ResponseJSON a = ResponseJSON (Either ResponseSlackError a)
unnestErrors :: Either ClientError (ResponseJSON a) -> Response a
_): chatPostMessage_ :: AuthReq -> PostMsgReq -> ClientM (ResponseJSON PostMsgRsp)chatPostMessage :: SlackConfig -> PostMsgReq -> IO (Response PostMsgRsp)AuthProtect "token" in the API type with type instance AuthClientData (AuthProtect "token") = TextauthenticateReq to add Authorization: Bearer <token> headerManager + token in a config record (SlackConfig)PagedRequest / PagedResponse typeclasses with cursor-based iterationtype LoadPage m a = m (Response [a]) for paginated fetchingfetchAllBy :: (req -> m (Response resp)) -> req -> m (LoadPage m a) combinatorError constraints on GADT constructors -- caller decides error scopeadapt pattern: liftIO + C.catch + localSeqUnlift to convert ClientError to effect errorsdata MyServiceClient :: Effect where
ListItems :: Error MyServiceError :> es => MyServiceClient (Eff es) [Item]
ClientError and domain errors into a single sum type without distinctionNFData instances (prevents deep evaluation, hides thunk leaks)Either ClientError a to callers instead of domain error typesBaseUrl instead of reading from configException instance on error types (breaks IO boundary interop)Error constraint to interpreter signature instead of GADT constructor (effectful)ResponseJSONFor complete code examples (error types, ResponseJSON, auth, pagination, effectful integration):
references/servant-client-examples.mdBuild a Haskell project, interpret GHC errors, and apply safe fixes. Use when the user asks Codex to build Haskell code, fix compilation errors, or run cabal/stack build workflows.
Expert Haskell code review for idiomatic patterns, type safety, purity, error handling, and performance. Use when reviewing Haskell source files or PR changes.
Run and interpret Haskell test suites. Use when the user asks Codex to run HSpec, QuickCheck, Tasty, cabal test, stack test, or diagnose failing Haskell tests.