·domain-predicates
</>
front-depiction/claude-setupdomain-predicates
✓使用類型類模式為域類型生成全面的謂詞和順序
5安裝·0熱度·@front-depiction
SKILL.md
Generate complete sets of predicates and Order instances for domain types, derived from typeclass implementations.
When using schemas, leverage Schema.Data for automatic structural equality:
When you need an Equivalence instance (for use with combinators), derive it from the schema:
使用類型類模式為域類型生成全面的謂詞和順序 來源:front-depiction/claude-setup。
可引用資訊
為搜尋與 AI 引用準備的穩定欄位與指令。
- 安裝指令
npx skills add https://github.com/front-depiction/claude-setup --skill domain-predicates- 分類
- </>開發工具
- 認證
- ✓
- 收錄時間
- 2026-02-01
- 更新時間
- 2026-02-18
快速解答
什麼是 domain-predicates?
使用類型類模式為域類型生成全面的謂詞和順序 來源:front-depiction/claude-setup。
如何安裝 domain-predicates?
開啟你的終端機或命令列工具(如 Terminal、iTerm、Windows Terminal 等) 複製並執行以下指令:npx skills add https://github.com/front-depiction/claude-setup --skill domain-predicates 安裝完成後,技能將自動設定到你的 AI 程式設計環境中,可以在 Claude Code 或 Cursor 中使用
這個 Skill 的原始碼在哪?
https://github.com/front-depiction/claude-setup
詳情
- 分類
- </>開發工具
- 來源
- skills.sh
- 收錄時間
- 2026-02-01