Categorical Property Testing

Property-based testing framework for validating categorical laws using fp-ts and fast-check.

Installation

npm install fp-ts fast-check
npm install -D vitest @types/node

Core Laws

Functor Laws

1. Identity:    F.map(fa, identity) ≡ fa
2. Composition: F.map(fa, x => g(f(x))) ≡ F.map(F.map(fa, f), g)