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.

metaCmd

Arguments

:: Tag a

=> [External]

universe of commands to search

-> a

tag matching predicate

-> ([RewriteH Core] -> RewriteH Core)

means to combine the matched rewrites

-> RewriteH Core