Tutorials
Tutorials are the learning-oriented pieces of the documentation. They are intended for the new-comers, people who never used the library and want to give it the first try. Tutorials’ authors are fully responsible for the steps the learner gets through.
Tutorials are meant to be satisfying, reproducible, rather simple and very concrete lessons or recipes. They should not contain much explanations, they should contain links to Explanation instead. You can read more in the original framework about what tutorials are meant to be.
Choose what to learn
- 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