Man pages for hedgehog
Property-Based Testing
| command | State based testing commands |
| discard | Discard a test case |
| expect_sequential | Execute a state machine model |
| forall | Hedgehog property test |
| gen.actions | Generate a list of possible actions. |
| gen.beta | Generate a float with a gamma distribution |
| gen.c | Generate a vector of values from a generator |
| gen.date | Generate a date between the from and to dates specified. |
| gen-element | Random Sample Generation |
| generate | Compose generators |
| gen.example | Sample from a generator. |
| gen.gamma | Generate a float with a gamma distribution |
| gen.list | Generate a list of values, with length bounded by the size... |
| gen-monad | Generators |
| gen.no.shrink | Stop a generator from shrinking |
| gen.recursive | Build recursive structures in a way that guarantees... |
| gen.run | Run a generator |
| gen.shrink | Helper to create a generator with a shrink function. |
| gen.sized | Sized generator creation |
| gen.structure | Generate a structure |
| gen.unif | Generate a float between the from and to the values... |
| 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.replicate | Creating trees of lists |
