170 CLI command to generate PHI term #511
Draft
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
PR-Codex overview
This PR introduces the
QuickCheck
library for property-based testing and adds functionality for generating random PHI terms. It enhances the command-line interface to support new generation commands and includes a new module for term generation.Detailed summary
unordered-containers
andcontainers
frompackage.yaml
.QuickCheck
to dependencies ineo-phi-normalizer.cabal
.Language.EO.Phi.Generate
module for generating random PHI terms.CLI'Generate
data type for new command-line options.commandParser
andcommandParserInfo
to include generation commands.generateObjectsWith
function for generating objects based on specified parameters.