Language.HERMIT.Dictionary

The HERMIT Dictionary

This is the main namespace. Things tend to be untyped, because the API is accessed via (untyped) names.

all_externals :: [External] -> [External]

Augment a list of Externals by adding all of HERMIT's primitive Externals, plus any GHC RULES pragmas in the module.

dictionary :: [External] -> Map String [Dynamic]

Create the dictionary.

pp_dictionary :: Map String (PrettyOptions -> PrettyH Core)

The pretty-printing dictionaries.