| Copyright | (c) 2013-2016 Galois Inc. |
|---|---|
| License | BSD3 |
| Maintainer | cryptol@galois.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Cryptol.REPL.Trie
Description
Documentation
Maps string names to values, allowing for partial key matches and querying.
insertTrie :: String -> a -> Trie a -> Trie a Source #
Insert a value into the Trie. Will call panic if a value already exists
with that key.
lookupTrie :: String -> Trie a -> [a] Source #
Return all matches with the given prefix.
lookupTrieExact :: String -> Trie a -> [a] Source #
Given a key, return either an exact match for that key, or all matches with the given prefix.