| CounterExample | Numeric.Search.Combinator.Monadic, Numeric.Search.Combinator.Pure, Numeric.Search |
| Evidence | Numeric.Search.Combinator.Monadic, Numeric.Search.Combinator.Pure, Numeric.Search |
| Example | Numeric.Search.Combinator.Monadic, Numeric.Search.Combinator.Pure, Numeric.Search |
| initializeSearchM | Numeric.Search.Combinator.Monadic |
| InitializesSearch | Numeric.Search.Combinator.Monadic, Numeric.Search.Combinator.Pure, Numeric.Search |
| largest | Numeric.Search.Combinator.Monadic, Numeric.Search.Combinator.Pure, Numeric.Search |
| Range | Numeric.Search.Combinator.Monadic, Numeric.Search.Combinator.Pure, Numeric.Search |
| search | |
| 1 (Function) | Numeric.Search.Integer |
| 2 (Function) | Numeric.Search.Bounded |
| 3 (Function) | Numeric.Search.Combinator.Pure, Numeric.Search |
| search2 | Numeric.Search.Integer |
| searchFrom | |
| 1 (Function) | Numeric.Search.Integer |
| 2 (Function) | Numeric.Search.Bounded |
| searchFromTo | Numeric.Search.Range |
| searchM | Numeric.Search.Combinator.Monadic, Numeric.Search |
| searchTo | |
| 1 (Function) | Numeric.Search.Integer |
| 2 (Function) | Numeric.Search.Bounded |
| smallest | Numeric.Search.Combinator.Monadic, Numeric.Search.Combinator.Pure, Numeric.Search |
| splitForever | Numeric.Search.Combinator.Monadic, Numeric.Search.Combinator.Pure, Numeric.Search |
| Splitter | Numeric.Search.Combinator.Monadic |
| splitTill | Numeric.Search.Combinator.Monadic, Numeric.Search.Combinator.Pure, Numeric.Search |