R: Property-Based Testing

# Property-Based Testing

## Documentation for package ‘hedgehog’ version 0.2

- DESCRIPTION file
- User guides, package vignettes and other documentation

## Help Pages

command | State based testing commands
discard | Discard a test case
expect_sequential | Execute a state machine model
forall | Hedgehog property test
gen | Generators
gen-element | Random Sample Generation
gen-monad | Generators
gen.actions | Generate a list of possible actions.
gen.and_then | Generators
gen.beta | Generate a float with a gamma distribution
gen.bind | Generators
gen.c | Generate a vector of values from a generator
gen.choice | Random Sample Generation
gen.date | Generate a date between the from and to dates specified.
gen.element | Random Sample Generation
gen.example | Sample from a generator.
gen.gamma | Generate a float with a gamma distribution
gen.impure | Generators
gen.int | Random Sample Generation
gen.list | Generate a list of values, with length bounded by the size parameter.
gen.map | Generators
gen.no.shrink | Stop a generator from shrinking
gen.pure | Generators
gen.recursive | Build recursive structures in a way that guarantees termination.
gen.run | Run a generator
gen.sample | Random Sample Generation
gen.sample.int | Random Sample Generation
gen.shrink | Helper to create a generator with a shrink function.
gen.sized | Sized generator creation
gen.structure | Generate a structure
gen.subsequence | Random Sample Generation
gen.unif | Generate a float between the from and to the values specified.
gen.with | Generators
generate | Compose generators
hedgehog | Property based testing in R
shrink.halves | Shrink a number by dividing it into halves.
shrink.list | Shrink a list by edging towards the empty list.
shrink.removes | Produce permutations of removing num elements from a list.
shrink.towards | Shrink an integral number by edging towards a destination.
symbolic | A symbolic value.
tree | Lazy rose trees
tree.bind | Lazy rose trees
tree.expand | Lazy rose trees
tree.liftA2 | Lazy rose trees
tree.map | Lazy rose trees
tree.replicate | Creating trees of lists
tree.replicateS | Creating trees of lists
tree.sequence | Lazy rose trees
tree.unfold | Lazy rose trees
tree.unfoldForest | Lazy rose trees