Copyright | (c) 2013-2016 Galois Inc. |
---|---|

License | BSD3 |

Maintainer | cryptol@galois.com |

Stability | provisional |

Portability | portable |

Safe Haskell | Safe |

Language | Haskell2010 |

# 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.