·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