26 lines
541 B
Markdown
26 lines
541 B
Markdown
|
# 26-haskell-quickcheck
|
||
|
|
|
||
|
|
This example shows intermediate Haskell property testing with QuickCheck.
|
||
|
|
|
||
|
|
It includes:
|
||
|
|
|
||
|
|
- a non-trivial window normalization function,
|
||
|
|
- a CLI that renders merged maintenance windows,
|
||
|
|
- QuickCheck properties for normalization shape, idempotence, and coverage, and
|
||
|
|
- a test suite run by `nix flake check`.
|
||
|
|
|
||
|
|
Useful commands:
|
||
|
|
|
||
|
|
```bash
|
||
|
|
nix develop
|
||
|
|
cabal run
|
||
|
|
cabal run -- 0-10 8-14 20-24 24-30
|
||
|
|
cabal test
|
||
|
|
|
||
|
|
nix build
|
||
|
|
./result/bin/mini-windows 0-10 8-14 20-24 24-30
|
||
|
|
|
||
|
|
nix run . -- 0-10 8-14 20-24 24-30
|
||
|
|
nix flake check
|
||
|
|
```
|