| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HERMIT.Shell.Dictionary
- mkDictionary :: [External] -> Dictionary
- addToDictionary :: External -> Dictionary -> Dictionary
- pp_dictionary :: Map String PrettyPrinter
Documentation
mkDictionary :: [External] -> Dictionary Source
Create a dictionary from a list of Externals.
addToDictionary :: External -> Dictionary -> Dictionary Source
pp_dictionary :: Map String PrettyPrinter Source
The pretty-printing dictionaries.