« Changelog History


generic-random v1.0.0.0 Release Notes

Release Date: 2017-08-23 // over 6 years ago
    • 👉 Make the main module Generic.Random
    • Rework generic base case generation
      • You can explicitly provide a trivial generator (e.g., returning a nullary constructor) using withBaseCase
      • Generically derive BaseCaseSearch and let BaseCase find small values, no depth parameter must be specified anymore
    • ➕ Add genericArbitrarySingle, genericArbitraryRec, genericArbitraryU'
    • 🗄 Deprecate weights
    • 🛠 Fixed bug with genericArbitrary' not dividing the size parameter