categorical-property-testing
CommunityVerify algebraic laws with property-based tests.
Software Engineering#TypeScript#fast-check#fp-ts#property-based-testing#monad-laws#functor-laws#algebraic-laws
Authormanutej
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill eliminates the manual burden of validating algebraic laws in TypeScript FP code by providing property-based testing tooling. It ensures that functional abstractions like Functor and Monad obey laws across a variety of input scenarios.
Core Features & Use Cases
- Property-based testing for Functor, Monad, Apply, and natural transformations in fp-ts.
- Utilities that compare and verify common FP data types (Option, Either, Array) against algebraic laws.
- Quick integration with existing test suites using Vitest or Jest, enabling library authors and application developers to certify correctness.
Quick Start
Install fp-ts and fast-check, then create test files that assert laws using property-based tests without needing custom test harnesses.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: categorical-property-testing Download link: https://github.com/manutej/categorical-meta-prompting/archive/main.zip#categorical-property-testing Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.