https://github.com/etorreborre/registry-hedgehog

registry utilities to work with Hedgehog generators
https://github.com/etorreborre/registry-hedgehog

Last synced: 7 days ago
JSON representation

registry utilities to work with Hedgehog generators

• Host: GitHub
• URL: https://github.com/etorreborre/registry-hedgehog
• Owner: etorreborre
• License: other
• Created: 2019-05-08T13:18:22.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2023-12-02T15:53:58.000Z (12 months ago)
• Last Synced: 2024-05-01T22:38:52.222Z (7 months ago)
• Language: Haskell
• Size: 232 KB
• Stars: 7
• Watchers: 7
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Funding: .github/FUNDING.yml
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
# `registry-hedgehog` [![Hackage](https://img.shields.io/hackage/v/registry-hedgehog.svg)](https://hackage.haskell.org/package/registry-hedgehog) [![Build Status](https://github.com/etorreborre/registry-hedgehog/workflows/ci/badge.svg)](https://github.com/etorreborre/registry-hedgehog/actions)

##### *It's functions all the way down* 

#### Presentation

This library is an add-on to [`registry`](https://github.com/etorreborre/registry), providing useful functions to create and run Hedgehog properties.

 - it unifies the idea of a test and a property: a test is which runs only once

 - it provides an easy way to wire Hedgehog generators using the [`registry`](https://github.com/etorreborre/registry) library

 - it gives you ways to precisely control the data generation by modifying existing generators and compose those modifications

The main modules are:

 - `Data.Registry.Hedgehog`: functions used to modify a registry containing generators

 - `Test.Tasty.Hedgehogx`: supplement to the `Test.Tasty.Hedgehog` module to declare and modify tests/properties

#### Tutorials and examples

 - some examples of usage in the form of a [small specification](./test/Test/Data/Registry/HedgehogSpec.hs)

 - [tutorial with a data model](./doc/tutorial.md)