|
CSPM.Interpreter.Types | Portability | GHC-only | Stability | experimental | Maintainer | Fontaine@cs.uni-duesseldorf.de |
|
|
|
Description |
Definitions of most of the types used in the interpreter.
Also Instance declarations for the core language type families.
INT is the type (index) for the CSPM interpreter.
|
|
|
Documentation |
|
|
Instances | |
|
|
|
|
|
|
|
|
|
|
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | ClosureStateNormal | | | ClosureStateFailed | | | ClosureStateSucc | | |
| Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
data GenericBufferPrefix | Source |
|
Constructors | | Instances | |
|
|
|
|
|
Constructors | | Instances | |
|
|
|
|
|
|
|
Constructors | | Instances | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
|
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | ScriptError | | | FeatureNotImplemented | | | TypingError | | | InternalError | | | PatternMatchError | | |
| Instances | |
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.1 |