constrained-generators: Framework for generating constrained random data using a subset of first order logic
Modules
[Index] [Quick Jump]
- Constrained
- Constrained.API
- Constrained.AbstractSyntax
- Constrained.Base
- Constrained.Conformance
- Constrained.Core
- Constrained.DependencyInjection
- Constrained.Env
- Constrained.Examples
- Constrained.FunctionSymbol
- Constrained.GenT
- Constrained.Generation
- Constrained.Generic
- Constrained.Graph
- Constrained.List
- Constrained.NumOrd
- Constrained.PrettyUtils
- Constrained.Properties
- Spec
- Constrained.SumList
- Constrained.Syntax
- Constrained.Test
- Constrained.TheKnot
- Constrained.TypeErrors
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| dev | Enable development mode | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- constrained-generators-0.2.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.2.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.18 && <5), base-orphans, constrained-generators, containers, mtl, prettyprinter, QuickCheck (>=2.15.0.1 && <2.18), random, template-haskell [details] |
| License | Apache-2.0 |
| Author | IOHK |
| Maintainer | operations@iohk.io |
| Uploaded | by lehins at 2026-07-10T20:22:20Z |
| Source repo | head: git clone https://github.com/input-output-hk/constrained-generators |
| Distributions | |
| Downloads | 1 total (1 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2026-07-10 [all 1 reports] |