Reference

Reference is the information-oriented piece of the documentation. It contains technical descriptions of the machinery. It is meant for users or contributors of the library to be used for… hmm… reference!

You can learn more about what is meant to be in the reference part in the original framework.

• For users
  • Property-based testing
  • Gen monad
  • Derivation functionality
    • Functions reference
• For contributors
  • Gen monad internals
  • Derivation internals
    • Derivation task
    • Closure of generators
    • Analysis of data for recursion
    • Derivation tuning via parametrisation
    • Dependencies calculation
    • Ordering in the “least-effort” strategy