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.

externals :: [External]

List of all Externals provided by HERMIT.

mkDict :: [External] -> Dictionary

Create a dictionary from a list of Externals.

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

The pretty-printing dictionaries.

bashR :: [External] -> RewriteH Core

bashDebugR :: Bool -> [External] -> RewriteH Core