|
Text.Regex.TDFA.IntArrTrieSet |
|
|
Description |
This creates a lazy Trie based on a finite range of Ints and is used to
memorize a function over the subsets of this range.
To create a Trie you need two supply 2 things
* Range of keys to bound
* A function or functions used to construct the value for a subset of keys
The Trie uses the Array type internally.
|
|
Synopsis |
|
|
|
Documentation |
|
|
|
|
|
This is the accessor for the Trie. The list of keys should be
sorted.
|
|
|
:: | | => (Int, Int) | Function from list of keys to its value.
It must work for distinct ascending lists.
| -> [Int] -> v | The constructed Trie
| -> TrieSet v | | This is a Trie constructor for a complete range of keys.
|
|
|
|
:: | | => v | merge operation on values
| -> v -> v -> v | (lower,upper) range of keys, lower<=upper
| -> (Int, Int) | Function from a single key to its value
| -> Int -> v | The constructed Trie
| -> TrieSet v | | This is a Trie constructor for a complete range of keys that uses
a function from single values and a merge operation on values to
fill the Trie.
|
|
|
|
:: | | => [v] -> v | (lower,upper) range of keys, lower <= upper
| -> (Int, Int) | Function from a single key to its value
| -> Int -> v | The constructed Trie
| -> TrieSet v | | This is a Trie constructor for a complete range of keys that uses
a function from single values and a sum operation of values to fill
the Trie.
|
|
|
Produced by Haddock version 2.6.0 |