Initialize the GHC API. Run this as the first thing in the runGhc. This initializes some dyn flags (ExtendedDefaultRules, NoMonomorphismRestriction), sets the target to interpreted, link in memory, sets a reasonable output width, and potentially a few other things. It should be invoked before other functions from this module.

We also require that the sandbox PackageConf (if any) is passed here as setSessionDynFlags will read the package database the first time (and only the first time) it is called.

Find the extension that corresponds to a given flag. Create the corresponding ExtFlag via SetFlag or UnsetFlag. If no such extension exist, yield Nothing.

Set an extension and update flags. Return Nothing on success. On failure, return an error message.

A extension flag that can be set or unset.

Set a list of flags, as per GHCi's `:set`. This was adapted from GHC's InteractiveUI.hs (newDynFlags). It returns a list of error messages.

Consult the RTS to find if GHC has been built with dynamic linking and then turn on the dynamic way for GHC. Otherwise it does nothing.

Evaluate a single import statement. If this import statement is importing a module which was previously imported implicitly (such as Prelude) or if this module has a hiding annotation, the previous import is removed.

Evaluate a series of declarations. Return all names which were bound by these declarations.

Get the type of an expression and convert it to a string.

A wrapper around getInfo. Return info about each name in the string.

Convert an SDoc into a string. This is similar to the family of showSDoc functions, but does not impose an arbitrary width limit on the output (in terms of number of columns). Instead, it respsects the pprCols field in the structure returned by getSessionDynFlags, and thus gives a configurable width of output.

Pretty-print dynamic flags (taken from InteractiveUI module of `ghc-bin`)

Pretty-print the base language and active options (taken from InteractiveUI module of `ghc-bin`)

This is unfoldM from monad-loops. It repeatedly runs an IO action until it return Nothing, and puts all the Justs in a list. If you find yourself using more functionality from monad-loops, just add the package dependency instead of copying more code from it.