|
|
|
|
|
Description |
Uses magic to show and shrink functions.
|
|
Synopsis |
|
|
|
|
Magic functions
|
|
|
Functions from a to b which keep track of arguments
that they are applied to. This allows showing function tables
and shrinking functions.
| Constructors | Function (FunctionTable a b) (a -> b) | |
| Instances | |
|
|
|
|
Generating monotonic functions
|
|
newtype MonotonicFunction | Source |
|
Monotonic fun: guarantees that fun is monotonic.
| Constructors | | Instances | |
|
|
newtype StrictlyMonotonicFunction | Source |
|
StrictlyMonotonic fun: guarantees that fun is strictly monotonic.
| Constructors | | Instances | |
|
|
Produced by Haddock version 2.4.2 |