Use this function to set or modify the value of any option. It is invoked like this:

set [opt1 := val1, opt2 := val2,... optk := valk]

Language extensions in use by the interpreter.

Default is: [] (i.e. none, pure Haskell 98)

When set to True, every module in every available package is implicitly imported qualified. This is very convenient for interactive evaluation, but can be a problem in sandboxed environments (e.g. System.Unsafe.unsafePerformIO is in scope).

Default value is True.

Observe that due to limitations in the GHC-API, when set to False, the private symbols in interpreted modules will not be in scope.

The search path for source files. Observe that every time it is set, it overrides the previous search path. The default is ["."].

Keep in mind that by a limitation in ghc, "." is always in scope.

Tries to load all the requested modules from their source file. Modules my be indicated by their ModuleName (e.g. "My.Module") or by the full path to its source file.

The interpreter is reset both before loading the modules and in the event of an error.

Sets the modules whose context is used during evaluation. All bindings of these modules are in scope, not only those exported.

Modules must be interpreted to use this function.

Sets the modules whose exports must be in context.

Warning: setImports and setImportsQ are mutually exclusive. If you have a list of modules to be used qualified and another list unqualified, then you need to do something like

  setImportsQ ((zip unqualified $ repeat Nothing) ++ qualifieds)

Sets the modules whose exports must be in context; some of them may be qualified. E.g.:

setImports [(Prelude, Nothing), (Data.Map, Just M)].

Here, map will refer to Prelude.map and M.map to Data.Map.map.

Get the annotations associated with a particular module.

For example, given:

   RBRACE-# ANN module (1 :: Int) #-LBRACE
   module SomeModule(g, h) where
   ...

Then after using loadModule to load SomeModule into scope:

   x <- getModuleAnnotations (as :: Int) SomeModule
   liftIO $ print x
   -- result is [1]

Get the annotations associated with a particular function

For example, given:

   module SomeModule(g, h) where

LBRACE-# ANN g (Just 1 :: Maybe Int) #-RBRACE
   g = f [f]

LBRACE-# ANN h (Just 2 :: Maybe Int) #-RBRACE
   h = f

Then after using loadModule to bring SomeModule into scope:

   x <- liftM concat $ mapM (getValAnnotations (as :: Maybe Int)) ["g","h"]
   liftIO $ print x
   -- result is [Just 2, Just 1]

This can also work on data constructors and types with annotations.

Convenience functions to be used with interpret to provide witnesses. Example:

• interpret "head [True,False]" (as :: Bool)

• interpret "head $ map show [True,False]" infer >>= flip interpret (as :: Bool)

Version of the underlying ghc api. Values are:

• 606 for GHC 6.6.x
• 608 for GHC 6.8.x
• 610 for GHC 6.10.x
• etc...