Language.HERMIT.Dictionary

The HERMIT Dictionary

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

type Dictionary = Map String [Dynamic]

A Dictionary is a collection of Dynamics. Looking up a Dynamic (via a String key) returns a list, as there can be multiple Dynamics with the same name.

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] -> Dictionary

Create a dictionary from a list of Externals.

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

The pretty-printing dictionaries.