|
CSPM.Interpreter | Portability | GHC-only | Stability | experimental | Maintainer | Fontaine@cs.uni-duesseldorf.de |
|
|
|
Description |
An API for the Interpreter.
|
|
Synopsis |
|
|
|
Documentation |
|
|
Load a specification from a file and evaluate an expression in the context.
Print the result to stdout and handle some exceptions.
|
|
|
Load a specification from a file and evaluate an expression in the context.
|
|
|
|
|
|
|
Run the interpreter for a given module and top-level identifier.
|
|
module CSPM.Interpreter.Types |
|
|
|
|
|
|
|
|
|
module CSPM.Interpreter.CoreInstances |
|
Produced by Haddock version 2.6.1 |