Welcome to DepTyCheck’s documentation!
- About this documentation
- Tutorials
- Installation and First Steps
- 1. The Generator Monad: Your First Generator
- 2. Handling Emptiness: When a Type Has No Values
- 3. Measuring Your Test Coverage
- 4. Automatic Generator Derivation
- 5. DeriveGen Signatures: Controlling What Gets Generated
- 6. Mixing Manual and Automatic Generation
- 7. Beyond Fuel: A Tutorial on Structural Recursion
- 8. Generating GADTs with Proof Constraints
- 9. Toy Example: Generating ASTs for a DSL
- 10. Advanced Derivation Tuning
- How-to guides
- Reference
- Explanation