Property-Based Testing
![[R logo]](../../../doc/html/Rlogo.svg)
![[Up]](../../../doc/html/left.jpg)
![[Top]](../../../doc/html/up.jpg)
Documentation for package ‘hedgehog’ version 0.1
Help Pages
| hedgehog-package | Property based testing in R |
| 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 |